{"aura-ask-grid.af0854de67":"Aura","aura-business-sides.a0853da24b":"Technický list","aura-business-visuals.40417391c5":"Aura · rieši","aura-business-visuals.271973aefe":"xMidYMid meet","aura-business-visuals.3e91add48a":"BOARD","aura-showcase.eyebrow":"Platforma Dweve","aura-showcase.subtitle":"Asistencia pri kódovaní a prevádzke agentov. Ukazovatele sú len ilustračné.","aura-showcase.pillTools":"25+ nástrojov","aura-showcase.pillRunning":"beží","aura-showcase.pillAnalysing":"analyzuje kódovú základňu","aura-showcase.capabilityToolsTitle":"25+ nástrojov","aura-showcase.capabilityToolsBody":"Terminál, vyhľadávanie, lint, testy, git a ďalšie.","aura-showcase.capabilityMemoryTitle":"Sémantická pamäť","aura-showcase.capabilityMemoryBody":"Pamätá si vašu kódovú základňu a kontext tímu.","aura-showcase.capabilityAgentsTitle":"Orchestrácia viacerých agentov","aura-showcase.capabilityAgentsBody":"Špecializovaní agenti spolupracujú naprieč oblasťami.","aura-showcase.guaranteeAuditTitle":"Auditná stopa","aura-showcase.guaranteeAuditBody":"Každý krok je zaznamenaný s časovými pečiatkami.","aura-showcase.guaranteeGuardrailsTitle":"Zábrany","aura-showcase.guaranteeGuardrailsBody":"Pravidlá, kontroly a testy sa vždy spúšťajú.","aura-showcase.guaranteeApprovalTitle":"Zmeny kódu so schválením","aura-showcase.guaranteeApprovalBody":"Skontrolujte diffy, požiadajte o zmeny, finálny súhlas.","aura-showcase.guaranteeReplayTitle":"Deterministické prehrávanie","aura-showcase.guaranteeReplayBody":"Prehrajte ľubovoľnú reláciu bit po bite, keď treba niečo skontrolovať.","aura-showcase.workflowUnderstand":"Pochopiť","aura-showcase.workflowUnderstandCaption":"Prečítať retry.ts, vystopovať chybu s timeoutom","aura-showcase.workflowPlan":"Naplánovať","aura-showcase.workflowPlanCaption":"Vytiahnuť guard + obmedziť retries","aura-showcase.workflowImplement":"Implementovať","aura-showcase.workflowImplementCaption":"Opravené retry.ts + types.ts","aura-showcase.workflowTest":"Testovať","aura-showcase.workflowTestCaption":"28 testov, 94% pokrytie","aura-showcase.workflowVerify":"Overiť","aura-showcase.workflowVerifyCaption":"Spúšťa sa lint a typecheck...","aura-showcase.workflowAudit":"Audit","aura-showcase.workflowAuditCaption":"Čaká sa na zápis zhrnutia","aura-showcase.footer":"Autonómni agenti, ktorí píšu kód a vedú záznamy","aura-showcase.testsPassing":"prechádza","aura-showcase.testsFailing":"zlyháva","aura-showcase.modified":"upravené","aura-showcase.af0854de67":"Aura","aura-showcase.73989d9c59":"Spustené","aura-showcase.f9e94338d0":"Analyzuje kódovú základňu","aura-showcase.d7a484140f":"Pracovný postup","aura-showcase.287fda8114":"Jednotné","aura-showcase.80e13549b4":"Pokrytie","aura-showcase.b71cc78b34":"Vytiahnutý isRetryableError","aura-showcase.c37a8a9e2b":"na spracovanie\n sieťových timeoutov, odpovedí 5xx a idempotentne bezpečných\n podmienok. Čistá pomocná funkcia, plne pokrytá testami.","aura-tech-middles.7fba7d244f":"Horúca cesta","aura-tech-middles.1be47ef71c":"Prierezový","aura-tech-middles.92096d78df":"Vstup","aura-tech-middles.8e05a902ed":"Výstup","aura-tech-middles.49a66c994d":"Vstavané agenty","aura-tech-middles.a60792e996":"Vonkajšia slučka","aura-tech-middles.0dfd4db698":"Vnútorná slučka","aura-tech-middles.bbd88bff92":"Prichádzajúca požiadavka","aura-tech-middles.a618b4be8d":"Dopyt","aura-tech-middles.a4942c26d0":"SELECT","aura-tech-middles.2cb479aa15":"* FROM","aura-tech-middles.1c255b91e7":"WHERE","aura-tech-middles.2164bde64d":"ORDER BY","aura-tech-middles.82dd2cdf36":"Blok","aura-tech-middles.271973aefe":"xMidYMid meet","page-breadcrumb.c766e66518":"Navigačná cesta","page-toc.7e439c353e":"Na tejto stránke","res-forge-action-instrument.089b6f0342":"Spúšťa","res-forge-action-instrument.97c89a4d66":"Akcia","res-forge-ambiguity-board.af13a94202":"je výsledok, a je zaznamenaný\n ako jeden.","res-forge-ambiguity-board.e9a46a96e9":"Nejednoznačné","res-forge-ambiguity-board.1ee9387ca8":"Tri spôsoby, ako môže človek odpovedať. Vyhľadávanie samo o sebe neberie žiadny z nich.","res-forge-ambiguity-board.f275049b4b":"Ktorý si myslel?","res-forge-ambiguity-board.e1f6a95de4":"prázdna postupnosť","res-forge-ambiguity-board.39f54f4f92":"Vstup nebol poskytnutý","res-forge-ambiguity-board.3636a0be7f":"súhlasí","res-forge-ambiguity-board.140f86aae5":"vstup","res-forge-ambiguity-board.5a3eea8643":"Každý poskytnutý príklad","res-forge-ambiguity-board.fd50372bde":"Päť poskytnutých príkladov a ako na ne odpovedajú obaja kandidáti","res-forge-ambiguity-board.86c03753f3":"nahlásiť najmenšie množstvo v postupnosti","res-forge-ambiguity-board.e9c366b4f3":"Požiadavka","res-forge-ambiguity-board.957a3c6b10":"zúžiť doménu","res-forge-ambiguity-board.b0567c7519":"pridať podmienku","res-forge-ambiguity-board.7713f29af2":"pridať príklad","res-forge-ambiguity-board.5472c41b95":"číta prázdnu postupnosť ako mimo povoleného vstupu","res-forge-ambiguity-board.2597c3398a":"chyba","res-forge-ambiguity-board.9adfc74130":"Kandidát 2","res-forge-ambiguity-board.72e8350f75":"číta prázdnu postupnosť ako s neutrálnym množstvom","res-forge-ambiguity-board.170d4a4827":"Kandidát 1","res-forge-assurance-ladder.7607387940":"čo to neustanovuje","res-forge-assurance-ladder.204b9b0c88":"čo to predpokladalo","res-forge-assurance-ladder.f03d859ccc":"čo sa overilo","res-forge-assurance-ladder.6b3fa46450":"dvaja kandidáti, dva poctivé body zastavenia, oba uvedené tak, ako sú","res-forge-assurance-ladder.ed682e5934":"NEODVODENÉ Z Q","res-forge-assurance-ladder.bdad2aeeb8":"Priečky záruky","res-forge-assurance-ladder.9a9f9e5d26":"ŽIADNA PRIEČKA NIE JE ODVODENÁ","res-forge-assurance-ladder.8259f9a8e2":"formálna teória mimo aktuálnej zmluvy","res-forge-assurance-ladder.4f7ee515f7":"uvedené ako spojené s vykonaním","res-forge-assurance-ladder.0d9389b742":"Akékoľvek správanie na cieli, ktorý záznam nepomenúva.","res-forge-assurance-ladder.246b796ef8":"To, že zaznamenané identity sú tie, ktoré beh vytvoril.","res-forge-assurance-ladder.69ded617f9":"graf, plán, artefakt a výsledok zdieľajú jeden záznam","res-forge-assurance-ladder.5102f2ad33":"identita viazaná od začiatku do konca","res-forge-assurance-ladder.49d89b6ce4":"SPOJENÉ S VYKONANÍM","res-forge-assurance-ladder.a1cce5c1a6":"Akákoľvek vlastnosť, ktorú zmluva nezakódovala, a akýkoľvek emitovaný artefakt.","res-forge-assurance-ladder.a7d0feec4e":"Sémantika, ktorá bola zakódovaná, a predpoklady, ktoré paket pripínal.","res-forge-assurance-ladder.fce451ff2c":"predpoklady sú pripnuté a uvedené","res-forge-assurance-ladder.c830a6c3be":"dokázaná symbolická vlastnosť","res-forge-assurance-ladder.da528b9287":"FORMÁLNE OVERENÉ","res-forge-assurance-ladder.d4c1c6915e":"Správanie za hranicou, ktorá sa nikdy neprehľadávala.","res-forge-assurance-ladder.99d127dcae":"To, že deklarovaná doména je tá, v ktorej sa výsledok bude používať.","res-forge-assurance-ladder.d8a8ea038d":"doména je deklarovaná s tvrdením","res-forge-assurance-ladder.4538c7d77c":"konečná doména, pokrytá","res-forge-assurance-ladder.dfa6e659c8":"OHRANIČENE OVERENÉ","res-forge-assurance-ladder.1412ce6f4c":"Správanie na akomkoľvek vstupe mimo zaznamenanej množiny.","res-forge-assurance-ladder.a1fde5a17c":"To, že deklarované prípady predstavujú správanie, ktoré výskumníka zaujíma.","res-forge-assurance-ladder.df4854fc18":"prípady sú zaznamenané s výsledkom","res-forge-assurance-ladder.36cba7e6ad":"konkrétne prípady","res-forge-assurance-ladder.b5516f2280":"OTESTOVANÉ","res-forge-assurance-ladder.c0169d217f":"Nič o správaní na akomkoľvek vstupe.","res-forge-assurance-ladder.da65feb01c":"Len to, že paket pomenoval jazyk, z ktorého bol kandidát vytvorený.","res-forge-assurance-ladder.6903a5abc9":"deklarovaný jazyk je uzavretý","res-forge-assurance-ladder.676886a349":"štrukturálna platnosť","res-forge-assurance-ladder.68d222a4f0":"DOBRE FORMOVANÉ","res-forge-assurance-ladder.85e08ba525":"To, že dôkaz, graf, plán Kera a identita výsledku sa navzájom odkazujú.","res-forge-assurance-ladder.5e68702137":"Podporovaná symbolická vlastnosť, dokázaná nad zakódovanou sémantikou.","res-forge-assurance-ladder.9c8a0471a5":"Každá hodnota v konečnej deklarovanej doméne, bez zlyhania.","res-forge-assurance-ladder.77345a75bc":"Každý konkrétny prípad, ktorý paket deklaroval, spustený a porovnaný.","res-forge-assurance-ladder.8c4857d4f9":"Typy, tvary, efekty, vlastníctvo a deklarované rozhranie.","res-forge-badge-opened.9a3d81d562":"Odznak patrí presne jednému programu","res-forge-badge-opened.3d1307a7ff":"Späť na obyčajný štrukturálny štítok","res-forge-badge-opened.bac2685fbc":"Zmenil sa jeden krok","res-forge-badge-opened.aed3b8c6a7":"Overené","res-forge-badge-opened.bf2bc5e115":"Rovnaký odznak po zmene jedného kroku","res-forge-badge-opened.d62d8e0dde":"Ak odoberiete ktorýkoľvek z týchto piatich, je to iné tvrdenie.","res-forge-badge-opened.eb38f1807a":"Odznak a päť častí, ktoré tvrdí","res-forge-badge-opened.98987f9e01":"vrátiť výsledok","res-forge-badge-opened.613ac981db":"zaokrúhliť to iným spôsobom","res-forge-badge-opened.25f1a0d208":"zobrať údaj","res-forge-badge-opened.16b22f5e52":"Nehovorí nič o desatinných výpočtoch.","res-forge-badge-opened.349be220c7":"Formálny výsledok a samostatná kontrola tohto výsledku.","res-forge-badge-opened.17b29d4546":"Iba celé čísla a nič mimo programu.","res-forge-badge-opened.7d77d99854":"Platí pre každé celé číslo v deklarovanom rozsahu.","res-forge-badge-opened.7112a3df4e":"Tento presný program, krok za krokom.","res-forge-boundary-instrument.e29c5de6a0":"Zdieľa sa jeden riadok. Každá ďalšia zodpovednosť leží presne na jednej strane hranice.","res-forge-boundary-instrument.c6dda4f283":"vlastnené","res-forge-boundary-instrument.d18aac96b9":"zdieľané","res-forge-boundary-instrument.1ac443dbd4":"nevlastnené","res-forge-business-glyph.161d1b9d9a":"Jedna špecifikácia","res-forge-business-glyph.ab98f5b857":"Pevné","res-forge-business-glyph.82b6d04b0e":"Požiadavka, ktorá sa nemení","res-forge-business-glyph.b5bf8067cf":"Kandidáti","res-forge-business-glyph.7e1d88fa7c":"cieľový vektor","res-forge-business-glyph.45d74a7136":"dominovaný","res-forge-business-glyph.239aff5852":"na hranici","res-forge-business-glyph.f476109f39":"nejednoznačné","res-forge-business-glyph.473161067f":"Politika výberu","res-forge-business-glyph.7eff74a5a8":"zaznamenané, nie skryté","res-forge-business-glyph.c3b9a01442":"latencia","res-forge-business-glyph.b727a735e7":"pohyb","res-forge-business-glyph.1a7d89d441":"zhoda s cieľom","res-forge-business-glyph.ef64363d23":"dôkaz","res-forge-business-glyph.efe124888c":"pomenovaná záruka","res-forge-business-glyph.b086634a92":"viditeľné kompromisy","res-forge-business-glyph.ca2bc19088":"Kera vykonáva","res-forge-business-glyph.f735a5ba22":"Výskumný program, nie softvérová ponuka","res-forge-candidate-fan.b6871fa0fc":"Siluety sú štrukturálne, nie zdrojové. Dĺžky stúh sú relatívne pozície na jednej hranici.","res-forge-candidate-fan.8641796596":"Kandidát E je dominovaný kandidátom D na aktívnej množine cieľov","res-forge-candidate-fan.d769ded7e8":"Kandidát","res-forge-candidate-fan.45d74a7136":"dominovaný","res-forge-candidate-fan.100ec4462d":"dôkaz","res-forge-candidate-fan.1a7d89d441":"zhoda s cieľom","res-forge-candidate-fan.b727a735e7":"pohyb","res-forge-candidate-fan.714eea0f4c":"čas","res-forge-candidate-fan.73ea3f356f":"Dominovaný","res-forge-candidate-fan.82f8a46f55":"vnorený strom","res-forge-candidate-fan.416bfd329b":"Na hranici","res-forge-candidate-fan.00c93cd155":"dvojprúdové rozdelenie","res-forge-candidate-fan.a70e321a36":"kompaktný blok","res-forge-candidate-fan.f259a41862":"široký vejár","res-forge-candidate-fan.8503665914":"Prvý nájdený","res-forge-candidate-fan.e2a3a58a40":"jeden dlhý reťazec","res-forge-choice-board.2f98d2f5be":"Vyvážené je tiež preferencia a je zaznamenaná ako taká.","res-forge-choice-board.ce025222b1":"Každá z týchto štyroch je správna, takže je to preferencia, nie poradie.","res-forge-choice-board.48e09e45c5":"Správne","res-forge-choice-board.13f66243ef":"Preferovať","res-forge-choice-board.55559438c9":"B sa vzdáva najmenej na ktorejkoľvek jednotlivej metrike.","res-forge-choice-board.03342dbb85":"Vyvážené","res-forge-choice-board.3cd298fe82":"D má najkratšiu kontrolnú cestu.","res-forge-choice-board.baf123fc17":"Najjasnejšie","res-forge-choice-board.58adc98abc":"C beží na najširšej sade podporovaných strojov.","res-forge-choice-board.b2df292ee2":"Najširšie","res-forge-choice-board.7987c4ffa8":"B presúva najmenej dát a trvá dlhšie.","res-forge-choice-board.4e76f5796f":"Najštíhlejšie","res-forge-choice-board.cda4a6b217":"A skončí najskôr a počas práce drží najviac dát.","res-forge-choice-board.4cb3bb0fc4":"Najrýchlejšie","res-forge-choice-board.ed798211fb":"D sa vzdáva jedného prepísania, aby zostal jednoduchý na kontrolu.","res-forge-choice-board.2a318223e9":"Program D","res-forge-choice-board.69a71f0df6":"C presúva viac dát, aby sa tam dostal.","res-forge-choice-board.d7782ce200":"Program C","res-forge-choice-board.018761680d":"B trvá dlhšie.","res-forge-choice-board.d2307ff43a":"Program B","res-forge-choice-board.4c06d2baf8":"A drží najviac dát počas práce.","res-forge-choice-board.2be70eef66":"Program A","res-forge-choice-board.97876b8380":"Kontrola","res-forge-choice-board.2940ff1e5f":"Stroje","res-forge-choice-board.89c8a2851d":"Pamäť","res-forge-choice-board.6c82e6dd86":"Čas","res-forge-choice-instrument.e786244260":"Náklady, ktoré akceptuje","res-forge-choice-instrument.fd9a9f965e":"Relatívna modelovaná latencia","res-forge-choice-instrument.24d3e4fdd9":"Pevnosť","res-forge-choice-instrument.6853c98a6f":"Člen","res-forge-conflict-board.0e565b0b3e":"Na tejto nástenke sa žiadny pruh nekončí vygenerovaným záložným kódom. Každý sa končí pomenovaným výsledkom a osobou, ktorá vlastní ďalší ťah.","res-forge-conflict-board.bb54db510a":"Prijať","res-forge-conflict-board.09c3f0d154":"nie je reprezentovaný overovacou zmluvou","res-forge-conflict-board.75e6b42fc5":"Mimo rozsahu","res-forge-conflict-board.281dd83602":"Rozšíriť","res-forge-conflict-board.8a97b9af81":"teória a rozpočtový limit","res-forge-conflict-board.bc7819b34f":"Neznáme","res-forge-conflict-board.3e0fb17cab":"Objasniť","res-forge-conflict-board.7835f9c578":"odmieta dávku","res-forge-conflict-board.9522606498":"vráti neutrálny súčet","res-forge-conflict-board.e9a46a96e9":"Nejednoznačné","res-forge-conflict-board.d36f29cacf":"Zosúladiť","res-forge-conflict-board.9a064eb243":"v jazyku L neexistuje žiadny kandidát","res-forge-conflict-board.5f20d0f3ac":"Nesplniteľné","res-forge-conflict-board.151864867d":"Šesť klauzúl jednej požiadavky","res-forge-conflict-board.426475873e":"výsledok príde v rámci pevného časového okna","res-forge-conflict-board.6933c35154":"opravný záznam môže znížiť súčet","res-forge-conflict-board.4bf7985a78":"výsledok je presný na poslednú jednotku","res-forge-conflict-board.55dca06fb3":"prázdna dávka sa prijme","res-forge-conflict-board.5b3e0d86e8":"súčet nikdy neklesá, keď sa pridávajú záznamy","res-forge-conflict-board.33f78f4681":"každá suma zostáva v rámci deklarovaného rozsahu","res-forge-consumer-glyph.9154742cfc":"Práca jednou vetou","res-forge-consumer-glyph.b7d5d68aa8":"Udržte každé čítanie v bezpečnom rozsahu","res-forge-consumer-glyph.5a29585e3f":"Pokusy","res-forge-consumer-glyph.6bd1f59b85":"dva zlyhajú na prípade","res-forge-consumer-glyph.059c3755e1":"dva prídu","res-forge-consumer-glyph.d3f5d23e46":"jeden nesie pečať","res-forge-consumer-glyph.6bb9173137":"hľadá","res-forge-consumer-glyph.50814a267d":"mnoho možných programov","res-forge-consumer-glyph.64c675f85c":"odmieta","res-forge-consumer-glyph.7403925825":"čokoľvek, čo zlyhá v jednom prípade","res-forge-consumer-glyph.c1a77ef9ed":"hovorí, ako silno kontroloval","res-forge-consumer-glyph.691b10181f":"a kde kontrola končí","res-forge-consumer-glyph.100ec4462d":"dôkazy","res-forge-consumer-glyph.88acf54a65":"niekedy žiadny program","res-forge-consumer-glyph.72dc433046":"Odpoveď môže byť žiadny program","res-forge-cost-vector.140b63310c":"Kandidát C","res-forge-cost-vector.2437a7ecbd":"Dôkazy podľa cieľa","res-forge-cost-vector.25b7302067":"Porovnanie, ktoré sa prenáša do iného experimentálneho balíka.","res-forge-cost-vector.26d24d71f0":"Pamäťová prevádzka","res-forge-cost-vector.3e39972526":"Latencia","res-forge-cost-vector.405bdec664":"Neexistuje žiadne meranie","res-forge-cost-vector.4b1dda27e1":"Čo vektor nie je","res-forge-cost-vector.555486354d":"Veľkosť kódu","res-forge-cost-vector.5d0b1f6647":"Dve čiary sa pretínajú, preto ani jeden kandidát nie je odpoveďou sám o sebe.","res-forge-cost-vector.66374d941d":"Zmerané na hardvéri","res-forge-cost-vector.89a596e251":"Prázdna bunka je tvrdením: zložitosť dôkazu bola modelovaná a nikdy nemeraná.","res-forge-cost-vector.8a4da1dcc8":"Miesto, kde výstup modelu môže zastúpiť meranie.","res-forge-cost-vector.ab8dd4df08":"Drahší","res-forge-cost-vector.ac46a8c74c":"Zložitosť dôkazu","res-forge-cost-vector.ad638eff4a":"Štyri ciele, dvaja kandidáti, jeden experiment","res-forge-cost-vector.b0b01215a0":"Kandidát D","res-forge-cost-vector.bf8197e03c":"Relatívne pozície v jednom experimente, vyššie znamená drahšie.","res-forge-cost-vector.cd05967fea":"Modelované pred akýmkoľvek behom","res-forge-cost-vector.ec8e6defbf":"Jedno skóre, podľa ktorého možno kandidátov zoradiť.","res-forge-cost-vector.f4cfc474fa":"Lacnejší","res-forge-counterexample-loop.aca21ce064":"vytvára novú identitu špecifikácie","res-forge-counterexample-loop.fb8953469c":"PRIDAŤ PODMIENKU","res-forge-counterexample-loop.7e5559029b":"beh pokračuje pod rovnakou identitou","res-forge-counterexample-loop.89ad46cbd8":"PRIDAŤ PRÍPAD","res-forge-counterexample-loop.9001aab10f":"DVE LEGITÍMNE ODPOVEDE NA ZLYHANIE","res-forge-counterexample-loop.8888c622ac":"čo sa overovateľa pýtali","res-forge-counterexample-loop.ec6e54733d":"stĺpec nikdy nestratí riadok","res-forge-counterexample-loop.2a117d0937":"DÔKAZ, KTORÝ MUSÍ SPĹŇAŤ ĎALŠÍ KANDIDÁT","res-forge-counterexample-loop.da7195483c":"Vyberte iteráciu cyklu spresňovania","res-forge-counterexample-loop.a0c4d76862":"Tretí kandidát spĺňa všetky zaznamenané povinnosti. Overovateľ nenájde žiadny porušujúci vstup v rámci podporovanej domény a vráti dôkaz so zoznamom predpokladov vedľa neho.","res-forge-counterexample-loop.f4800df8d1":"von","res-forge-counterexample-loop.2c3cbd53a7":"mul","res-forge-counterexample-loop.d052634571":"rozšíriť","res-forge-counterexample-loop.c7e42d43b0":"stráž","res-forge-counterexample-loop.11f6ad8ec5":"x","res-forge-counterexample-loop.fcdd12a167":"FORMÁLNE OVERENÉ, predpoklady uvedené","res-forge-counterexample-loop.02b8a8db00":"pre všetky x v i32, plus oba zaznamenané prípady","res-forge-counterexample-loop.30f7f19326":"Druhý kandidát musí spĺňať príklady a prípad pretečenia spolu. Rozšíri medzivýsledok pred násobením a overovateľ vráti druhý prípad, ktorý špecifikácia nikdy nezachytila: prázdny vstup.","res-forge-counterexample-loop.02dc309df7":"NAPARENÉ, nájdený protipríklad","res-forge-counterexample-loop.9ab3ad07a9":"pre všetky x v i32, plus zaznamenaný prípad","res-forge-counterexample-loop.47d7508d9a":"Prvý kandidát spĺňa tri dodané príklady. Overovateľ prehľadá celé i32 a vráti jeden konkrétny vstup, kde škálovaný súčin opustí deklarovaný rozsah.","res-forge-counterexample-loop.ad5fa3b2c6":"pre všetky x v i32","res-forge-counterexample-loop.d1c8b37b24":"x = prázdny vstup","res-forge-counterexample-loop.b412089d87":"x = 2147483647, pretečenie","res-forge-counterexample-loop.1bac5f43a1":"f(120) = 100","res-forge-counterexample-loop.49ed87614a":"f(40) = 40","res-forge-counterexample-loop.14d8b8d361":"f(-9) = 0","res-forge-decision-record.623b533bbb":"nič na tomto hárku nezmršťuje štyri ciele do jedného čísla","res-forge-decision-record.d327f7b3ba":"Žiadne jednotné skóre","res-forge-decision-record.6a7eee59c0":"Nevybrané a prečo","res-forge-decision-record.3e7c118949":"Vybral","res-forge-decision-record.1918daaba9":"Vybraný člen","res-forge-decision-record.974ff8bb6e":"Sada cieľov","res-forge-decision-record.e38c2194b4":"formálne overené","res-forge-decision-record.ea2dfcc9cc":"Hranica záruky","res-forge-decision-record.1ccf5d25df":"Špecifikácia","res-forge-decision-record.5a445661ea":"dominuje","res-forge-decision-record.f950982dd0":"Identické pri každej politike","res-forge-decision-record.e6f8a915dc":"Hranica","res-forge-decision-record.473161067f":"Politika výberu","res-forge-decision-record.1a7d89d441":"zhoda s cieľom","res-forge-decision-record.b3c5533e86":"pohyb pamäte","res-forge-decision-record.544852fd7a":"najjednoduchší dôkaz","res-forge-decision-record.6bf0b2c0d8":"dlhšia cesta auditu, získava širšiu zhodu s cieľom","res-forge-decision-record.fdd18306eb":"Člen C","res-forge-decision-record.ee96b43256":"dlhšia cesta auditu, získava nižší pohyb","res-forge-decision-record.1e19ce513c":"Člen B","res-forge-decision-record.7ad441b0c0":"dlhšia cesta auditu ako vybraný člen na aktívnej sade","res-forge-decision-record.d04e27e317":"Člen A","res-forge-decision-record.fec4a6c489":"Regulovaný program číta rovnakú hranicu pozdĺž osi dôkazov a vyberie člena D.","res-forge-decision-record.32cba0b9da":"najpriamejšia cesta auditu","res-forge-decision-record.f88efb9bc7":"Člen D","res-forge-decision-record.47942077ae":"Najjednoduchší dôkaz","res-forge-decision-record.e9647ad29d":"beží na menšom počte podporovaných cieľov, vymieňa šírku za cestu auditu","res-forge-decision-record.baede38a31":"beží na menšom počte podporovaných cieľov, vymieňa šírku za pohyb","res-forge-decision-record.7b357b2d93":"beží na menšom počte podporovaných cieľov ako vybraný člen","res-forge-decision-record.2a6987fbaf":"Estate rozložený na zmiešanom hardvéri číta rovnakú hranicu pozdĺž osi cieľov a vyberie člena C.","res-forge-decision-record.462746df39":"najširšia zhoda s cieľom","res-forge-decision-record.ad59e3b102":"Najširší","res-forge-decision-record.6235c63244":"presúva viac dát a namiesto toho si zachováva kratšie odvodenie","res-forge-decision-record.709e1b623c":"presúva viac dát, rozložených na viac podporovaných cieľov","res-forge-decision-record.7efb4f14c6":"presúva viac dát ako vybraný člen na aktívnej sade","res-forge-decision-record.26929cd71c":"Nasadenie obmedzené pamäťovou prevádzkou číta rovnakú hranicu pozdĺž osi pohybu a vyberie člena B.","res-forge-decision-record.993033f0b5":"najnižší pohyb pamäte","res-forge-decision-record.4e76f5796f":"Najštíhlejší","res-forge-decision-record.344f41f998":"vyššia modelovaná latencia a jeho kratšia cesta auditu nie je osou","res-forge-decision-record.ed3d6e1e77":"vyššia modelovaná latencia a jeho šírka sa tu neplatí","res-forge-decision-record.0be3560065":"vyššia modelovaná latencia ako vybraný člen na aktívnej sade","res-forge-decision-record.b8b9888522":"Inžiniersky tím s jedným cieľovým strojom číta hranicu pozdĺž osi latencie a vyberie člena A.","res-forge-decision-record.ffefb7fa98":"najnižšia modelovaná latencia","res-forge-decision-record.4cb3bb0fc4":"Najrýchlejší","res-forge-equivalence-space.638d0226a9":"iba relatívne polohy, bez nameraných hodnôt","res-forge-equivalence-space.b727a735e7":"pohyb","res-forge-equivalence-space.e8c39c4d7e":"operácie","res-forge-equivalence-space.4619486033":"extrahovaná forma","res-forge-equivalence-space.f42512d469":"Cieľ extrakcie","res-forge-equivalence-space.92149cf8ce":"SEED","res-forge-equivalence-space.217cb1c2eb":"Jeden výraz rozšírený do štyroch tried ekvivalentných foriem, pričom cesta k vybranému cieľu extrakcie je zvýraznená a jedna odmietnutá hrana je nakreslená, ale nikdy nie zvýraznená","res-forge-equivalence-space.ccce87f620":"Výraz rozšírený do siete ekvivalentných foriem s podmienkami na hranách","res-forge-equivalence-space.27fa456ce7":"Extrakcia pre prenositeľnosť namiesto toho vezme redukciu sily a zmenu rozloženia. Vykoná viac operácií ako algebraická forma a dosiahne najširšiu množinu podporovaných cieľov.","res-forge-equivalence-space.27d7e452b1":"(a << 1) + a, zabalené","res-forge-equivalence-space.feba5b9c56":"Extrakcia pre pohyb nesie rovnaký algebraický krok ďalej do triedy fúzie. Vykoná menej operácií ako forma rozloženia a má najnižší pohyb pamäte z tých troch.","res-forge-equivalence-space.37226e169c":"fuse(a + a + a)","res-forge-equivalence-space.a2f4cd4d38":"Extrakcia pre latenciu vezme algebraickú formu a tam sa zastaví. Vykoná najmenej operácií a presunie viac dát ako fúzovaná forma, a má nárok na podmienku šírky, ktorá bola dokázaná.","res-forge-equivalence-space.4b10d3e274":"3 * a","res-forge-equivalence-space.dfb1d5b6c2":"PRENOSNOSŤ","res-forge-equivalence-space.37f756c7d0":"POHYB","res-forge-equivalence-space.49d6c10ece":"LATENCIA","res-forge-equivalence-space.8e43c13f74":"f32 reasociácia odmietnutá","res-forge-equivalence-space.13d2c4a154":"i32 šírka dokázaná","res-forge-equivalence-space.dcc4e6c574":"TRIEDA ROZLOŽENIA","res-forge-equivalence-space.69688a961b":"TRIEDA FÚZIE","res-forge-equivalence-space.16cbdc05fc":"TRIEDA SILY","res-forge-equivalence-space.dbb0f90765":"ALGEBRAICKÁ TRIEDA","res-forge-equivalence-space.bc109fb076":"prenosný","res-forge-equivalence-space.7aca22de0b":"zabalené","res-forge-equivalence-space.1f08a3216a":"fúzované","res-forge-equivalence-space.b0c659fe95":"streamované","res-forge-equivalence-space.28e1e451f0":"f32 preskupenie","res-forge-equivalence-space.231627027e":"(a << 1) + a","res-forge-equivalence-space.62865e04db":"a + a + a","res-forge-equivalence-space.2f65736593":"(a * 2) + a","res-forge-evidence-cards.4a1c00ad00":"Propagácia si vyžaduje dôkazy, nie kontrolu. Táto možnosť nie je dostupná v žiadnom\n stave na tejto nástenke, čo je pravidlo, ktoré sa tu uplatňuje.","res-forge-evidence-cards.61c57736e7":"Propagovať","res-forge-evidence-cards.7d903d3344":"Pravidlo propagácie","res-forge-evidence-cards.8fc2a131ae":"zmenil sa jeden uzol a štítok sa vráti do dobre vytvoreného stavu","res-forge-evidence-cards.4acf3ac41d":"Dossier kandidátov","res-forge-evidence-cards.65748fb5d3":"plávajúca oblasť toho istého grafu, ktorú toto kódovanie nezachytáva","res-forge-evidence-cards.d274f5b4e3":"Čo nie je stanovené","res-forge-evidence-cards.8f4f743d7f":"presná sémantika celých čísel a oblasť vyhlásená paketom za čistú","res-forge-evidence-cards.7d37b7550c":"Za akých predpokladov","res-forge-evidence-cards.2bae06de12":"každý vstup, ktorý formálna teória dokáže vyjadriť","res-forge-evidence-cards.e700afa7f9":"Nad akou doménou","res-forge-evidence-cards.8be740fd8c":"zakódovaný vzťah cez celú podporovanú doménu","res-forge-evidence-cards.b76e542d96":"Čo bolo skontrolované","res-forge-evidence-cards.906c590060":"podporovaný univerzálny vzťah bol dokázaný za uvedených predpokladov","res-forge-evidence-cards.ea66d3cd71":"Formálne overené","res-forge-evidence-cards.b7330133c1":"Kandidát R","res-forge-evidence-cards.8e950fc545":"akýkoľvek vstup mimo dodanej množiny, vrátane kvantifikovanej podmienky","res-forge-evidence-cards.72d0fc35c6":"referenčné správanie dodané s paketom, v rámci jeho vlastnej domény","res-forge-evidence-cards.2c8e59076b":"dodané vstupy, jeden po druhom","res-forge-evidence-cards.961d36c1e2":"konkrétne prípady zapísané v špecifikácii","res-forge-evidence-cards.593aeb47dc":"uvedené konkrétne prípady prešli a nič viac sa netvrdilo","res-forge-evidence-cards.919003799d":"Testované","res-forge-evidence-cards.24f43cdd11":"Kandidát Q","res-forge-evidence-cards.8af32eb207":"správanie na cieľovom profile, ktorý vykonávací odkaz nepomenúva","res-forge-evidence-cards.d7201bf2e3":"numerická rodina a účinky, ktoré paket povolil, obe ukotvené","res-forge-evidence-cards.dfaa1686c4":"uvedený rozsah vstupov na jednom podporovanom cieľovom profile","res-forge-evidence-cards.707e2a56c9":"dokázaný vzťah, potom plán a artefakt, ktorý ho preniesol do vykonania","res-forge-evidence-cards.f092d6fe39":"graf, plán, artefakt a identita výsledku zostávajú navzájom prepojené","res-forge-evidence-cards.32d888fecc":"Vykonanie prepojené","res-forge-evidence-cards.0483882b1c":"Kandidát P","res-forge-experiment-packet.7a6aad1d4c":"nový experiment, samostatný záznam","res-forge-experiment-packet.aad6b5ae20":"IDENTITA PAKETU","res-forge-experiment-packet.bbcc172a1e":"AK SA ZMENÍ AKÉKOĽVEK POLE","res-forge-experiment-packet.f5ca7850da":"uzavreté na začiatku behu","res-forge-experiment-packet.1f7febf95f":"DEKLAROVANÁ POLITIKA","res-forge-experiment-packet.39b2c01e18":"UZAVRETÝ JAZYK","res-forge-experiment-packet.c2bb6fa0c5":"NEZMENITEĽNÁ ŠPECIFIKÁCIA","res-forge-experiment-packet.4484cb6fa9":"nahlásiť neznáme","res-forge-experiment-packet.feaf4dd4e6":"ohraničenie: veľkosť <= 6","res-forge-experiment-packet.5aa50aebf7":"formálne, kde je podporované","res-forge-experiment-packet.31be469709":"POLITIKA","res-forge-experiment-packet.e1e3e98714":"veľkosť kódu","res-forge-experiment-packet.b3c5533e86":"presun pamäte","res-forge-experiment-packet.e64e22b150":"CIELE","res-forge-experiment-packet.48aef70526":"pevné celkové poradie","res-forge-experiment-packet.294793bfad":"dvojkový doplnok, 32 bitov","res-forge-experiment-packet.1e9edfb9ee":"SÉMANTIKA","res-forge-experiment-packet.9c5c96b457":"žiadny vonkajší efekt","res-forge-experiment-packet.d835dab5b4":"presné celé číslo","res-forge-experiment-packet.2a3ffd9ebb":"JAZYK","res-forge-experiment-packet.486c4f6f95":"1 náčrt, 2 otvory","res-forge-experiment-packet.9254dc6ec8":"1 univerzálny vzťah","res-forge-experiment-packet.dbeac903da":"4 príklady","res-forge-experiment-packet.32082e06e3":"ŠPECIFIKÁCIA","res-forge-forms-instrument.b050566d50":"vôbec nie","res-forge-forms-instrument.d680340c0b":"čiastočne","res-forge-forms-instrument.ad22e7e15b":"rozhoduje o tom","res-forge-forms-instrument.7cb8793606":"nerozhoduje o tom","res-forge-forms-instrument.ed5a4b874a":"čiastočne o tom rozhoduje","res-forge-four-silences.a2b701e0b3":"Žiadny program sa nevytvorí a dôvod je pomenovaný.","res-forge-four-silences.5faa59d4bc":"Výsledok","res-forge-four-silences.5647cada0f":"Čo by to zmenilo","res-forge-four-silences.7661e6591f":"Čo sa stalo","res-forge-four-silences.1189b54fc7":"Čo sa žiadalo","res-forge-four-silences.c648f0b37b":"Štyri dôvody, prečo odpoveď nie je program","res-forge-four-silences.2637ce69f5":"PROGRAM","res-forge-four-silences.f61fa98a3b":"MODEL","res-forge-four-silences.cbbef8ce7e":"VONKU","res-forge-four-silences.ce75fc2aec":"UVEDENÝ LIMIT","res-forge-four-silences.3a339a1749":"PRAVIDLO 2","res-forge-four-silences.35a7d11e05":"PRAVIDLO 1","res-forge-four-silences.8cc9c3c016":"Späť na to, čo tvrdenie pokrýva","res-forge-four-silences.971c87e299":"Zahrňte službu do modelu alebo zúžte tvrdenie.","res-forge-four-silences.88868a0c58":"Časť správania leží mimo hranice, ktorú kontrola dokáže opísať.","res-forge-four-silences.181032c74d":"opýtať sa externej služby na limit","res-forge-four-silences.407dfebcf1":"Späť s väčším priestorom","res-forge-four-silences.97cd9b5795":"Dlhší beh alebo iná metóda.","res-forge-four-silences.33af89d7fc":"Vyhľadávanie dosiahlo daný limit a zastavilo sa pred vyriešením otázky.","res-forge-four-silences.086f7cbb23":"jedno pravidlo o každom podporovanom vstupe","res-forge-four-silences.74864a1ff8":"Späť pre jedno rozhodnutie","res-forge-four-silences.7c78667c01":"Poskytnite ešte jeden príklad.","res-forge-four-silences.fd58916c0c":"Dve rôzne správania sa zhodujú na všetkých troch príkladoch a líšia sa na štvrtom vstupe.","res-forge-four-silences.96dee44862":"3 dáva 9","res-forge-four-silences.9179befc0c":"2 dáva 4","res-forge-four-silences.3d47eae588":"1 dáva 1","res-forge-four-silences.35f6e4ab6c":"Späť k tomu, kto napísal pravidlá","res-forge-four-silences.5c332290c5":"Uvoľnite jedno z dvoch pravidiel.","res-forge-four-silences.ece7f203f5":"Tieto dve pravidlá si priamo odporujú. Negatívny vstup nemôže naraz splniť obe.","res-forge-four-silences.b25d65ea16":"vrátiť vstup nezmenený","res-forge-four-silences.a4d3a2c877":"vždy vrátiť kladné číslo","res-forge-four-silences.20cb7eef2c":"Mimo modelu","res-forge-four-silences.c439038abe":"Nepokryté","res-forge-four-silences.04ae6467a0":"Žiadny záver","res-forge-four-silences.280c5e7fc6":"Dve interpretácie","res-forge-four-silences.3fe459f958":"Nič nesedí","res-forge-graph-asset.49281c01cf":"overenie sa vracia k dobre vytvorenému","res-forge-graph-asset.670f6bdd9a":"nová identita kandidáta","res-forge-graph-asset.197e419ad3":"NOVÁ IDENTITA GRAFU","res-forge-graph-asset.33dd31d4b3":"ZMEŇ OZNAČENÝ UZOL","res-forge-graph-asset.d7b94d76cf":"JEDEN UZOL, OZNAČENÝ VO VŠETKÝCH TROCH ZOBRAZENIACH","res-forge-graph-asset.990742f8b4":"vyrovnávacie pamäte","res-forge-graph-asset.1bdbf6a26d":"clamp, uložiť von","res-forge-graph-asset.e9e90fc64f":"scale, mul, add","res-forge-graph-asset.851967b4a3":"načítať x, k, lo","res-forge-graph-asset.46599c6b1e":"názvy operátorov zodpovedajú názvom uzlov","res-forge-graph-asset.59cfc3e2d4":"out = clamp(add(m, lo))","res-forge-graph-asset.c73bb57286":"m = mul(s, k)","res-forge-graph-asset.bdc36b0a67":"s = scale(x)","res-forge-graph-asset.2cef65c1d0":"ROVNAKÝ OBJEKT","res-forge-graph-asset.31e8d812fa":"DATAFLOW","res-forge-graph-asset.891bbd450e":"VÝRAZ","res-forge-graph-asset.e7bd56e1ec":"GRAPH","res-forge-graph-asset.30a5d0d91f":"Rovnaký sémantický graf zobrazený ako graf uzlov, ako výraz a ako dataflow,\n s jedným označeným uzlom vo všetkých troch zobrazeniach a spojený jediným pravidlom","res-forge-graph-asset.0be82d1c87":"Jeden sémantický graf nakreslený tromi spôsobmi, ako graf, ako výraz a ako dataflow, s označeným uzlom clamp vo všetkých troch","res-forge-graph-asset.da528b9287":"FORMÁLNE OVERENÉ","res-forge-graph-asset.894f6d1562":"IDENTITA GRAFU","res-forge-graph-asset.33daecb09d":"out : i32","res-forge-graph-asset.a4ab4f2116":"clamp","res-forge-graph-asset.58d1bbce29":"add","res-forge-graph-asset.2c3cbd53a7":"mul","res-forge-graph-asset.60020d1b19":"scale","res-forge-graph-asset.cf023c3538":"lo : i32","res-forge-graph-asset.643ea229e1":"k : i32","res-forge-graph-asset.d14f7f166c":"x : i32","res-forge-intent-cards.398168fe2d":"Nemáme s čím to porovnať","res-forge-intent-cards.f2b3a1f895":"Napísané priamo z vety","res-forge-intent-cards.8af3e09e73":"Na tú istú vetu odpovedané priamo","res-forge-intent-cards.ee3c9325a5":"Tieto môžu zlyhať, o to ide","res-forge-intent-cards.a014f9c662":"Tvar sa zachová, medzery sa prehľadajú.","res-forge-intent-cards.d40fae93b9":"Dve medzery","res-forge-intent-cards.32fd056d3d":"Náčrt","res-forge-intent-cards.5b6d56b37e":"Skontrolované pri každom čítaní, ktoré pravidlo dokáže vymenovať.","res-forge-intent-cards.43a980aaf8":"čítanie, odpoveď zostáva medzi 0 a 100 a nikdy sa nepohne o viac ako jeden\n krok.","res-forge-intent-cards.d8784ae2ea":"Pre každé","res-forge-intent-cards.57f6dcedb1":"Jeden riadok","res-forge-intent-cards.78e1790e29":"Pravidlo","res-forge-intent-cards.85ee9e64bf":"Skontrolované na čítaniach, ktoré ste dodali.","res-forge-intent-cards.ef73fdd1c8":"Štyri prípady","res-forge-intent-cards.eb01bf04c9":"Príklady","res-forge-intent-cards.77d979bc52":"Tri formy, ktoré môže veta nadobudnúť","res-forge-intent-cards.b784f64740":"Rozdeľuje sa na tri formy a každú možno skontrolovať.","res-forge-intent-cards.6802fdd79e":"Čo sa žiadalo","res-forge-intent-cards.650c85708e":"chýbajúci krok","res-forge-intent-cards.d2fb792999":"obmedziť, ako ďaleko môže skočiť, pomocou","res-forge-intent-cards.d2fde1a28f":"udržať ho v rozsahu pomocou","res-forge-intent-cards.25f1a0d208":"zobrať čítanie","res-forge-intent-cards.94407bb3ee":"„Udrž každé čítanie v bezpečnom rozsahu a nikdy ho nenechaj skočiť.“","res-forge-intent-modes-instrument.fd197e80cc":"Formulár sa vyberá, nie spája. Záznam si ponecháva, ktorý z nich niesol nárok.","res-forge-intent-modes-instrument.a6c44a9033":"Pokrýva","res-forge-intent-modes-instrument.abd6628786":"Tri spôsoby, ako uviesť, čo by mal program robiť","res-forge-intent-routes.5170330dcc":"Obe vetvy majú rovnakú požiadavku. Iba jedna z nich je stále otvorená v spodnej časti výkresu.","res-forge-intent-routes.544852fd7a":"najjednoduchší dôkaz","res-forge-intent-routes.3e7c118949":"Vybral","res-forge-intent-routes.9a976fc228":"Vybrané","res-forge-intent-routes.239aff5852":"na hranici","res-forge-intent-routes.be601df25e":"Výskum","res-forge-intent-routes.f577430e54":"nový projekt","res-forge-intent-routes.f6ef754e2d":"Bod uzamknutia","res-forge-intent-routes.7b2d03931b":"Konvenčné","res-forge-intent-routes.f18b41890d":"správanie, obmedzenia a riziká, zapísané raz","res-forge-intent-routes.e9c366b4f3":"Požiadavka","res-forge-intent-routes.eb9ceb1149":"protipríklad","res-forge-intent-routes.462746df39":"najširšie pokrytie cieľa","res-forge-intent-routes.120e0af75a":"najnižší pohyb","res-forge-intent-routes.cd3e7bf034":"optimalizačný projekt","res-forge-intent-routes.92be6abbc0":"jedna kódová základňa","res-forge-intent-routes.9732c542fc":"implementácia napísaná","res-forge-intent-routes.27df60a6a2":"zvolená architektúra","res-forge-kera-boundary.1ccf5d25df":"Špecifikácia","res-forge-kera-boundary.29a184b65c":"graf","res-forge-kera-boundary.2fa9505626":"artefakt","res-forge-kera-boundary.37a5301a88":"výsledok","res-forge-kera-boundary.3bd7b119dd":"každý nedominovaný člen","res-forge-kera-boundary.4aca16af35":"Výsledok overenia","res-forge-kera-boundary.61792020d0":"Cieľová hranica","res-forge-kera-boundary.646e287869":"dôkaz a jeho predpoklady","res-forge-kera-boundary.6f8f7df48d":"FORGE","res-forge-kera-boundary.700bb94783":"redukcie","res-forge-kera-boundary.7bc555991d":"pevný","res-forge-kera-boundary.7c1df38fca":"OVERENÝ SÉMANTICKÝ GRAF","res-forge-kera-boundary.807a40a32f":"ukazuje späť na graf","res-forge-kera-boundary.8b36233e89":"overený sémantický graf plus povinnosti","res-forge-kera-boundary.8cd3def21e":"na tejto strane nie je žiadny cieľový emitor","res-forge-kera-boundary.970c175475":"cieľový profil","res-forge-kera-boundary.9c31467d05":"Držané na tejto strane brány","res-forge-kera-boundary.a30f1285d5":"SPUSTENÝ ODKAZ","res-forge-kera-boundary.b727a735e7":"pohyb","res-forge-kera-boundary.bed97175b0":"plán","res-forge-kera-boundary.c9ff38c8bb":"pripnutý výskumný problém","res-forge-kera-boundary.cce55e4309":"poradie","res-forge-kera-boundary.d4f766efab":"Tri držania, jeden objekt prechádza","res-forge-kera-boundary.efe0c41bcb":"KERA","res-forge-loop-instrument.1e76c7e5b8":"Jedna slučka protipríkladu, štyri fázy","res-forge-pareto-frontier.e2ee360818":"PRIDAŤ ENERGETICKÝ CIEĽ","res-forge-pareto-frontier.b0e56d1efe":"krivka je pevná, mení sa len politika","res-forge-pareto-frontier.787ca603fd":"hranica patrí do množiny cieľov","res-forge-pareto-frontier.d0eeccbe8d":"vybrané podľa","res-forge-pareto-frontier.173d916846":"energia","res-forge-pareto-frontier.1a7d89d441":"zhoda s cieľom","res-forge-pareto-frontier.b727a735e7":"pohyb","res-forge-pareto-frontier.c3b9a01442":"latencia","res-forge-pareto-frontier.3404b13cac":"množina cieľov","res-forge-pareto-frontier.e38c2194b4":"formálne overené","res-forge-pareto-frontier.bf984aca27":"prah záruky","res-forge-pareto-frontier.03d6a194f4":"špecifikácia","res-forge-pareto-frontier.33ca7f61b6":"NÁVRATY Z ENERGIE","res-forge-pareto-frontier.0acbd1c769":"POHYB PAMÄTE","res-forge-pareto-frontier.4b93d5e7ea":"LATENCIA, VPRAVO VYŠŠIA","res-forge-pareto-frontier.43bf415954":"Graf kompromisu medzi latencióu a pohybom pamäte, so zhodou s cieľom vykreslenou ako veľkosť\n značky, štyri nedominované členy spojené krivkou hranice a sedem dominovaných\n kandidátov, z ktorých každý je spojený s členom, ktorý ho dominuje","res-forge-pareto-frontier.f2b023979d":"xMinYMid meet","res-forge-pareto-frontier.473161067f":"Politika výberu","res-forge-pareto-frontier.7c1e368123":"Politika vyváženého kolena vyberá aj kandidáta C, iným argumentom: je to bod, kde vzdanie sa väčšej latencie prestáva prinášať veľa pohybu. To, že dve politiky vyberú rovnakého člena, je fakt o tejto hranici, a záznam stále uvádza, ktorá politika ho vybrala.","res-forge-pareto-frontier.b7aedb3b70":"Najjednoduchšia politika dôkazu vyberá kandidáta D. Vzdá sa jedného agresívneho prepísania, takže jej povinnosť overenia je najmenšia zo štyroch.","res-forge-pareto-frontier.5614e2e73d":"Politika najmenšieho pohybu vyberá kandidáta B. Má najdlhšiu kritickú cestu zo štyroch, čo je cena za presun najmenšieho množstva dát.","res-forge-pareto-frontier.14826696ec":"Najrýchlejšia politika vyberá kandidáta A. Drží najväčšiu pracovnú množinu na hranici, a záznam to uchováva spolu s výberom, nie skryté v skóre.","res-forge-pareto-frontier.c65681bb2d":"zhoda s cieľom: najširšia","res-forge-pareto-frontier.b097d0ac54":"pohyb: stredný","res-forge-pareto-frontier.05da02c2f2":"latencia: stredná","res-forge-pareto-frontier.d0b64e1eec":"zhoda s cieľom: stredná","res-forge-pareto-frontier.144e5e5e83":"pohyb: nižší","res-forge-pareto-frontier.aa828b0585":"latencia: vyššia","res-forge-pareto-frontier.e3a088e260":"zhoda s cieľom: úzka","res-forge-pareto-frontier.6fc0d51b39":"pohyb: najnižší","res-forge-pareto-frontier.1b565dbd5d":"latencia: najvyššia","res-forge-pareto-frontier.79c0f24c30":"pohyb: najvyšší","res-forge-pareto-frontier.83504b708a":"latencia: najnižšia","res-forge-pareto-frontier.37671e6ba6":"Vyvážené koleno","res-forge-pareto-frontier.47942077ae":"Najjednoduchší dôkaz","res-forge-pareto-frontier.8703111807":"Najširší cieľ","res-forge-pareto-frontier.0b2147fd0a":"Najmenší pohyb","res-forge-pareto-frontier.4cb3bb0fc4":"Najrýchlejšia","res-forge-pareto-frontier.7e6396c2ce":"Politika najširšieho cieľa vyberá kandidáta C. Beží na najširšej množine podporovaných cieľov a nachádza sa medzi oboma extrémami na oboch vykreslených osiach.","res-forge-programme-boundary.97af50dd3d":"Brána prechádza cez tri publikované okruhy a zastaví sa na hranici jadra. Vonkajšie tri\n možno preskúmať bez otvorenia najvnútornejšieho.","res-forge-programme-boundary.9ba1f67469":"Výskumný program, nie softvérová ponuka","res-forge-programme-boundary.f72e361ba7":"Kontrola publikovania","res-forge-programme-boundary.108e9b7f90":"držané ako výskumná metóda","res-forge-programme-boundary.88306943fe":"Metóda","res-forge-programme-boundary.68836c550e":"Jadro","res-forge-programme-boundary.175267da12":"smerovanie teórie","res-forge-programme-boundary.15e58bec8d":"pridelenie rozpočtu","res-forge-programme-boundary.b32f31d61d":"pozícia na hranici","res-forge-programme-boundary.6f3c47977c":"ohraničené meranie","res-forge-programme-boundary.ff7fc62f3f":"stav zabezpečenia","res-forge-programme-boundary.500aadccf6":"vybraný kandidát","res-forge-programme-boundary.5faa59d4bc":"Výsledok","res-forge-programme-boundary.6840659e94":"zaobchádzanie s neznámym","res-forge-programme-boundary.3404b13cac":"stanovený cieľ","res-forge-programme-boundary.78a3386c55":"limit zdrojov","res-forge-programme-boundary.90f54b8f1b":"povolený jazyk","res-forge-programme-boundary.c445f7aab5":"korpus špecifikácií","res-forge-programme-boundary.1ed77c3f7f":"Protokol","res-forge-programme-boundary.aba4559466":"pomenovaný doterajší stav","res-forge-programme-boundary.0c447c79ec":"výskumná otázka","res-forge-programme-boundary.002ff59811":"Otázka","res-forge-programme-instrument.a725020675":"Stav","res-forge-programme-instrument.dc4e08a408":"Nárok","res-forge-proof-parts-instrument.ba3fef96ae":"Dôkaz v piatich častiach","res-forge-provenance-chain.040c236a24":"štyri z deviatich uzlov a medzi nimi žiadny zapečatený krok","res-forge-provenance-chain.0ca6a997b6":"ČO MUSÍ REPLAY REPRODUKOVAŤ","res-forge-provenance-chain.7c0a292070":"ZNAČKA ZNAČKY OZNAČUJE UZOL, KTORÉHO SA REPLAY DRÁHA MUSÍ DOTKNÚŤ","res-forge-provenance-chain.763ad25abd":"pečať r:1c62e08","res-forge-provenance-chain.da528b9287":"FORMÁLNE OVERENÉ","res-forge-provenance-chain.9106ca2738":"VYBRANÉ","res-forge-provenance-chain.416eb4fbb0":"hranica","res-forge-provenance-chain.8e016346a6":"TRIEDA EKVIVALENCIE","res-forge-provenance-chain.97d9eb838e":"cx 2","res-forge-provenance-chain.21fedfd21e":"kandidát 2","res-forge-provenance-chain.2ce3ff82d2":"výstup: kandidát 2","res-forge-provenance-chain.656b15a358":"vstup: kandidát 1 plus cx 1","res-forge-provenance-chain.a65edb573d":"VÝSKUMNÝ KROK","res-forge-provenance-chain.b0b7ba4666":"SÚKROMNÉ","res-forge-provenance-chain.6495ecf841":"cx 1","res-forge-provenance-chain.7312546346":"kandidát 1","res-forge-provenance-chain.32082e06e3":"ŠPECIFIKÁCIA","res-forge-provenance-chain.4ee56d08c0":"Graf odvodenia zľava doprava: špecifikácia, dvaja kandidáti, dva protipríklady,\n jeden zapečatený interný krok, trieda ekvivalencie, hranica a vybraný overený\n výsledok","res-forge-provenance-chain.e259f512bc":"Graf odvodenia od špecifikácie k vybranému overenému kandidátovi, s jedným interným krokom zapečateným, ale prepojeným","res-forge-provenance-chain.191f8b1087":"VÄZBA VYKONANIA","res-forge-provenance-chain.88be68d35d":"VÝSLEDOK OVERENIA","res-forge-provenance-chain.bdd7fdaa13":"KANDIDÁT 2","res-forge-provenance-chain.608c5b40ac":"ŠPECIFIKÁCIA v1","res-forge-record-timeline.0794c4ea35":"Rozhodnutie prijaté","res-forge-record-timeline.0f9c9e32f9":"Verzia, nikdy názov vetvy","res-forge-record-timeline.314d8e79c0":"Prečo nebol zvolený kandidát B?","res-forge-record-timeline.39ab49c337":"Presný neúspešný vstup, uchovaný pre budúcnosť","res-forge-record-timeline.4868056615":"Nič na tomto riadku nebolo obnovené z commit správ.","res-forge-record-timeline.4bd9342a8a":"Tri položky na to odpovedajú a žiadna z nich nemusí byť rekonštruovaná.","res-forge-record-timeline.59d432b5cb":"Porovnané alternatívy","res-forge-record-timeline.6546ec1158":"Recenzent príde oveľa neskôr","res-forge-record-timeline.6833948a23":"Napísané v danom čase","res-forge-record-timeline.7d1e2e97e8":"Uvedená požiadavka","res-forge-record-timeline.90726e413a":"Odpovedá na otázku","res-forge-record-timeline.aaddcdd4a5":"Metóda výskumu, zapečatená","res-forge-record-timeline.ccf3d548fe":"Prečítané späť","res-forge-record-timeline.de805f67e3":"Päť kandidátov, jeden vzťah dominancie","res-forge-record-timeline.e4a8371aea":"Záznam, čítaný zľava doprava","res-forge-record-timeline.e8412cdd3e":"Politika a autorita, ktorá za ňou stojí","res-forge-record-timeline.eeb026e98f":"Zaznamenaný protipríklad","res-forge-record-timeline.f4452aa131":"Priečka a rozsah, ktorý táto priečka pokrýva","res-forge-record-timeline.f65fb0cd45":"Dosiahnutá záruka","res-forge-search-field.f6d08e6875":"Relatívne dĺžky, nie počty","res-forge-search-field.e9fd9a1eaa":"Čo je v poli","res-forge-search-field.fbd8250bed":"UNCHANGED FOR THE WHOLE RUN","res-forge-search-field.6a38722b12":"THE REQUIREMENT","res-forge-search-field.dbd3e24a6c":"Pole kandidátskych tvarov programu v troch stavoch okolo jedného pevného rámca požiadavky v strede","res-forge-search-field.0c596f1034":"xMidYMid slice","res-forge-search-field.7be0fdc4e0":"Postavené, potom zachytené","res-forge-search-field.9545c5f30a":"Zlyhalo v prípade","res-forge-search-field.e247bbc42c":"Nikdy nepostavené vôbec","res-forge-search-field.3d7da15c51":"Odmietnuté typom","res-forge-search-field.70c98ed3c6":"Povolené na kontrolu","res-forge-search-field.35633f30dd":"Zodpovedá pravidlám","res-forge-search-field.50c026300b":"Prijaté","res-forge-silence-instrument.3bc40f4b2a":"Štyri výsledky, ktoré sa vrátia bez programu","res-forge-size-lattice.a82ce62110":"ŠIRŠÍ JAZYK, NOVÝ EXPERIMENT","res-forge-size-lattice.74ed41aa02":"MINIMÁLNE V RÁMCI JAZYKA L, PRI VEĽKOSTI 5 ALEBO MENŠEJ","res-forge-size-lattice.4ca63f9c2e":"NEVYHĽADANÉ, NETVRDENÉ","res-forge-size-lattice.b79d0fac18":"DEKLAROVANÁ HRANICA","res-forge-size-lattice.5e265fa4aa":"PRVÝ OVERENÝ","res-forge-size-lattice.92664d7dff":"pozorovanie, nie dôkaz","res-forge-size-lattice.950b23b925":"zrútené ako pozorovaný duplikát","res-forge-size-lattice.a615e7ad1a":"odmietnuté typom, pred vyhodnotením","res-forge-size-lattice.6f389bc568":"prijaté","res-forge-specification-desk.65d9989d71":"DÔKAZNÉ FORMULÁRE NIE SU ZAMENITEĽNÉ","res-forge-specification-desk.166b5a63b2":"prejde všetkými štyrmi príkladmi","res-forge-specification-desk.26a9ba5602":"x = -9","res-forge-specification-desk.5099050f90":"PRÍPAD, KTORÝ ICH ODDELUJE","res-forge-specification-desk.561f36ce2f":"spustiteľná odpoveď s vlastnými obmedzeniami","res-forge-specification-desk.ca24d384c1":"doména orákula: iba 0 až 100","res-forge-specification-desk.3cee30a3ad":"REFERENCIA","res-forge-specification-desk.0d99250013":"štruktúra pevná, dva typované otvory","res-forge-specification-desk.c1dc5611bb":"vráť clamp(t,","res-forge-specification-desk.2e5baed7cb":"nech t =","res-forge-specification-desk.b3274ca07a":"nech s = scale(x)","res-forge-specification-desk.ebdeb573df":"NÁČRT","res-forge-specification-desk.c597bbdbc1":"každý vstup, ktorý teória dokáže vyjadriť","res-forge-specification-desk.15ac2f23db":"pre všetky x v podporovanej doméne:","res-forge-specification-desk.61ed10966f":"OBMEDZENIA","res-forge-specification-desk.0ec3e255af":"štyri prípady, presne skontrolované","res-forge-specification-desk.9659699670":"PRÍKLADY","res-forge-specification-desk.191f4bd034":"uprav škálovanú hodnotu do deklarovaného rozsahu","res-forge-specification-desk.4ad49a4ec4":"JEDNA TRANSFORMÁCIA","res-forge-specification-desk.d9b48caf78":"porušuje monotónnosť mimo domény orákula","res-forge-stack-path.4d5fa1b006":"Každý systém číta ten istý objekt, nie jeho kópiu, a práve to udržiava špecifikáciu, dôkaz, plán a výsledok na jednej identite.","res-forge-stack-path.86506efb99":"identita výsledku sa vracia k identite grafu, z ktorej začala","res-forge-stack-path.c83a5945cb":"kde program uchováva overený stav","res-forge-stack-path.55561848ab":"Aion","res-forge-stack-path.17ed2b5e88":"kde je model fyzického systému súčasťou špecifikácie","res-forge-stack-path.1699ca16fb":"FMI a Twin","res-forge-stack-path.d5f412e831":"Kera","res-forge-stack-path.3ab11b75ca":"Forge","res-forge-stack-path.11e7686a81":"Identita grafu","res-forge-stack-path.8e246a1e8d":"Na platni Forge sa nezobrazuje žiadny cieľový emitor.","res-forge-technical-glyph.be601df25e":"Výskum","res-forge-technical-glyph.91a9d5d08f":"Špecifikácia je nemenná","res-forge-technical-glyph.c2237a2d15":"Experimentálny balík","res-forge-technical-glyph.03d6a194f4":"špecifikácia","res-forge-technical-glyph.e11523c5ff":"jazyk","res-forge-technical-glyph.7b7f9366a3":"ciele","res-forge-technical-glyph.f3753f1b6b":"záruka","res-forge-technical-glyph.9d78bc179c":"typovaná oblasť grafu","res-forge-technical-glyph.2b90fe2fea":"čas, pohyb, veľkosť","res-forge-technical-glyph.a8a172a738":"napadnuté","res-forge-technical-glyph.e1d96de67b":"Kandidátsky fond","res-forge-technical-glyph.6f389bc568":"prijaté","res-forge-technical-glyph.a503bc1da2":"odmietnuté","res-forge-technical-glyph.880949479a":"testované","res-forge-technical-glyph.ec734b6515":"overené","res-forge-technical-glyph.61792020d0":"Frontier cieľov","res-forge-technical-glyph.096280facb":"jeden vybraný","res-forge-technical-glyph.9985d73a38":"Rebrík záruk","res-forge-technical-glyph.83ced341c8":"dobre formovaný","res-forge-technical-glyph.e38c2194b4":"formálne overený","res-forge-technical-glyph.275ed0c2c7":"prepojený s vykonaním","res-forge-technical-glyph.49794a5e29":"Vybraný kandidát","res-forge-technical-glyph.9e955c5620":"protipríklady zachované","res-forge-technical-glyph.74ef6c0061":"Odovzdanie do Kera","res-forge-technical-glyph.bed97175b0":"plán","res-forge-technical-glyph.37a5301a88":"výsledok","res-forge-technical-glyph.96a6bf1d97":"overený graf","res-forge-technical-glyph.b8d8aaff0a":"pripojené dôkazy","res-forge-technical-glyph.100ec4462d":"dôkaz","res-forge-technical-glyph.416eb4fbb0":"frontier","res-forge-technical-glyph.dd4fb84f32":"neznáme je výsledok","res-forge-technical-glyph.3137db7c8b":"Neznáme, neriešiteľné a nejednoznačné sú výsledky","res-forge-technical-glyph.d5f412e831":"Kera","res-forge-technical-glyph.00f6d27f5f":"DWEVE FORGE","res-forge-three-tries.ca6f569d32":"Zo zoznamu naľavo sa nikdy nič neodstráni","res-forge-three-tries.48fce8a80b":"Tri pokusy o ten istý problém","res-forge-three-tries.8805376577":"Tretie kolo nesie všetko, čo našli prvé dve kolá, a ešte jeden prípad navyše.","res-forge-three-tries.da17ea9bb5":"Zoznam prípadov, kolo za kolom","res-forge-three-tries.8cc87a2190":"nič na doplnenie","res-forge-three-tries.36d5623704":"a potom dokázal","res-forge-three-tries.0f0b41cfe8":"Prešiel všetkými prípadmi","res-forge-three-tries.1e35a52de1":"Pokus 3","res-forge-three-tries.3b26ea5e3d":"prázdny zoznam","res-forge-three-tries.b8575badd2":"na prázdnom zozname","res-forge-three-tries.09fef5d8d9":"Zlyhalo","res-forge-three-tries.969a17cecc":"Pokus 2","res-forge-three-tries.15d3c90fb9":"najväčšie možné číslo","res-forge-three-tries.f88b9a4765":"na najväčšom možnom čísle","res-forge-three-tries.ff31d219ef":"Pokus 1","res-forge-three-tries.f65e38d46b":"zoznam s jednou položkou","res-forge-three-tries.e8741ca2e3":"zoznam už v poradí","res-forge-three-tries.9450ac4e17":"krátky zoznam","res-forge-three-tries.4d944a9d7e":"Tretie kolo","res-forge-three-tries.fa2b87ffe2":"Druhé kolo","res-forge-three-tries.f7648d3834":"Prvé kolo","res-forge-type-sockets.13fff86afe":"Dve operácie, jedno spojenie","res-forge-type-sockets.2251b5f821":"Neobmedzené celé čísla","res-forge-type-sockets.338ce27565":"Tri kompozície ponúknuté jednému typovanému jazyku","res-forge-type-sockets.3d7da15c51":"Odmietnuté typom","res-forge-type-sockets.50c026300b":"Prijaté","res-forge-type-sockets.5e5da2cd3c":"Prístup k sieti","res-forge-type-sockets.681bcaf5e4":"Odmietnutie na tejto doske nič nestojí, pretože na nej ešte nič nebolo vyhodnotené.","res-forge-type-sockets.7303a0d112":"Odmietnuté schopnosťou","res-forge-type-sockets.73841deb9d":"Uzavreté pre tento beh","res-forge-type-sockets.76123e0c4c":"Druhá operácia potrebuje schopnosť, ktorú paket neudelil, takže je mimo vyhľadávacieho priestoru.","res-forge-type-sockets.93c6a1f183":"Socket","res-forge-type-sockets.a1369155ac":"Prístup k súborom","res-forge-type-sockets.b4ae90c7f4":"Tieto dva sockety sa nestretávajú, takže z tejto dvojice sa nikdy nezostaví žiadny kandidát.","res-forge-type-sockets.b957ab83e5":"Výstupný typ sa zhoduje so vstupným typom, takže kandidát je zostavený a môže byť vyhodnotený.","res-forge-type-sockets.c7303935a3":"Nekontrolované aliasovanie","res-forge-type-sockets.d3f0610632":"Výsledok","res-forge-type-sockets.dbe18d2e48":"Jazyk je zvolený s paketom a počas behu vyhľadávania sa nerozširuje.","res-forge-type-sockets.eb8606da6a":"Ponúknutá kompozícia","research-forge.00274e0e63":"odmietnuté, chyba kontraktu","research-forge.002ff59811":"Otázka","research-forge.005a8c4891":"Prineste zámer domény, formálne metódy, hardvérové meranie alebo nezávislý prehľad. Forge poskytuje zdieľaný výskumný objekt na porovnávanie objavovania programov, dôkazov a vykonávania.","research-forge.008fef2a92":"Hľadajte v rámci operácií, ktoré boli povolené.","research-forge.01038388dc":"Nezodpovedané odpovede zostávajú viditeľné","research-forge.0109e7127b":"NEMOŽNÉ","research-forge.0143790011":"plánovanie a vykonávanie","research-forge.019d4e8e82":"Čo zostáva pravdou","research-forge.01f66c63e3":"Dve z dvojíc sa nedajú zostaviť a jazyk to hovorí.","research-forge.01fc285874":"Zodpovednosti voči Forge a Kera","research-forge.02ff5bf386":"Preskúmanie politiky","research-forge.0303c4bacd":"päť polí stanovených pred prvým kandidátom","research-forge.030afc5361":"Forge dokáže zachovať verziu požiadavky, kandidátov, ktorí boli dôležití, protipríklady, prechody zabezpečenia, objektívnu hranicu a politiku, ktorá vybrala jedného člena. O dva roky neskôr záznam stále odpovedá na otázku, ktorú si recenzent skutočne kladie, a to nie čo bolo postavené, ale prečo boli alternatívy zamietnuté. Stopa vedie jedným smerom a každý krok na nej možno prejsť späť: požiadavka, ktorá definovala úspech, overení a zamietnutí kandidáti, ktorí boli dôležití, protipríklady a prechody zabezpečenia, hodnoty cieľov, ktoré umiestnili každého kandidáta na hranicu, a autorita, ktorá vybrala jedného z nich. Nič z toho nežije vedľa rozhodnutia. Cestuje s ním.","research-forge.03102018f1":"Kandidát je štrukturálne platný.","research-forge.03128bed90":"Overenie","research-forge.0393c06f67":"KANDIDÁT","research-forge.0397a076c3":"Pridanie predpokladu je legitímny krok a vytvára novú identitu špecifikácie, nie úpravu starej. Predchádzajúci experiment zostáva v zázname s pripojeným zlyhaním. Výskumná komunita nazýva všeobecný vzor navrhnúť, spochybniť, spresniť CEGIS.","research-forge.03bec6ab74":"Tri formy","research-forge.04126cee0d":"Štyri sa stretávajú v strede, takže pohyb smerom k jednému z nich zvyčajne niečo stojí na inom.","research-forge.0428abce3e":"Ohraničená kontrola","research-forge.0432a371aa":"Politika zabezpečenia","research-forge.04731f0ef3":"Iba jedna os, relatívna modelovaná latencia. Dĺžka stĺpca nie je celkové poradie.","research-forge.04ae6467a0":"Žiadny záver","research-forge.04bf9ee3c6":"nevynechané z účtu","research-forge.04e9b5cd14":"koexistuje tu mnoho derivácií","research-forge.04fa443e7b":"Najdlhšia kritická cesta","research-forge.05005f366c":"Výskum Forge","research-forge.05625954d2":"nech už hľadanie prebieha akokoľvek","research-forge.05d1c23f1f":"zlyhanie zužuje hľadanie","research-forge.05db5a7f8a":"Verzia špecifikácie, ktorú musel spĺňať každý kandidát","research-forge.065d4a5b25":"Všetky produkujú rovnaký typ typovaného kandidáta a vstupujú do rovnakého porovnania. Organizácia preto porovnáva programy, nie metódy hľadania, a metóda, ktorá našla kandidáta, mu v rozhodnutí nedáva žiadnu výhodu.","research-forge.07a688568e":"Cieľový artefakt","research-forge.0820b32b20":"Testovanie","research-forge.08b22e1ba0":"Jeden kontrakt","research-forge.08cfb3e0f2":"Preskúmanie špecifikácie","research-forge.09496b01f9":"Odovzdanie","research-forge.09a3354e63":"Vedľajšie podmienky","research-forge.09d053226c":"Sledujte jedno hľadanie","research-forge.0a3eb3abd3":"Interná kalibrácia","research-forge.0a5e7a0583":"Hranica","research-forge.0a799711ad":"Normalizácia šetrí hľadanie","research-forge.0ab39d71e2":"Ekvivalencia","research-forge.0ade2ace0d":"Každý protipríklad","research-forge.0ae18773cb":"Výskumný asistent","research-forge.0b101a23a3":"Asociatívne preskupenie","research-forge.0b81fbebb5":"Optimalizácia neskôr","research-forge.0ba4e46484":"Jeden graf","research-forge.0bc357c912":"NEPOKRYTÉ","research-forge.0c19b6603f":"Budúci recenzent prehodnotí rozhodnutie zo záznamu, nie z commit správ.","research-forge.0c6c9b91c5":"Poznáte ten pocit, keď by úloha mohla mať jednoduchšiu implementáciu? Forge premení túto otázku na výskumný pracovný postup: dajte mu ohraničenú špecifikáciu, hľadajte kandidátske programy a zaznamenajte kontroly a merania. Správa z roku 2025 dokumentuje experiment, nie výsledok pripravený na produkciu alebo publikovaný benchmark.","research-forge.0d358c9749":"Dva testy, dve silné stránky","research-forge.0db809cc66":"Zabezpečenie","research-forge.0e26aaf414":"Preskúmanie modelu","research-forge.0e3c434842":"Testované, ohraničené, dokázané","research-forge.0ef3858209":"Zaznamenané ohraničené kontroly","research-forge.0f1e49f0bf":"Príklady obmedzujú správanie na vstupoch, ktoré dodáte. Logické podmienky obmedzujú každý vstup, ktorý formálna teória dokáže vyjadriť. Náčrt zachováva architektúru, ktorú výskumník nie je ochotný odovzdať hľadaniu, a zanecháva v nej typované diery. Referenčné správanie poskytuje vykonateľný orákulum a nesie so sebou doménu samotného orákula. Forge zaznamenáva, ktorá forma podporila ktorý záver, namiesto toho, aby každý vstup považoval za špecifikáciu rovnakej sily.","research-forge.109bff6e75":"Špecifikácia, nie kódová základňa","research-forge.1178a4ffb4":"Hľadať znova","research-forge.1181c3f399":"Balík tiež uvádza, kedy zastaviť: limit zdrojov, prah zabezpečenia, ktorý musí kandidát dosiahnuť, aby vstúpil na hranicu, a čo beh oznámi, keď nič nedosiahne. Hľadanie, ktoré skončí bez programu, stále končí výsledkom.","research-forge.11c14ce16a":"Organizácia potom vlastní zámer, nie jeden jeho prejav, a môže povedať, prečo bola zvolená konkrétna implementácia. Požiadavka sa stáva trvalým aktívom a implementácia sa stáva výsledkom, ktorý môže prepočítať, keď sa zmenia priority.","research-forge.11dd823248":"Pre tento vstup vygeneruj tento výstup.","research-forge.12c8d914cc":"Čo výsledok nepreukazuje.","research-forge.13792d7c2a":"DÔKAZ MÁ HRANICU","research-forge.140b63310c":"Kandidát C","research-forge.1462811ad5":"kandidát, ktorý vyzerá presvedčivo","research-forge.151978bff3":"záznam vždy uvádza špecifikáciu, prah a politiku","research-forge.15c2d33108":"Výskumná integrácia v hodnotení","research-forge.15f1b08e56":"dôkaz, ohraničenie alebo stanovený limit","research-forge.16181ed76f":"Povolené operácie, typy, efekty a numerická sémantika","research-forge.161fa759f7":"V konečnom deklarovanom jazyku môže prehľadávanie vytvárať kandidátov zväčšovaním veľkosti a odmietať neplatné kompozície skôr, než ktorákoľvek z nich prebehne. Kandidátov, ktorí sa pri aktuálnych dôkazoch správajú identicky, možno zlúčiť, aby sa ušetrila práca, pričom samotné tvrdenie o ekvivalencii čaká na overenie. Keď metóda pokrýva všetkých dobre vytvorených kandidátov až po stanovenú hranicu, prvý overený program preukazuje minimálnu veľkosť v rámci tohto jazyka a tejto hranice. Rozšírenie množiny operácií vytvára iný experiment s vlastnou odpoveďou.","research-forge.169f619e4f":"Čestný odznak nesie svoju hranicu a hranica je jeho najužitočnejšou časťou.","research-forge.16a3fa00e3":"Podporovaná symbolická vlastnosť bola dokázaná za stanovených predpokladov.","research-forge.16ec74fc0a":"CLEAR","research-forge.171ca0385a":"Správanie","research-forge.173315f506":"na tejto doske žiadna dráha nekončí generovaným záložným kódom","research-forge.17405ade0e":"Záruka s rozsahom","research-forge.17a86caa5b":"Povinnosť","research-forge.17b8b28e9e":"nikdy sa nepovažujú za zameniteľné","research-forge.17ecf461a5":"Problém je splniteľný","research-forge.1822a38ec8":"štyri dôvody pokračovať v hľadaní","research-forge.189ee02d36":"Čestné nedodanie","research-forge.18d60fce22":"Pomenovaný stupeň záruky a jeho rozsah","research-forge.18dd2ccb59":"Päť častí","research-forge.18e9128279":"Pomenovanie výsledku udržiava problém tam, kam patrí. Protichodné požiadavky sa vracajú tomu, kto ich napísal. Nejasný prípad sa vracia na rozhodnutie. Neuzavreté hľadanie sa vracia s väčším rozpočtom alebo inou metódou.","research-forge.18f906f6da":"Uchováva sa navždy","research-forge.192ad837e6":"Zaznamenaná politika, nie skryté skóre","research-forge.19626a1e65":"Čokoľvek, čo zlyhá v jednom prípade","research-forge.1a23a7cddc":"Forge nachádza","research-forge.1a66b5eeb6":"Prístup pre partnerov","research-forge.1bb360f468":"Ohraničené","research-forge.1bb90c04d2":"Zlyhanie, ktoré vytvorí konkrétny vstup, má pre hľadanie väčšiu hodnotu ako zlyhanie, ktoré vytvorí skóre.","research-forge.1bf39cee63":"Rýchlejšie, menšie, štíhlejšie","research-forge.1bff62bf9b":"Metóde došiel priestor. Iná metóda alebo dlhší beh to môže vyriešiť.","research-forge.1c013851a3":"Čo záznam obsahuje","research-forge.1c56ea452a":"Štyri špecifikačné karty opisujúce rovnakú malú transformáciu, s jediným prípadom, kde sa dve z nich nezhodujú","research-forge.1c56fd19d7":"Jeden otvorený prípad","research-forge.1c82340479":"tvrdenie možno preskúmať","research-forge.1c875de71f":"To je vlastnosť riadenia rovnako ako technická vlastnosť. Moment, keď sa dve interpretácie požiadavky rozchádzajú, je presne tam, kde patrí rozhodnutie zainteresovanej strany, a je oveľa lacnejšie skôr, než sa okolo jednej z nich postaví implementácia.","research-forge.1c9bbc4b77":"Ponechajte alternatívy, kým sa politika nezapíše.","research-forge.1cb61a389f":"zmenené pole je nový experiment, nie opravený","research-forge.1ccf5d25df":"Špecifikácia","research-forge.1cdd46cd0e":"Prečítať výskum","research-forge.1d17812687":"Štyri vstupy, štyri rôzne záruky","research-forge.1d2c6fe888":"všetkých päť, alebo žiadne","research-forge.1d444e826a":"Kera behy","research-forge.1d9b3bd5d3":"Najnižšia latencia","research-forge.1d9d3e69fa":"Rust, C, Verilog","research-forge.1e269ebac7":"Jedna transformácia","research-forge.1e748c3e4b":"zmeníte uzol a máte nového kandidáta, pričom väzba dôkazu nasleduje uzol","research-forge.1ecdc691a8":"sivá trasa vytvorí niečo čitateľné a nič, proti čomu by sa to dalo skontrolovať","research-forge.1ed77c3f7f":"Protokol","research-forge.1fd9da00a7":"Politika a autorita, ktorá vybrala jedného kandidáta.","research-forge.2030fae2a7":"Tri spôsoby, ako to povedať","research-forge.2040757c11":"Cranelift, natívne meranie výkonu","research-forge.2041447f84":"iba prehľadávanie","research-forge.206009c4a7":"Päť politík","research-forge.20cb7eef2c":"Mimo modelu","research-forge.2154ca1eb7":"Každý z týchto výsledkov má iný ďalší krok. Forge zaznamenáva najsilnejší stav, ktorý dokáže odôvodniť, a uvádza, čo by sa muselo zmeniť, aby sa posunul ďalej.","research-forge.21a0ffd68c":"otvorené otázky sú na stránke","research-forge.21efbc283d":"Rýchlosť, pamäť, dosah a dôkazy","research-forge.220b9c622c":"Syntetizovať","research-forge.2354ab0ba0":"pred navrhnutím programu","research-forge.235bfff3a2":"Výskumný program","research-forge.236656bf91":"Právomoci","research-forge.23d4ef785c":"veľkosť 5","research-forge.243dcbef8c":"plánovanie a emisie pod","research-forge.24a264b83c":"Dvaja kandidáti, štyri ciele","research-forge.24c0bda2ba":"Najpriamejšia cesta auditu","research-forge.24cb5be0b0":"rozhodnutie si zachováva svoje dôvody","research-forge.24d50592b7":"Ciele","research-forge.2550b1dcad":"Zodpovednosť","research-forge.25754f1c93":"výskumný program, nie softvérová ponuka","research-forge.258195bb3d":"Jedna identita","research-forge.25c843b80e":"To robí z jazyka dve veci naraz. Je mechanizmom efektívnosti, pretože väčšinu priestoru nikdy netreba vyhodnocovať. Je tiež hranicou zámeru, pretože vopred určuje, k čomu má stroj povolený siahnuť.","research-forge.25fa97aa1a":"Nehovorí vám, či je táto cesta najrýchlejšia, najúspornejšia, najprenosnejšia, najľahšie auditovateľná alebo taká, ktorú organizácia dokáže prevádzkovať. To sú samostatné otázky so samostatnými dôkazmi.","research-forge.261c22b85c":"Inžinierska organizácia sa zvyčajne zaviaže k jednej implementácii dávno predtým, než dokáže povedať, či je tento návrh najrýchlejší alebo najľahšie overiteľný. Forge skúma postupnosť, v ktorej je špecifikácia trvalým aktívom a implementácia výsledkom vyhľadávania, medzi ktorým si vyberá stanovená politika.","research-forge.26369471c9":"Presná ekvivalencia, ohraničený numerický vzťah alebo ekvivalencia účinku, každá stanovená overením.","research-forge.267f81bab8":"Čoho sa program môže dotknúť","research-forge.277b67c1e8":"a čo by potreboval","research-forge.27f11f9fe1":"uzavretý uzol stále zverejňuje svoje vstupy, výstupy a svoju identitu","research-forge.27fab35201":"Pomenovaná neodpoveď je užitočnejšia ako vierohodný program.","research-forge.280c5e7fc6":"Dve interpretácie","research-forge.281dd83602":"Rozšíriť","research-forge.282bd862f4":"Kandidát B","research-forge.2877a09f30":"viacero odpovedí môže byť rozumných","research-forge.287b80caae":"správnosť nevyberá","research-forge.294b4c06ac":"Priestor kandidátov","research-forge.296e71a0fb":"Kandidáti podľa veľkosti v ohraničenom jazyku, zobrazujúci prijaté, odmietnuté a zbalené stavy, prvého overeného kandidáta a deklarovanú hranicu, ktorú tvrdenie nesie","research-forge.297f419e18":"Čo nesmie urobiť, je oslabiť správanie, pridať účinok, ktorý paket nedeklaroval, alebo premeniť nevyriešený stav dôkazu na úspech. Optimalizácia je sloboda v rámci hranice.","research-forge.29c69b4a35":"alebo ľahšie skontrolovať","research-forge.29fea3a06d":"Čo stanovuje","research-forge.2a03a4b73a":"Nerozhodnuté","research-forge.2a729227ad":"Jeden výraz rozšírený do siete ekvivalentných foriem s podmienkami na hranách a tri ciele extrakcie zvolené po vytvorení priestoru","research-forge.2a965a37b7":"To je politické rozhodnutie a musí byť vyhlásené, nie odvodené.","research-forge.2a965accf1":"Najmenší program, ktorý jazyk umožňuje","research-forge.2ad40f7952":"Kompromisy ako objekt správy","research-forge.2b27b7aec8":"Riadené dôkazmi","research-forge.2b3a5e307c":"Sémantický","research-forge.2b7d95b8c6":"Ktorý kompromis chcete","research-forge.2b9c801e9e":"výber zostáva explicitnou politikou","research-forge.2bdb5e4d73":"Forge končí vybraným sémantickým grafom a jeho dôkazmi. Dweve Kera dostane tento graf, naplánuje podporované vykonávanie a vydá cieľový artefakt, pričom k odovzdaniu sú pripojené význam operácie, účinky, vlastníctvo, numerická zmluva a povinnosti dôkazu. Rovnaká disciplína spája Forge so zvyškom stacku Dweve: Aion tam, kde program udržiava overený stav, Reed a Selvedge pre prácu na okolitých systémoch, FMI a Twin tam, kde je model fyzického systému súčasťou špecifikácie.","research-forge.2c8c94c95f":"nielen to, čo bolo postavené","research-forge.2c9ebecf8b":"Orchestrácia vyhľadávania","research-forge.2cb597863b":"Rýchly program, ktorý je nesprávny, je stále nesprávny.","research-forge.2cd3174fc9":"výsledok rozhoduje o ďalšej otázke","research-forge.2cff331976":"Objav a dôkaz nad","research-forge.2d24e0a549":"A niekedy","research-forge.2d3231ce48":"Nejednoznačnosť","research-forge.2da600bf94":"Verzia","research-forge.2daa013c1b":"Typovaný sémantický graf, nie zdrojový text","research-forge.2dd3547872":"úplný v rámci hranice","research-forge.2dfcf898a3":"Porovnanie","research-forge.2e140f6f42":"Výber politiky","research-forge.2ea3bb9377":"Pripojte sa k výskumným partnerom","research-forge.2f24ebaee0":"Orezať","research-forge.2f65736593":"(a * 2) + a","research-forge.2f81a22de0":"Prístup","research-forge.2f89346f05":"Plávajúca reasociácia","research-forge.2f906454d9":"Každá forma odpovedá na inú otázku a výskumný záznam uvádza, ktorá niesla tvrdenie.","research-forge.30833f759b":"Plánovanie a znižovanie","research-forge.3107902192":"Päť kandidátov","research-forge.310e8151df":"od opisu k dôkazom","research-forge.31139f400a":"minimum <= 5","research-forge.3146c89579":"ktorá zodpovednosť leží na ktorej strane","research-forge.3179a54130":"Príklady, pravidlá a čiastočný program, nie kroky","research-forge.31c2157a1c":"Jeden sémantický graf zobrazený ako graf, ako výraz a ako tok dát, s identitou nezmenenou vo všetkých troch, a s efektom zmeny jedného uzla","research-forge.320ce22925":"Silné, pre tvrdenia","research-forge.3218fcc602":"Kompozícia dôkazov","research-forge.32438a2b70":"Nasadiť automatizované objavovanie","research-forge.32d888fecc":"Prepojené vykonávanie","research-forge.32ec2eb506":"Typovo riadené","research-forge.32fd056d3d":"Náčrt","research-forge.32fe9f5bda":"Semeno","research-forge.331a390a95":"Zaznamenajte, že záruku nemožno zdôvodniť tak, ako je uvedená.","research-forge.332fafafd4":"Niekoľko programov je optimálnych","research-forge.337cd4ef85":"a chrániť potom","research-forge.3407af8c74":"Formy sa navzájom posilňujú. Príklady robia logickú zmluvu čitateľnou pre čitateľa. Obmedzenia bránia kandidátovi v prehnanom prispôsobení sa ukázaným prípadom. Náčrt udržiava štruktúru bezpečnosti pevnú, zatiaľ čo aritmetika alebo tok dát v jednej oblasti zostáva otvorený objavovaniu.","research-forge.3554ae9f37":"Dôkaz grafu nie je automaticky dôkazom ľubovoľného výstupu kompilátora, takže prepojenie vykonávania zaznamenáva graf, plán, artefakt a výsledok spoločne. Forge potom môže študovať objavovanie bez toho, aby si nárokovalo vlastníctvo emitora.","research-forge.356258d8cf":"Správnosť získava vstup do diskusie o kompromisoch.","research-forge.357a580465":"rozšírenie s podmienkami","research-forge.3631815377":"ktoré udržiava","research-forge.3647998e09":"relatívna modelovaná latencia na jednej hranici","research-forge.3662b6cd93":"Optimalizácia je sloboda v rámci hranice, ktorá bola napísaná ako prvá.","research-forge.3678b75177":"Kotva dôkazu","research-forge.3697e2badd":"Rovnaká hranica, štyri obhájiteľné odpovede","research-forge.3750b1e26e":"Jedna požiadavka","research-forge.378b19c94c":"a univerzálne vlastnosti","research-forge.37a1d3ddee":"Rozsah vyhľadávania","research-forge.37b658da82":"čo je stanovené a čo zostáva otvorené","research-forge.37d9b94afa":"Recenzent môže sledovať reťazec od začiatku do konca bez otvorenia jediného zapečateného uzla.","research-forge.37e5ec20ed":"Ticho sa počíta","research-forge.37e8f995e7":"Pomenovaná neodpoveď tiež dáva inštitúcii konkrétny bod na konanie. Hovorí, ktorá klauzula je v konflikte, ktoré správanie bolo neurčené, ktorá teória bola nedostupná alebo ktorý rozpočet sa vyčerpal, a teda čo by sa muselo zmeniť.","research-forge.3856f4eb7c":"Metóda nedospela k žiadnemu záveru v rámci svojich teoretických a zdrojových limitov.","research-forge.387b54720d":"Priečka, ktorú musí výsledok dosiahnuť, aby sa počítal","research-forge.38b07c05cf":"Jeden rebrík záruk s dvoma kandidátmi spočívajúcimi na rôznych priečkach a zásuvkou ukazujúcou, čo každá priečka kontrolovala, predpokladala a neustanovuje","research-forge.391bc6cb44":"Dôkaz si zachováva svoju hranicu","research-forge.396c19de10":"Štyri spôsoby, ako požiadavka odoláva programu","research-forge.39727bd48f":"späť na syntézu","research-forge.3977816414":"dôkazy rozhodujú","research-forge.39d6a0ddc5":"Ktoré rozhodnutia môže vyhľadávanie robiť vo vašom mene?","research-forge.39fdec1194":"Testy","research-forge.3a06f841f3":"Je testovaný nad rámec príkladov, ktoré mu boli dané.","research-forge.3a4be7155b":"Alternatívy","research-forge.3ab11b75ca":"Forge","research-forge.3b08754530":"Forge začína z opisu správania, nie z požiadavky na kód. Môžete mu dať vypracované príklady, pravidlá, ktoré musia platiť všeobecne, alebo čiastočne napísaný program s otvorenými zložitými časťami. Ktorýkoľvek z nich dáva stroju niečo, proti čomu sa dá merať, a niečo, pri čom môže viditeľne zlyhať.","research-forge.3b0896e4b0":"Pre podporované zmluvy Kera sa čisté vykonávanie opakuje bitovo identicky bez semena, vrátane pokrytých ciest plávajúcej rodiny. Ak program zámerne spotrebúva náhodný stav, tento stav je deklarovaným vstupom a jeho opätovné použitie reprodukuje celý beh.","research-forge.3b8be5e1a9":"dokázaná šírka","research-forge.3bb1fa9d93":"je jeden bod v priestore","research-forge.3bb59d3903":"Stanovené","research-forge.3bcf82f6df":"Latencia je dimenzia","research-forge.3bdab018c4":"Overené má vždy druhú polovicu: za týchto pravidiel, pre tieto vstupy.","research-forge.3bf08a84f1":"MOVE","research-forge.3bf4aa62c6":"Jeden graf, dva plány, jedna identita","research-forge.3c37add762":"Dobre formovaný","research-forge.3d3349e560":"čo inštitúcia rozhodne pred vyhľadávaním","research-forge.3d85b7b35e":"Štyri malé prípady, každý končiaci bez programu z iného dôvodu, ukazujúce, čo sa žiadalo, čo sa stalo a čo by to zmenilo","research-forge.3d8dc8dd37":"Nesie jednoduchšiu cestu kontroly","research-forge.3d9d45c6fc":"a dokázať nesprávny model","research-forge.3dbbac272c":"Protipríklady a stav dôkazu","research-forge.3e0fb17cab":"Objasniť","research-forge.3e39972526":"Latencia","research-forge.3e9492ab1e":"Graf, plán, artefakt a výsledok zostávajú zviazané.","research-forge.3f1ea4240e":"Predpoklady sú súčasťou výsledku, nie drobným písmom pod ním. Dôkaz o presných celých číslach nehovorí nič o desatinných číslach. Dôkaz o samostatnom výpočte nehovorí nič o službe, o ktorej nikdy nevedel, že existuje.","research-forge.3f2151a870":"Veľkosti jedna až šesť","research-forge.3fd8fb2e1a":"Operácie, typy, tvary, účinky a schopnosti, ktoré môže kandidát použiť.","research-forge.3fe459f958":"Nič nevyhovuje","research-forge.40100e1934":"Nedominovaní kandidáti","research-forge.4025ca409c":"Vlastnite svoj výkon","research-forge.408f0af557":"Derivačný graf od špecifikácie po vybraný dôkaz, s vnútornými krokmi metódy zapečatenými, ale prepojenými, a kratšia cesta, ktorú musí prehrávanie skutočne zreprodukovať","research-forge.40d33b38ad":"Nič z toho nie je dodatočná výhrada. Je to obsah výsledku, preto záznam umiestňuje priečku a jej rozsah na rovnaké miesto a preto žiadna kontrola nemôže jednu povýšiť.","research-forge.40f800b699":"Hranica patrí množine cieľov, ktorá ju vytvorila. Pridanie energie do paketu môže vrátiť kandidáta, ktorý bol predtým dominovaný, čo je vlastnosť otázky, nie zmena v žiadnom programe.","research-forge.4141bac3ca":"a nechajte program zmeniť sa","research-forge.418cdd48b7":"Pozorované prípady","research-forge.41978064b8":"Diskutujte o spolupráci","research-forge.41a3ff09e5":"Uveďte správanie","research-forge.4288fa85e0":"Čo je vyriešené a čo otvorené","research-forge.42c7f4ea4d":"Rámec sa nehýbe","research-forge.42e742546a":"a testované nie je dokázané","research-forge.43093ca0db":"Rozsah dôkazu, štrukturálna jednoduchosť, náklady na dôkazy","research-forge.435e8ecece":"jeden program málokedy vyhrá všetky štyri","research-forge.436fb3032c":"Záver","research-forge.437b348524":"Poradie, v akom sa stávajú","research-forge.437bcb1511":"Energia","research-forge.439f7b365e":"Výskumné dokumenty","research-forge.43d54e530d":"Zodpovedá zakódovaná požiadavka tomu, čo organizácia skutočne chce?","research-forge.43d8879a8c":"spojenie vykonania je to, čo spája dôkaz s tým, čo sa skutočne spustilo","research-forge.4412dd5d66":"Nemožné a nerozhodnuté sú hlásené, nie konvertované na kód.","research-forge.4475dded01":"Jedna implementácia","research-forge.44ab85a252":"Pôvod","research-forge.450d52d3ef":"Vyhľadávania","research-forge.4585404748":"kandidát, ktorý sa zastaví pri testovaní, je hlásený ako testovaný","research-forge.45aaefd6f4":"Štyri recenzie","research-forge.4646f9193d":"Dobre sformované nie je testované","research-forge.4651a34e4d":"Rozsah","research-forge.466fc49274":"Ponechať","research-forge.46ed5f573e":"Pozrite si výskum","research-forge.4719d38f14":"Niekoľko správaní spĺňa poskytnuté dôkazy a inde sa líšia.","research-forge.472643c4ca":"Jeden kandidát dominuje nad druhým iba vtedy, keď nie je horší v každom aktívnom cieli a lepší aspoň v jednom. Dominovaní kandidáti opúšťajú aktívnu hranicu. Tí, ktorí zostanú, sú všetci obhájiteľnými odpoveďami na rovnakú špecifikáciu a výber medzi nimi je rozhodnutie o politike, ktoré záznam uchováva, nie výpočet, ktorý vyhľadávanie vykonáva potichu.","research-forge.472bff45c9":"Jedna forma v rámci väčšieho priestoru rovnakého správania.","research-forge.473161067f":"Politika výberu","research-forge.47942077ae":"Najjednoduchší dôkaz","research-forge.47b74866d6":"Skontrolovať správnosť","research-forge.47bcc2a36a":"Niekedy dve veci, ktoré boli požadované, nemôžu byť obe pravdivé. Niekedy príklady umožňujú dve rôzne správania a neexistuje spôsob, ako zistiť, ktoré bolo myslené. Niekedy je problém jednoducho ťažší, než metóda dokáže vyriešiť v danom čase. Forge hlási každý z týchto prípadov ako to, čo je, a hovorí, čo by sa muselo zmeniť. Nejasný prípad zvyčajne potrebuje ešte jeden príklad, nie väčší rozpočet.","research-forge.47cda15a5a":"Kera: ako","research-forge.47da6f0838":"Komponovať","research-forge.48298eb992":"Vyhľadávanie môže nahradiť operácie, reštrukturalizovať tok dát, spájať oblasti, odstrániť pohyb a dospieť k implementácii, ktorú žiadny výskumník nemal na mysli. To všetko je povolené a väčšina z toho je podstatou.","research-forge.483bf2075c":"Publikované","research-forge.4901e146cd":"Porovnať náklady","research-forge.490d255908":"požiadavka zostáva stabilným objektom","research-forge.49df3ec7de":"Beží na viacerých podporovaných strojoch","research-forge.4a828b8ab7":"Výskum, Forge","research-forge.4ab1a4f190":"Kandidát, ktorý prišiel prvý, nemá v rozhodnutí žiadne postavenie okrem vlastných dôkazov.","research-forge.4aebc33326":"Štyri recenzie pred tvrdením","research-forge.4b01608cdc":"Vyhľadávanie nikdy neupravuje paket, aby zachránilo kandidáta.","research-forge.4b1960c2fb":"Systém pod tlakom na produkciu kódu bude produkovať kód. To mení nezodpovedanú otázku na program, ktorý teraz musí niekto udržiavať, a neistota nezmizne, presunie sa na miesto, ktoré je ťažšie vidieť.","research-forge.4bca6a7cdb":"Kde program začína","research-forge.4c175158a6":"Prepojený výsledok","research-forge.4c1e9313aa":"Jeden fond","research-forge.4c39a99d3d":"Päť priečok","research-forge.4c6bdedadc":"zdroj zostáva projekciou","research-forge.4cb3bb0fc4":"Najrýchlejší","research-forge.4d0ff72eb2":"Akú úroveň testovania alebo dôkazu musí výsledok dosiahnuť?","research-forge.4d6864f9a3":"Štyri hraničné voľby","research-forge.4d7f210eef":"Traja kandidáti kontrolovaní proti zoznamu prípadov, ktorý sa každým kolom rozrastie o jeden neúspešný vstup, pričom sa z neho nikdy nič neodstráni","research-forge.4db6c46b80":"každý systém číta ten istý objekt, nie jeho kópiu","research-forge.4e4bed5372":"Nikdy","research-forge.4e76f5796f":"Najštíhlejší","research-forge.4e90808185":"Štyri spôsoby, ako môže beh skončiť","research-forge.4e9a44aeb4":"Povedzte, čo sa má stať","research-forge.4ec9cc4f2f":"Overené objavovanie programov","research-forge.4f9c4e1fdb":"Prvý správny kandidát dokazuje, že problém je splniteľný. Môže byť aj veľký, pomalý, náročný na pamäť, ťažko overiteľný alebo viazaný na jedno prostredie. Forge ho považuje za dôkaz, nie za odpoveď, a pokračuje v hľadaní rodín, ku ktorým by sa iné správanie vyhľadávania dostalo ako prvé.","research-forge.4faae9b4e9":"sú rôzne tvrdenia","research-forge.4fe6240efb":"Zodpovedá cieľ vykonania sémantike, ktorá bola dokázaná?","research-forge.500d19ed3e":"Ďalší kandidát musí spĺňať silnejšiu množinu.","research-forge.505ddba0dc":"stroj hovorí, čo vie","research-forge.506f370762":"podmienkový odznak na hrane rozhoduje, či ju extrakcia môže použiť","research-forge.50e944749f":"WIDE","research-forge.50f771745f":"Či je to dobrá implementácia","research-forge.512f83ac42":"Traja kandidáti kontrolovaní proti rastúcej množine povinností, s protipríkladom, ktorý každého z nich ukončil, a dvoma legitímnymi reakciami na zlyhanie","research-forge.516f075235":"Štyri správne programy, štyri spôsoby, ako uprednostniť jeden","research-forge.5183317474":"Sloboda","research-forge.52550c8d07":"Záznam odpovedá na otázku prečo","research-forge.528d188e2a":"Požadovaná úroveň dôkazu","research-forge.52e68a873a":"Obmedzenia","research-forge.531e01782f":"Vyriešte konfliktné požiadavky, ktoré dôkaz identifikoval.","research-forge.536a08d31b":"FAST","research-forge.541a19b522":"Hranica je to, čo robí tvrdenie presným. Dôkaz grafu je dôkazom tohto grafu, takže prepojenie vykonania zaznamenáva graf, plán Kera, artefakt a identitu výsledku spolu, a nepredpokladá, že dôkaz cestoval s výstupom.","research-forge.546130711a":"Výskumný program Dweve","research-forge.54a351154f":"Minimalita je ohraničené tvrdenie. Platí pre operácie, typy a štruktúry, ktoré paket povolil, až do veľkosti, ktorú beh dosiahol. Nehovorí nič o jazyku, ktorý experiment nevyhlásil, a rozšírenie množiny operácií vytvára nový experiment s vlastnou odpoveďou.","research-forge.550d4ccba7":"Číselná rodina, poradie, stavový model a vonkajšie podmienky, ktoré beh predpokladá.","research-forge.551fea67e6":"Opis prichádza na prvom mieste a implementácia zostáva otvorenou otázkou čo najdlhšie.","research-forge.5521ea4314":"pridanie cieľa môže vrátiť dominovaného kandidáta, čo je fakt o otázke","research-forge.5549dc87d0":"Nie každá špecifikácia","research-forge.5601f89af7":"kandidát, ktorý jednoducho vyzerá správne","research-forge.563591cebc":"Ako rýchlo program dokončí prácu","research-forge.56abd17a41":"Keď sa nič nevráti","research-forge.577d56824d":"TRI ŤAHY","research-forge.58357eb5f1":"silnejšie tvrdenia si vyžadujú silnejšie dôkazy","research-forge.584e0ea86c":"vektor opisuje kompromis","research-forge.58c379fdea":"Minimálny rozmer","research-forge.59df8e27c4":"Zachovajte požiadavku","research-forge.5a0ba3bb83":"Zmluva","research-forge.5a2827f530":"Štyri kruhy","research-forge.5a314063cc":"ako slabý kandidát zostruje otázku","research-forge.5ab1aaea94":"NEJASNÉ","research-forge.5b1142d090":"Rozdelenie rozpočtu","research-forge.5b141d8cb7":"Overené podľa týchto pravidiel","research-forge.5b2a7fb11c":"Odkryť","research-forge.5b3facb840":"Štyri rodiny s rovnakou váhou a paket rozhoduje, ktoré sú aktívne.","research-forge.5b5d8a5af8":"Zaznamenajte konkrétny prípad a vlastnosť, ktorú porušil.","research-forge.5b6a58fb9f":"Lacné, pre vyhľadávanie","research-forge.5b78187e47":"nie správne v každom svete","research-forge.5b8955c7bc":"Nájdenie programu","research-forge.5b92885b2d":"Inžiniersky tím si môže vybrať člena s najnižšou latenciou. Regulovaný program si môže vybrať najčistejšiu cestu zabezpečenia. Nasadenie na zmiešanom hardvéri si môže vybrať najširšie pokrytie cieľa. Všetci traja si vyberajú z tej istej overenej množiny.","research-forge.5c1be9b227":"Tvrdenie je prehrateľné","research-forge.5c262f33db":"Končí","research-forge.5c46a60955":"Ako je práca rozdelená","research-forge.5c9d4874c3":"Ktoré vstupy a ktoré okolie tvrdenie pokrýva.","research-forge.5ce01f3b67":"Program publikuje to, čo jeho dôkazy podporujú, a svoju výskumnú metódu si necháva ako výskum.","research-forge.5dfcf1dcc0":"Jedna identita, tri zobrazenia","research-forge.5dfe750940":"Skúmateľné","research-forge.5e0d7f4f07":"Forge je výskumný projekt Dweve. Jeho interné portfólio vyhľadávania, implementácia formálneho uvažovania, transformačné znalosti, kalibrácia cieľov a orchestrácia sú súčasťou tohto výskumu. To, čo program publikuje, je otázka, protokol, výsledok a stav zabezpečenia, na úrovni zverejnenia, ktorú dôkazy podporujú. Spolupráca začína od ohraničenej syntéznej otázky. Sleduje sa päť tvrdení s ich stavom, tri sú vyriešené a dve stále otvorené, a otvorené sú na stránke, nie vynechané z účtu.","research-forge.5e22dbb195":"Tri dvojice","research-forge.5e3db9c4c0":"Refinácia riadená protipríkladom","research-forge.5eb51a7a2a":"Nasleduj dôkazy, nielen program, ktorý vyšiel.","research-forge.5eede4abda":"Najširšie pokrytie cieľa","research-forge.5f174de1cc":"Dôkaz","research-forge.5f20d0f3ac":"Neriešiteľné","research-forge.5f94916c54":"Pozri inštitucionálny prípad","research-forge.5faa59d4bc":"Výsledok","research-forge.5ff1729499":"predtým, než povieme ako","research-forge.603a007e8b":"a alternatívy sa uzatvárajú","research-forge.60508aeb3d":"Kam smerovať otázku","research-forge.60539e2c57":"Kde leží riziko","research-forge.6066a49124":"Tento vstup sa pripája k množine, ktorú musí spĺňať každý kandidát.","research-forge.60e5c23b14":"Typované","research-forge.616d1d1b2a":"Päť preferencií","research-forge.61792020d0":"Objektívna hranica","research-forge.61988aaea3":"Balík experimentu","research-forge.61a0ae3b84":"Obmedzenia","research-forge.61ad50a9b9":"Cieľ","research-forge.61c2d00a1e":"Formy špecifikácie","research-forge.61d0fdeb05":"Deklarované rozhranie, jeho typy a tvary.","research-forge.61e2187199":"Po prvom platnom programe","research-forge.625ba6f153":"FIT","research-forge.62c4bc1315":"Dve cesty z tej istej požiadavky","research-forge.6320f96544":"nech stroj nájde ako","research-forge.636f4e740e":"je zriedka celá odpoveď","research-forge.63ed4981dc":"Pareto","research-forge.63f0dfcfef":"Požiadavka rozdelená na klauzuly so štyrmi pruhmi, ktoré ukazujú, ktoré klauzuly viedli k neriešiteľnému, nejednoznačnému, neznámemu alebo mimo rozsahu výsledku, a akú akciu si každá vyžaduje","research-forge.64269f9bd2":"TIME","research-forge.647c656679":"Dvaja kandidáti sa môžu zhodovať ako text, zhodovať sa po normalizácii grafov, alebo spĺňať rovnaké pozorovateľné správanie podľa deklarovanej zmluvy. To sú tri rôzne tvrdenia a len posledné hovorí niečo o tom, čo program robí.","research-forge.649ed30fda":"Rozsah sa pohybuje s tvrdením. Dôkaz nad presnou celočíselnou sémantikou nepotvrdzuje správanie s pohyblivou rádovou čiarkou. Dôkaz čistej funkcie nepokrýva externú službu, ktorá nebola nikdy deklarovaná. Overený graf upravený po dôkaze je nový kandidát, ku ktorému ešte nie je pripojený žiadny dôkaz.","research-forge.64bcb871de":"Protipríklad môže odhaliť viac než chybu implementácie. Môže odhaliť vynechanú podmienku, okrajový prípad, o ktorom nikto nerozhodol, alebo dva výklady požiadavky, ktoré boli oba konzistentné s príkladmi. Záznam uvádza, ktorý z nich výskumník následne zmenil.","research-forge.64c0978f0e":"Otvorené a dôvod, prečo program existuje: ako veľkou sa môže užitočne stať overená oblasť grafu, ktoré formy špecifikácie sú presné pre stroj a použiteľné pre človeka, ako sa čiastkové dôkazy skladajú cez optimalizáciu a plánovanie a ktoré ciele potrebujú meranú hardvérovú spätnú väzbu.","research-forge.64d22c2e4e":"Forge fixuje výskumný problém skôr, než existuje akýkoľvek kandidát. Jeden balík pomenúva špecifikáciu, povolené operácie a typy, efekty a numerickú sémantiku, dimenzie cieľov, hranice vyhľadávania a úroveň záruky, ktorú musí výsledok dosiahnuť. Kandidáta možno posudzovať len proti problému, ktorý už bol stanovený, čo robí balík súčasťou správnosti, nie konfiguráciou okolo nej. Balík tiež hovorí, kedy prestať: hranicu zdrojov, prah záruky, ktorý musí kandidát dosiahnuť, a čo beh nahlási, keď nič nedosiahne.","research-forge.64f4056c85":"Politika viditeľná","research-forge.657c02a2ae":"Požiadavka zostáva pevná","research-forge.664243d1c2":"Formy špecifikácie proti tomu, čo každá z nich rieši","research-forge.66b4132999":"Diskutujte o otázke syntézy","research-forge.66c7af05f3":"Forge robí predpoklady kontrolovateľnými a ľudia ich stále vlastnia.","research-forge.66c95e7fc7":"Zapečatené","research-forge.66cd84bcef":"tvary prichádzajú a odchádzajú a rám v strede je po celý čas rovnaký","research-forge.6703a68b0c":"politika pomenúva člena","research-forge.6767e55d00":"Prvý platný","research-forge.681b5b5ae1":"Dostupnosť","research-forge.6848ce552e":"Výsledky","research-forge.68ad9d9693":"Čo zostáva pevné","research-forge.693f74e1e9":"Hranica medzi Forge a Kera","research-forge.6978e0d16d":"Žiadny program vôbec môže byť čestným výsledkom","research-forge.6989b87ddb":"Preto sa slučka len sprísňuje. Každé kolo začína všetkým, čo predchádzajúce kolá stanovili, plus novým prípadom, takže kandidát nikdy nemôže vyhrať zabudnutím na skoršie zlyhanie.","research-forge.699425d26b":"Prečítajte si metódu","research-forge.69da6fa492":"Príklady vysvetľujú","research-forge.6a33efdc4e":"Balík experimentu zostavený pole za poľom, s identitou, ktorá ho pomenúva, a dôsledkom zmeny ktoréhokoľvek poľa","research-forge.6a455d1ff6":"Pre každý podporovaný vstup zachovaj toto pravdivé.","research-forge.6a54f54941":"Vyhľadávanie odpovedá","research-forge.6aa0b7e952":"rôzne inštitúcie volia rôzne","research-forge.6ab0b8903c":"Numerický význam","research-forge.6b1716c3e5":"nikdy zhovievavejšie","research-forge.6b2284f302":"Bod kolena","research-forge.6b6ae4c323":"množina povinností len rastie","research-forge.6b6f62925d":"Niekedy protipríklad hovorí niečo o požiadavke, nie o programe. Dve pravidlá sa môžu ukázať ako protirečivé alebo sa okrajový prípad môže ukázať ako taký, o ktorom nikto v skutočnosti nerozhodol. To stojí za to vedieť včas.","research-forge.6b7b6dcbaa":"Jeden graf, štyri úlohy","research-forge.6bc457b374":"Nájdi kandidáta spĺňajúceho každý známy prípad.","research-forge.6bcf5a7776":"Hranica, nie jediné skóre","research-forge.6c4b5393b9":"a obmedzenia rozhodujú","research-forge.6c61bbcebe":"Overené","research-forge.6c82e6dd86":"Čas","research-forge.6c8dd48ed8":"Plán merania","research-forge.6c9b8325ab":"žiadna priečka sa nikdy neodvodzuje","research-forge.6c9c88fe2f":"Opis správania mení tento vzťah. Dáva vyhľadávaniu cieľ, ktorý musí zasiahnuť, spôsob, ako ho prichytiť pri chybe, a záznam o tom, proti ktorým prípadom bol výsledok vôbec kontrolovaný.","research-forge.6cc1fdfb05":"Testované, ohraničené a overené sú rôzne tvrdenia o tom istom programe.","research-forge.6cd40b6ae3":"Požiadavky začínajú ako želané správanie, obmedzenia a riziká. Vývoj ich pretaví do jednej architektúry a jednej implementácie a od tohto momentu je každá alternatíva projektom prepísania, migrácie alebo optimalizácie. Voľba bola pravdepodobne rozumná, keď sa urobila, a urobila sa skôr, než ju mohol ktokoľvek porovnať s možnosťami, ktoré vylúčila.","research-forge.6d058a6f22":"nie všeobecný sľub","research-forge.6d3a0e2f30":"Typy orezávajú ako prvé","research-forge.6d525b7156":"Vykonanie","research-forge.6d5ef04ce2":"dôkaz, ohraničenie alebo deklarovaný limit","research-forge.6d84ceaf60":"Extrahovať","research-forge.6db87cb08f":"Najrýchlejšie modelované","research-forge.6dfe9d2cfa":"Forge, obyčajný pohľad","research-forge.6e3f1d3672":"Štyri spôsoby vyjadrenia zámeru","research-forge.6ef75c79a0":"Prehratie nemusí reprodukovať každú prieskumnú vetvu. Musí reprodukovať dôkazy, na ktorých tvrdenie stojí: špecifikáciu, vybraného kandidáta, výsledok overenia a väzbu na vykonanie. Všetko ostatné je história vyhľadávania, nie dôkaz.","research-forge.70bcce6545":"Niekoľko ciest","research-forge.70cbd1d6b1":"Navrhované","research-forge.7173d0cb0f":"neznáme, nesplniteľné a nejednoznačné sú výsledky","research-forge.718eb2ad28":"Redukcia sily na posun","research-forge.71e541f178":"Test spúšťa program na vstupoch, ktoré si niekto vybral. Dôkaz uvažuje o každom vstupe, ktorý pokrýva napísaná špecifikácia. Oboje je užitočné a odpovedajú na rôzne otázky. Keď Forge povie, že kandidát je overený, veta má druhú polovicu: overený proti tejto vlastnosti, pre tieto vstupy, za týchto predpokladov. Päť častí musí cestovať spolu, aby táto veta niečo znamenala: presný program, ktorý sa kontroloval, vlastnosť, ktorá sa o ňom tvrdí, predpoklady, dôkazy a limity, ktoré výsledok nestanovuje.","research-forge.722e234a05":"Nájsť kandidátov","research-forge.72637278c6":"čo Forge odovzdáva","research-forge.729c82e196":"Jeden objekt prechádza celým životným cyklom, takže sa nič nemusí v každej fáze znovu odvodzovať z textu.","research-forge.72aeb780b2":"Kam vyhľadávanie pokračuje","research-forge.72e6f70d7c":"výsledok ukazuje späť na graf","research-forge.7305b76252":"silnejší dôkaz si zaslúži silnejší štítok","research-forge.73128a8f5b":"požiadavka je na prvom mieste","research-forge.734e643f73":"Štyri osi","research-forge.734ee26abf":"Mnoho rodín","research-forge.736500a024":"objavovanie a dôkaz","research-forge.73710d0053":"Štyri veci sa nemenia s výsledkom a sú dôvodom, prečo si výsledok môže prečítať niekto, kto vyhľadávanie nespustil.","research-forge.73e5abe068":"a metóda zostáva súkromná","research-forge.740141dd76":"Ohraničené kontroly a testy vlastností","research-forge.746a18b508":"Formátovanie, poradie operandov a normalizovaný graf. Dosť na to, aby sa vyhľadávanie nezamestnalo rovnakou prácou dvakrát.","research-forge.757b8815d3":"Jeden rámec","research-forge.75be5b7552":"Čo záznam zverejňuje","research-forge.75c9be68d0":"Zamietnuté","research-forge.75e6b42fc5":"Mimo rozsahu","research-forge.762b81621f":"Priečka, ktorú musí kandidát dosiahnuť, aby vstúpil do frontu.","research-forge.7701124587":"Dokázať, že v deklarovanom jazyku neexistuje žiadny menší správny program, je otázka, ktorú skúma výskumná tradícia superoptimalizácie. Toto ohraničené vyhľadávanie je inštanciou tejto otázky, ktorú Forge dokáže vykonať a skontrolovať.","research-forge.7777053d27":"Úmyselne sa mýliť","research-forge.77809a4225":"x86-64, RISC-V, WASM, Vulkan GPU","research-forge.779df62acf":"Štyri trvalé záväzky","research-forge.77e466696d":"Žiadny program v povolenom priestore to nedokáže. Zmeňte povolenie alebo požiadavku.","research-forge.77ed933da8":"Objektívny vektor a pozícia vo fronte","research-forge.7800ae62d5":"Nielen nesprávne","research-forge.78546ce4c3":"Požadovaný účinok nie je reprezentovaný overovacou zmluvou.","research-forge.79919ce9fd":"Účinky a schopnosti","research-forge.79b38792f6":"Štyri rodiny objektívov","research-forge.79b3e4bb6e":"Mnoho kandidátov","research-forge.7a36809fc6":"Forge skúma inú postupnosť. Ponechajte požiadavku explicitnú dlhšie. Nechajte súťažiť niekoľko implementácií v deklarovanom jazyku. Stanovte podporované behaviorálne tvrdenia pred výberom medzi kompromismi výkonu a nasadenia.","research-forge.7a67d7aba8":"Sú prostredie, účinky a numerické pravidlá reprezentované?","research-forge.7b2d03931b":"Konvenčné","research-forge.7ba8740951":"Ktorá politika vybrala jedného člena a kto za ňou stál","research-forge.7bec3a8510":"Zastaví sa na","research-forge.7c04a5cf0e":"Vektor nákladov vytvára front, čo je iný objekt ako poradie.","research-forge.7c1e14bb08":"neodstraňuje ľudský úsudok","research-forge.7c3f4fda21":"veľkosť 1","research-forge.7d448f8882":"Jeden fond kandidátov","research-forge.7d58a74832":"Kandidát môže prejsť všetkými príkladmi, ktoré mu boli ukázané, a stále môže byť nesprávny niekde, kde sa nikto nepozeral. Forge hľadá konkrétny vstup, ktorý odhalí rozdiel. Tento vstup je protipríklad, a akonáhle existuje, pripojí sa k trvalej množine prípadov, ktoré musí spĺňať každý neskorší kandidát. Cyklus za tým je krátky. Navrhne sa kandidát, je spochybnený nad rámec príkladov, ktoré dostal, jeden vstup odhalí nesprávne správanie a tento vstup sa ponechá. Potom sa hľadanie spustí znova proti väčšej množine. Končí sa dôkazom, ohraničením alebo stanoveným limitom, a nikdy nie kandidátom, ktorý jednoducho vyzerá správne. Z tejto množiny sa nikdy nič neodstráni, a preto tretí pokus znamená viac ako prvý.","research-forge.7d5f9141fc":"Meranie zostáva stanoviť","research-forge.7db1bb6632":"Odvodenie ako dôkaz","research-forge.7df7e32344":"odznak pomenúva len priečku","research-forge.7e2e54dae8":"Možno navrhnúť vyvážený bod kolena. Návrh sa zaznamená s normalizáciou, ktorá ho vytvorila, aby recenzent videl, že ide o politiku, nie aritmetickú nevyhnutnosť.","research-forge.7e309ec303":"Hypotéza výkonu, nie benchmarkovaná","research-forge.7e5a975b6a":"Identita","research-forge.7e826f7af3":"TRUST","research-forge.7ea014de7b":"Dôkaz","research-forge.7ea35b3515":"Ten istý objekt zastáva štyri úlohy bez zmeny kategórie. Počas hľadania je kandidátom, počas skúmania členom triedy ekvivalencie, subjektom, ktorý dôkaz pomenúva, a vstupom, proti ktorému Kera plánuje. Jedna identita nesie všetky štyri.","research-forge.7f2b6cf0fd":"Kandidát musí spĺňať doteraz zhromaždené dôkazy. Verifikátor potom prehľadáva podporovanú doménu a hľadá vstup alebo stav, kde kandidát porušuje úplnú špecifikáciu. Akýkoľvek protipríklad, ktorý nájde, sa pripojí k množine dôkazov ako trvalá povinnosť, takže ďalší kandidát musí spĺňať všetko, čo spĺňali predchádzajúce, aj nový prípad. Slučka sa len sprísňuje. Zastaví sa na dôkaze, ohraničení alebo deklarovanom limite a nikdy sa nezastaví na kandidátovi, ktorý len vyzerá presvedčivo. Pridanie predpokladu je povolené, ale otvára novú identitu špecifikácie, nie upravuje starú.","research-forge.7f59a1f1d5":"Rozhodnutie","research-forge.7f5e7b5182":"Štyri inštitucionálne akcie","research-forge.7f87260e69":"Napísané dopredu, čítané dozadu","research-forge.7fc3a8b99e":"Výskumný dizajn kombinuje DSL nad typovanými výrazmi s enumeratívnym, CEGIS, genetickým programovaním a MCTS vyhľadávaním, e-graph saturáciou rovností, meraním založeným na Cranelift a kontrolami ohraničených povinností pomocou Z3/CVC5. Multiobjektívne vyhľadávanie zvažuje latenciu, počet operácií, pamäť a tlak na registre; generovanie cieľového kódu zahŕňa x86-64, RISC-V, WASM, Vulkan GPU a Verilog. Počty úloh a testov, zrýchlenia naprieč hostiteľmi a produkčný výkon zostávajú validačnou prácou.","research-forge.7fda8c3a33":"Traja kandidáti, tri čestné označenia","research-forge.7fdf663e3a":"Hypotéza výkonu, nie benchmarkovaná","research-forge.7fef09721e":"Dweve Forge, overené objavovanie programov","research-forge.80302bf5ea":"Ohraničené kontroly a vyhľadávanie","research-forge.80446347ed":"Formulár","research-forge.80d70e543d":"Hranica a výber","research-forge.814de3b8b2":"Štyria členovia hranice","research-forge.8179013356":"Prevádzka, pracovná množina, prenosy a lokalita","research-forge.81eccd6085":"Štyri dôvody na mlčanie","research-forge.81f08b5724":"dlho po tom, čo ľudia odídu","research-forge.8208f3f27b":"Poradie","research-forge.82319c5d9e":"Aplikovanie transformácií v sekvencii spôsobí skorú voľbu, ktorá môže vylúčiť neskoršie zlepšenie. Forge študuje kompaktné reprezentácie, ktoré držia mnoho ekvivalentných foriem naraz, takže niekoľko ciest transformácie koexistuje až do extrakcie. Reprezentovať mnoho prepisov spolu namiesto záväzku k jednému poradiu je prístup, ktorý výskumná literatúra nazýva saturácia rovností.","research-forge.8252f95ddf":"zmena jedného uzla v overenom grafe vráti kandidáta do dobre formovaného stavu","research-forge.825d89212b":"Znalosť transformácií","research-forge.8283b9d96c":"Žiadne poradie fáz","research-forge.82c24c3687":"Program môže meniť tvar, ale to, čo musí spĺňať, nie.","research-forge.8301a503f4":"Nesúhlas medzi dvoma platnými čítaniami sa zobrazí ako otázka, nie je vyriešený vyhľadávaním.","research-forge.8368699cf6":"Mnoho možných programov","research-forge.8375a2c337":"Tri pokusy, jeden rastúci zoznam prípadov","research-forge.837b910e11":"kým politika nevyberie jeden","research-forge.83908aa381":"Typ, tvar, reprezentácia a numerická zmluva, ktorá ich riadi.","research-forge.83ea53e5ec":"Mnoho rovnakých foriem, tri stoja za extrakciu","research-forge.8597c90c68":"Výskumné testy (rozsah)","research-forge.864c38bd34":"Tam, kde meranie neexistuje, bunka zostáva prázdna. Prázdna bunka je vyhlásenie o dôkazoch a jej vyplnenie výstupom modelu by ticho zmenilo odhad na výsledok.","research-forge.8682d73e62":"Program","research-forge.869cb36316":"Jeden navrhovaný implementačný kód pripnutej špecifikácie.","research-forge.8703ca90ce":"Vlastníctvo, pamäťový priestor a cieľové obmedzenia, ktoré sa uplatňujú.","research-forge.870d4e66fc":"záznam pomenúva rozsah","research-forge.87805aff07":"Žiadny program vôbec","research-forge.879bb91dae":"ani jedna strana neabsorbuje tvrdenie tej druhej","research-forge.87d0c490e0":"Rozmerové náklady, ktoré tento experiment porovnáva, zvolené pred meraním akéhokoľvek kandidáta.","research-forge.88306943fe":"Metóda","research-forge.8831be6339":"Keď sa neobjaví žiadny program","research-forge.887b3d18f0":"Forge vlastní špecifikáciu, vyhľadávanie kandidátov, skúmanie ekvivalencie, objektívnu hranicu a verifikáciu. Kera je grafovo natívny systémový jazyk Dweve a základ Direct Computation a vlastní plánovanie, znižovanie, emisiu špecifickú pre cieľ a vykonávanie. Medzi nimi prechádza overený sémantický graf so svojimi povinnosťami, objektívnym profilom a dôkazmi. Graf je pomenovaný, nie zdroj, a výsledok, ktorý sa vráti, ukazuje na rovnakú identitu.","research-forge.887cf267e6":"Unsat","research-forge.888797190c":"jedno správanie, niekoľko implementácií","research-forge.888e561892":"Štyri spôsoby, ako požiadať o lepšie","research-forge.892257a43b":"Dôkaz môže byť správny","research-forge.89404ea15f":"Formálna požiadavka","research-forge.894f8a793c":"Použite silnejšiu teóriu, širší jazyk alebo väčší rozpočet.","research-forge.897b3ac98d":"Codegen","research-forge.89b86ab0e6":"Jazyk","research-forge.89c7caf6b5":"Ktoré kroky robia prácu","research-forge.89c8a2851d":"Pamäť","research-forge.89f5343231":"Trvalá stopa rozhodnutí","research-forge.8a102fcb06":"Ohraničené úplné vyhľadávanie","research-forge.8a9523ae04":"Čo nesie kandidátny uzol","research-forge.8ab2c84ed7":"Jedna architektúra","research-forge.8b2d50590f":"Formálny dôkaz pokrýva špecifikáciu a sémantiku, ktorá bola zakódovaná. Ak sa vynechala podmienka prostredia alebo numerický model nezodpovedá stroju, výsledok je platný a odpovedá na trochu inú otázku.","research-forge.8b593995c8":"Predpoklady","research-forge.8b7acd8daf":"Na hranicu sa nič nedostane so silnejším označením záruky, než aké podporujú dôkazy.","research-forge.8bafd39dbd":"Zámerná hranica produktu","research-forge.8c0dc9aa18":"Predpoklady, následné podmienky a záruka, ktorú musí výsledok dosiahnuť.","research-forge.8c1cf9e158":"Príklady, logické podmienky, náčrty a referenčné správanie, každé zaznamenané so silou, ktorú nesie.","research-forge.8cb71202e7":"Niekoľko správaní vyhovuje príkladom. Jeden ďalší prípad to rozhodne.","research-forge.8d9c9bb663":"Dva záznamy, jeden graf","research-forge.8daee0af31":"Konvenčná cesta zužujúca sa na jednu kódovú základňu a znovuotvárajúca sa ako projekty prepisu, popri výskumnej ceste, ktorá si drží vejár overených kandidátov, až kým politika nevyberie jedného","research-forge.8db9aab917":"ako silno bolo skontrolované","research-forge.8dce170de2":"Hodnota","research-forge.8dd2a359fe":"LEAN","research-forge.8df2bb4b75":"Úroveň záruky, ktorú musí kandidát dosiahnuť, hranica vyhľadávania a čo nahlásiť, keď ju nič nedosiahne.","research-forge.8e2717f3c6":"Kandidát, ktorý nemohol byť legálny, sa nikdy nepostaví, takže hranica obsahuje len dobre sformované programy.","research-forge.8e34678d0d":"nelegálni kandidáti nikdy nevstúpia do fondu","research-forge.8e3934fad2":"Štyri karty politiky vyberajúce rôznych členov jednej hranice, každá vytvára úplný rozhodovací záznam s dôvodmi dominancie pre členov, ktorých nevybrala","research-forge.8e50172772":"Nezávislá kontrola je samostatná priečka, pretože kladie inú otázku. Nie či bol dôkaz vytvorený, ale či kontrolór, ktorý ho nevytvoril, súhlasí, pričom používa len dôkazy dodané s kandidátom.","research-forge.8e84017c75":"Odkaz je na konkrétny program. Zmeňte v ňom jeden krok a dôkaz už neopisuje to, čo držíte, takže označenie sa vráti na obyčajné štrukturálne, kým sa kontrola nevykoná znova.","research-forge.9032517861":"Päť tvrdení, päť stavov","research-forge.908b29b50b":"každá priečka potrebuje iný druh dôkazov","research-forge.90e40d5043":"Začať","research-forge.919003799d":"Testované","research-forge.91ad20c2db":"Dva plány","research-forge.91c0ae2087":"presný zámer znižuje riziko implementácie","research-forge.91cf399266":"môže byť skutočná odpoveď","research-forge.9225f51a2a":"Protipríklad","research-forge.9233f41df0":"Tri ciele","research-forge.9297ab4ca3":"Prečítať príbeh","research-forge.929818c51d":"Najväčšia pamäťová stopa","research-forge.929a9f0f25":"Prvý, ktorý funguje","research-forge.92a7058e4e":"Diskutovať o inštitucionálnej spolupráci","research-forge.92f5fe6952":"Štyri výsledky","research-forge.936c25084e":"Referenčné správanie","research-forge.9388f4158d":"vyvážená možnosť je voľba ako ostatné a hovorí to","research-forge.93c09204c0":"Mierne na oboch nákladoch","research-forge.93c2975761":"Sledovať vyhľadávanie","research-forge.93f79d808f":"Odráža vybraný člen hranice stanovenú prioritu?","research-forge.942587e61e":"Projektový list","research-forge.9477d7acdd":"Požiadať o partnerský prístup","research-forge.94822e9dc6":"Kováč, inštitucionálny pohľad","research-forge.94827e8438":"Prečítať články","research-forge.94859cf20a":"Zapečatené a otvorené","research-forge.948c81b996":"Niekoľko overených ciest vpred","research-forge.94cc86c489":"jeden zmenený krok a odznak pomenúva program, ktorý už nedržíte","research-forge.94ed3b0134":"od zámeru k vybranému programu","research-forge.950dfeeb8b":"Zámer sa stáva kódom","research-forge.9550373e8b":"Zmerané","research-forge.95eaeda430":"Ako veľká sa môže užitočne stať overená oblasť grafu.","research-forge.9678c4f1e3":"jedna identita prekračuje hranicu","research-forge.96aff7c058":"Jedna slučka protipríkladov","research-forge.96b9633285":"Čo môže vyhľadávanie zmeniť","research-forge.973c3f46d7":"V rozsahu","research-forge.978aa6569a":"Skončí skôr","research-forge.97c89a4d66":"Akcia","research-forge.97ee6e5610":"Navrhnúť","research-forge.992bc34385":"Čistá špecifikácia nemôže po ceste získať prístup k súborom alebo sieti. Zmluva s pevnou šírkou celého čísla sa nemôže potichu stať neobmedzeným matematickým celým číslom. Reprezentácia s mierkou si zachováva svoju mierku a náčrt bezpečný pre pamäť nemôže byť dokončený s neskontrolovaným aliasom.","research-forge.99508624d6":"Žiadny program nemôže byť","research-forge.996c4a8976":"má v sebe program","research-forge.99dc6bab08":"Dvaja kandidáti spĺňajúci rovnakú množinu príkladov a rozchádzajúci sa na vstupe, ktorý nikto nedodal, s tromi spôsobmi, ako to zainteresovaná strana môže vyriešiť","research-forge.9a24005705":"Jeden úplný search podľa veľkosti","research-forge.9a469ce88c":"Betón","research-forge.9a4ce5f246":"voľba musí byť vyjadrená","research-forge.9ae33a7d0e":"Vlastnosť","research-forge.9b7bd11153":"Overený graf pretínajúci tvrdú hranicu do Kery, naplánovaný dvoma rôznymi spôsobmi, pričom oba výsledky sú prepojené späť na rovnakú identitu grafu","research-forge.9c25db95cc":"Kandidát A","research-forge.9c86ef6b28":"Skúma kandidátske implementácie pod deklarovanou zmluvou","research-forge.9cbe42aaff":"Naplánované","research-forge.9cfcf5930d":"Latencia, pohyb, nasadenie a dôkazové zaťaženie nie sú prvým výsledkom dotknuté.","research-forge.9d68007b07":"Program","research-forge.9dba232302":"Správanie, ktoré bolo požadované","research-forge.9dc6ec542b":"nie je to isté ako jeho spustenie","research-forge.9dd59ab994":"Porovnáva","research-forge.9df0f32743":"Registre, paralelizmus, limity zariadení, prenositeľnosť","research-forge.9e811eeaf8":"Po správnosti","research-forge.9ee018232e":"Do kandidáta nevstúpi nič, čo paket nepovolil.","research-forge.9f36fa8055":"Zachovaj tento tvar a nájdi chýbajúcu časť.","research-forge.9f78c690af":"z rôznych dôvodov","research-forge.9fea6de725":"Formálny","research-forge.9ff7951f81":"Overený odznak rozložený na päť častí, znova zobrazený vedľa toho istého programu po zmene jedného kroku, pričom prepojenie medzi nimi sa prerušilo","research-forge.a0a9a568c3":"Kandidáti, ktorí zostali platní, a tí, ktorých ukončil protipríklad","research-forge.a0c9c40551":"program mení tvar","research-forge.a10a7ad63a":"Čo paket opravuje","research-forge.a266f0a07d":"Preskúmaj kandidátske jadrá","research-forge.a2e1cc1b2f":"Môže sa zmeniť","research-forge.a2f4a96337":"Kompromis","research-forge.a32a41c9d1":"žiadny program, s dôvodom","research-forge.a336e6650d":"Dvaja kandidáti, dva čestné body zastavenia","research-forge.a3c143732a":"problém je opravený pred hľadaním","research-forge.a3c686e711":"Kategória","research-forge.a4508fc8ef":"Sémantický vzťah","research-forge.a48f8c0cf7":"Päť programov, jedna špecifikácia","research-forge.a4c745386f":"Štyri politiky","research-forge.a57b5d2330":"Hľadanie sa môže zmeniť","research-forge.a6067adc3c":"latencia, prevádzka, pamäť, registre","research-forge.a618b4be8d":"Dopyt","research-forge.a61c938f35":"Hľadanie navrhuje","research-forge.a723285355":"Modelované","research-forge.a79764b5e5":"Niekoľko správnych programov, každý s vlastným dôkazom","research-forge.a7987d27ae":"Vzdá sa jedného prepísania","research-forge.a898f4eb0d":"Je to rovnaká voľba, akú robí každý pri trase cez mesto. Najrýchlejšia, najlacnejšia a tá s menším počtom zmien sú všetky rozumné. Čo rozumné nie je, je tvrdiť, že existuje len jedna odpoveď, bez toho, aby ste povedali, čo ste optimalizovali.","research-forge.a8b262d32b":"Pýtať sa modelu na kód a dostať niečo, čo vyzerá správne, je iné cvičenie. Nie je nič, čo by odpoveď musela spĺňať, takže nie je nič, proti čomu by mohla zlyhať, a čitateľ musí dodať všetok úsudok.","research-forge.a8e5c0ccf3":"Graf, ktorý výsledok overenia skutočne pomenúva.","research-forge.a91bcce893":"Vždy","research-forge.a94848cbdb":"Do tohto kroku sa dostanú len kandidáti, ktorí prešli bránou.","research-forge.a9d6afeda0":"späť na návrh","research-forge.a9f1693ebe":"Každý člen spĺňa deklarovanú zmluvu, takže jedinou zostávajúcou otázkou je, ktoré náklady prijmete.","research-forge.aa1a2e191d":"UVEDENÉ NA PRVOM MIESTE","research-forge.aa2b80d828":"Hranica","research-forge.aa62568659":"Povedať, čo nie je známe, je užitočnejšie ako vyplniť medzeru niečím, čo sa dobre číta.","research-forge.aa6708d51a":"Bol dokázaný podporovaný univerzálny vzťah.","research-forge.aa88ef980e":"Ktoré podporované prostredia ho môžu spustiť","research-forge.aa9002c223":"Odznak, otvorený","research-forge.aab9ca1bc6":"V triede","research-forge.ab89d05c4b":"Umiestnenie","research-forge.ab98f5b857":"Pevné","research-forge.ab9a4aae0b":"Najmenší pohyb","research-forge.aba86cd010":"Politika vyberá","research-forge.abc0c09f1f":"Stroj môže zmeniť, ktoré kroky vykonávajú prácu, v akom poradí sa dejú a ktoré medzihodnoty vôbec existujú. Dva programy, ktoré nezdieľajú žiadne z týchto vecí, môžu stále robiť tú istú prácu a hľadanie môže uprednostniť ktorýkoľvek z nich.","research-forge.ac30f0abf3":"Ak to zmení to, čo program produkuje, nie je to zlepšenie tohto programu. Správnosť je to, čo kandidátovi získa miesto v diskusii o nákladoch.","research-forge.acc3156c5b":"Spustiť odkaz","research-forge.ad2cecac38":"Text a štruktúra","research-forge.ad44adccc4":"dôkaz posilňuje presné tvrdenie","research-forge.ad59e3b102":"Najširší","research-forge.adfc01e921":"Kandidáta možno posudzovať len voči problému, ktorý už bol formulovaný.","research-forge.adfccdc8de":"Forge: čo","research-forge.ae2fee1a70":"Zostavuj len typovo správne väčšie výrazy.","research-forge.aeb1c76446":"Štyri kruhy, jedno pravidlo publikovania","research-forge.aebc2854f4":"Numerický","research-forge.aeedafb2fe":"zlyhanie sa stáva trvalým záväzkom","research-forge.af3cc2e010":"program, nie cieľ","research-forge.af68d81f17":"Správanie a obmedzenia, ktoré definovali úspech.","research-forge.af78a00855":"Ako priamo možno skontrolovať jeho správanie","research-forge.afbab5dc80":"prvý nájdený kandidát si zachováva miesto v histórii a opúšťa hranicu","research-forge.aff55d9c0e":"Nahlás najmenší overený kandidát a jeho hranicu.","research-forge.b0339e3e63":"Synthesis, Cranelift a","research-forge.b048046ec8":"Kandidát s najnižšou latenciou môže držať väčšiu pracovnú množinu. Najprenosnejší môže byť na vašom stroji pomalší. Ten s najjednoduchším dôkazom sa môže vzdať agresívneho prepísania. Dá sa navrhnúť vyvážený bod kolena a návrh sa zaznamená ako politika s jej normalizáciou.","research-forge.b06be2ecea":"Preto Forge publikuje predpoklady vedľa tvrdenia a preto má recenzia menovaných vlastníkov. Špecifikácia, model a cieľ vykonávania sú tri samostatné podpisy.","research-forge.b0811e470d":"Kompromis","research-forge.b0a205ebad":"Začni od povolených vstupov a konštánt.","research-forge.b0b01215a0":"Kandidát D","research-forge.b116105199":"Štyri otázky na vyriešenie","research-forge.b1d348384e":"Viac ako jeden druh lepšieho","research-forge.b23977841c":"Protipríklady","research-forge.b26aa65383":"Čo pokrýva slovo overené","research-forge.b2bc0c005f":"Skontrolované","research-forge.b30077250b":"vykonaj commit skoro alebo zachovaj alternatívy","research-forge.b307b88c84":"Prenosnosť","research-forge.b3776d63ad":"Backendy","research-forge.b39a168c1e":"Paket sa zapíše raz a každý výsledok na tejto stránke odkazuje na verziu, ktorá ho vytvorila.","research-forge.b3c0c45a3e":"Forge oddeľuje štrukturálnu platnosť, konkrétne testovanie, ohraničené vyčerpávajúce overovanie, formálne overenie, nezávislé overenie a prepojenie s vykonávaním. Kandidát postúpi len vtedy, keď existuje dôkaz pre ďalšiu priečku, a dosiahnutá priečka je súčasťou výsledku, nie ozdobou na ňom. Rýchle vyhľadávanie môže držať testovaných kandidátov, kým sa ešte získava dôkaz. Nezávislé overenie stojí na vlastnej priečke, pretože sa pýta, či overovač, ktorý dôkaz nevytvoril, s ním súhlasí.","research-forge.b45b598d0c":"Jedna identita grafu spája špecifikáciu, dôkaz, plán a výsledok, ktorý sa vrátil.","research-forge.b462217ad5":"Jeden vstup ukazuje, že správanie je nesprávne.","research-forge.b4dad06170":"Technické špecifikácie","research-forge.b51ba796f2":"Začína od","research-forge.b5338782b3":"Rozmery, podľa ktorých sa kandidát hodnotí, modeluje alebo meria","research-forge.b568d47f2e":"Vstup","research-forge.b5b0a8f813":"Sústredné vrstvy od verejnej výskumnej otázky cez reprodukovateľný protokol a zverejnený výsledok až po chránenú internú metódu","research-forge.b6272cdaf7":"Forge zaznamenáva identitu špecifikácie, relevantný rodokmeň kandidáta, protipríklady, použité vzťahy ekvivalencie, objektívne hodnoty, prechody zabezpečenia a politiku výberu. Tento reťazec vysvetľuje, prečo vybraný program existuje a ktoré alternatívy nahradil, a stačí na to, aby niekto iný rekonštruoval tvrdenie. Prehratie nemusí opakovať každú prieskumnú vetvu, iba dôkaz, na ktorom tvrdenie stojí.","research-forge.b638127a16":"Ohraničene úplné","research-forge.b66b54c1d8":"Kandidát ako objekt","research-forge.b6d2f4c9e8":"vyhľadávanie nemôže rozšíriť typový systém","research-forge.b70446abdf":"Požiadavky môžu byť v konflikte. Sada príkladov môže pripustiť nekompatibilné správania. Požadovaná záruka môže ležať mimo sémantiky, ktorú predstavuje overovacia zmluva. Vyhľadávanie môže splniť svoj deklarovaný limit bez záveru. Forge hlási každý z týchto prípadov oddelene, pretože si vyžadujú štyri rôzne reakcie a stoja štyri rôzne sumy na ich riešenie. Konfliktné klauzuly sa zosúlaďujú, konkurenčné správania sa oddeľujú ďalšími dôkazmi, neuzavreté vyhľadávanie sa rozširuje a záruka mimo zmluvy sa zaznamenáva ako tá, ktorú nemožno odôvodniť tak, ako je formulovaná.","research-forge.b71f6e67ce":"Preskúmaj jedno rozhodnutie o implementácii","research-forge.b74c664479":"Stavy zabezpečenia","research-forge.b78c6b0e99":"prejsť príklady a splniť podmienku nie je to isté tvrdenie","research-forge.b82b9b1043":"formy sa kombinujú zámerne","research-forge.b895ceb6b1":"neodpoveď zabraňuje falošnej dôvere","research-forge.b8f5629ab6":"stĺpec povinností sa medzi iteráciami nikdy nezmenšuje","research-forge.b97a1099a3":"Strojovo kontrolovateľné","research-forge.b9b15e5f94":"Tri spisy","research-forge.ba25b214d8":"každý žiada niečo iné","research-forge.ba3fef96ae":"Dôkaz v piatich častiach","research-forge.babfc32160":"Aspoň jedno správanie spĺňa všetky klauzuly naraz.","research-forge.bac127c5b7":"Nedominované","research-forge.bb11a8e3f8":"Pravidlá","research-forge.bb2fe63e5a":"INPUT","research-forge.bb54db510a":"Prijať","research-forge.bb9cf14180":"Politika","research-forge.bb9d653f4e":"Výzva","research-forge.bbddd6ecdf":"Ktoré medzihodnoty existujú","research-forge.bc0b16aa7f":"Štyri overené programy prehodnotené podľa vlastnosti, ktorú požadujete, pričom vyvážená možnosť je zobrazená ako preferencia rovnako ako ostatné","research-forge.bc6b9b38a3":"Kroky, ktoré patria do výskumnej metódy Dweve, sa zobrazujú ako zapečatené uzly s publikovanými vstupmi, výstupmi a identitou. Inštitucionálna transparentnosť a výskumná dôvernosť sú spracované ako dve vlastnosti jedného reťazca, nie ako protiklady.","research-forge.bc7819b34f":"Neznáme","research-forge.bcd3b8580e":"objekt nikdy nezmení kategóriu","research-forge.bce0641417":"Hľadať","research-forge.bd163f2c2d":"Každý vzťah nesie svoje vedľajšie podmienky. Algebraická reštrukturalizácia, redukcia sily, vektorizácia, fúzia, zmena rozloženia a eliminácia pohybu sú legálne len vtedy, keď v tomto experimente platia aritmetické, šírkové, zaokrúhľovacie, efektové a poriadkové podmienky.","research-forge.bd5d4d39fa":"Hovorí","research-forge.bda89bbff3":"Zmena príkladu, rozšírenie typu, povolenie efektu alebo uvoľnenie numerickej tolerancie vytvára iný výskumný problém s inou identitou. Predchádzajúci beh zostáva v zázname pod vlastným paketom, takže dva výsledky sa nikdy nečítajú ako odpovede na rovnakú otázku.","research-forge.bdfebc22bf":"Objektívny vektor","research-forge.be601df25e":"Výskum","research-forge.beb1ed4753":"verejné dôkazy popri chránenej metóde","research-forge.bef833878c":"zoznam prípadov sa medzi kolami nikdy neskracuje","research-forge.bf55421b4a":"Požadované správanie nie je niečo, čo kontrola pokrýva.","research-forge.bff5c4dd05":"Vyžadovať","research-forge.business.actionCase":"Pozrite si inštitucionálny prípad","research-forge.business.actionCooperate":"Diskutovať o výskumnej spolupráci","research-forge.business.banner.body1":"Dokazuje, že existuje jedna cesta.","research-forge.business.banner.body2":"Nedokazuje, že cesta je najrýchlejšia, najmenšia, najprenosnejšia, najľahšie auditovateľná alebo najvhodnejšia pre inštitúciu, ktorá ju musí prevádzkovať.","research-forge.business.banner.eyebrow":"Problém dizajnového priestoru","research-forge.business.banner.firstDetail":"Vyhľadávanie zistilo, že existuje povolený kandidát.","research-forge.business.banner.firstLabel":"Jedna vyhovujúca cesta","research-forge.business.banner.firstStatus":"Platné v rozsahu","research-forge.business.banner.footer":"Dweve Forge, objavovanie overených programov","research-forge.business.banner.frontierDetail":"Niekoľko správnych programov zostáva pre rôzne objektívne profily.","research-forge.business.banner.frontierLabel":"Nedominované alternatívy","research-forge.business.banner.frontierStatus":"Viditeľné","research-forge.business.banner.headline":"Správnosť je začiatok","research-forge.business.banner.headlineAccent":"nie konečná odpoveď","research-forge.business.banner.instrument":"Po správnosti","research-forge.business.banner.leftLabel":"Prvý platný kandidát","research-forge.business.banner.limitDetail":"Prvý výsledok nehovorí nič o blízkych kompromisoch.","research-forge.business.banner.limitLabel":"Žiadne univerzálne optimum","research-forge.business.banner.limitStatus":"Pokračovať v hľadaní","research-forge.business.banner.policyDetail":"Inštitúcia uvádza, ktorý kompromis formoval voľbu.","research-forge.business.banner.policyLabel":"Zaznamenaná politika výberu","research-forge.business.banner.policyStatus":"Preskúmateľné","research-forge.business.banner.rightLabel":"Rozhodovacia hranica","research-forge.business.banner.tag":"Porovnať","research-forge.business.banner.verdict":"Ponechajte alternatívy, kým nebude politika explicitná.","research-forge.business.banner.verdictLabel":"Rozhodovacie pravidlo","research-forge.business.close.body":"Prineste doménový zámer, formálne metódy, meranie hardvéru alebo nezávislý prehľad. Forge poskytuje zdieľaný výskumný objekt na porovnávanie objavovania programov, dôkazov a vykonávania.","research-forge.business.close.label":"Dweve Forge, výskumná spolupráca","research-forge.business.close.primary":"Diskutovať o inštitucionálnej spolupráci","research-forge.business.close.secondary":"Preskúmať zmluvu o dôkazoch","research-forge.business.close.title":"Napadnite jedno rozhodnutie.","research-forge.business.eyebrow":"Dweve Forge, objavovanie overených programov","research-forge.business.lede":"Dweve Forge je výskumný projekt, ktorý mení príklady, obmedzenia a čiastočné špecifikácie na kontrolované vyhľadávanie platných programov, porovnáva nedominované alternatívy a zachováva dôkazy podporujúce vybraný výsledok. Špecifikácia zostáva trvalým aktívom, zatiaľ čo implementačné voľby zostávajú otvorené dlhšie.","research-forge.business.titleAccent":"kým nerozhodne dôkaz","research-forge.business.titleLead":"Držte zámer otvorený","research-forge.businessGlyph.ambiguous":"Správanie je stále nejednoznačné","research-forge.businessGlyph.assurance":"Uistenie pomenované","research-forge.businessGlyph.boundary":"Výskumný program, nie softvérová ponuka","research-forge.businessGlyph.candidateA":"Kandidát A","research-forge.businessGlyph.candidateB":"Kandidát B","research-forge.businessGlyph.candidateC":"Kandidát C","research-forge.businessGlyph.candidateD":"Kandidát D","research-forge.businessGlyph.counterexample":"Našiel sa protipríklad","research-forge.businessGlyph.execution":"Plán a výsledok prepojené","research-forge.businessGlyph.fixed":"Pevné","research-forge.businessGlyph.kera":"Vykonávanie Kera","research-forge.businessGlyph.lowLatency":"Najnižšia latencia","research-forge.businessGlyph.lowMovement":"Najmenší pohyb","research-forge.businessGlyph.policy":"Politika výberu","research-forge.businessGlyph.portability":"Najširšia prenositeľnosť","research-forge.businessGlyph.research":"Výskum","research-forge.businessGlyph.selected":"Vybraný graf","research-forge.businessGlyph.simpleProof":"Najjednoduchší dôkaz","research-forge.businessGlyph.spec":"Správanie, hranice a politika záruk","research-forge.businessGlyph.specFixed":"Špecifikácia pevná","research-forge.businessGlyph.specLabel":"Nemenná špecifikácia","research-forge.businessGlyph.subtitle":"Overené alternatívy pred vykonaním","research-forge.businessGlyph.title":"Rozhodovací hárok špecifikácie","research-forge.businessGlyph.tradeoffs":"Kompromisy viditeľné","research-forge.businessGlyph.visible":"Viditeľné","research-forge.businessHero.titleMiddle":"lepšie","research-forge.businessHero.titleSuffix":"softvér","research-forge.c00cde6a62":"Konečná deklarovaná doména bola pokrytá bez zlyhania.","research-forge.c023fe51a2":"Forge je dostupný prostredníctvom výskumného partnerského programu Dweve. Otestujte ohraničené otázky programovej syntézy a dohodnite podmienky hodnotenia pred prístupom. Výsledky zostávajú výskumným dôkazom, nie prísľubom produktu.","research-forge.c040f6e04f":"hranica je uvedená s výsledkom","research-forge.c0caf528d8":"Multiobjektívne náklady","research-forge.c10a6d0899":"Protichodné požiadavky zistené počas implementácie sa stanú oneskorením a prepracovaním. Nejednoznačnosť zistená po nasadení sa stane nekonzistentným správaním, ktoré musí niekto zosúladiť. Nájsť ktorúkoľvek z nich predtým, ako implementácia existuje, je najlacnejšie miesto na jej nájdenie.","research-forge.c12f928235":"Odovzdanie grafu","research-forge.c144b00ba8":"Latencia, priepustnosť a kritická cesta","research-forge.c174fa3158":"Hranica sa nehýbe, keď sa hýbe politika","research-forge.c1929c45f3":"Vyhľadávanie môže dokázať, že nič v deklarovanom jazyku nespĺňa požiadavku, môže zlyhať pri rozhodovaní otázky v rámci svojich teoretických a zdrojových limitov, alebo môže zistiť, že poskytnuté dôkazy pripúšťajú niekoľko nezlučiteľných správaní.","research-forge.c1fcd5ecff":"Mohlo by to byť rýchlejšie. Mohlo by to byť menšie. Mohlo by to byť najúhľadnejšie, čo ktokoľvek na tento problém vymyslel.","research-forge.c20d749a05":"KOMPROMISY VIDITEĽNÉ","research-forge.c2184a31d3":"Požiadavka je vec, ktorú sa oplatí zachovať, a implementácia je výsledok, ktorý vytvorila.","research-forge.c297908b88":"Kandidáta nemôže povýšiť kontrola, iba dôkaz, že existuje ďalšia priečka.","research-forge.c29cf0b245":"Kompromisy","research-forge.c2bb6fa0c5":"ŠPECIFIKÁCIA NEMENNÁ","research-forge.c2ea17d5fe":"TRI POLIA","research-forge.c33ef52668":"požiadavka ne","research-forge.c3451e6677":"Príklady ukazujú očakávané správanie na prípadoch, ktoré ľudia môžu skontrolovať. Logické podmienky definujú, čo musí platiť nad rámec týchto prípadov. Čiastočný náčrt zachováva bezpečnostnú architektúru, rozhranie alebo povinný tok riadenia, zatiaľ čo jedna oblasť zostáva otvorená objavovaniu. Spoločne robia požiadavku dostatočne presnou na to, aby proti nej stroj mohol zlyhať, na čo špecifikácia slúži. Čokoľvek, čo môže vyhľadávanie rozhodnúť vo vašom mene, patrí do toho istého dokumentu.","research-forge.c36594e8f5":"minimálne v rámci deklarovaného jazyka","research-forge.c3be8bb127":"Ako rýchlo","research-forge.c3e4b59bd1":"Koľko dát program presúva","research-forge.c439038abe":"Nepokryté","research-forge.c440d9bf36":"Vyhľadávanie nemôže zachrániť kandidáta zmenou cieľa.","research-forge.c4cc9c34bd":"Jeden iteračný cyklus","research-forge.c533db2294":"pred videním možností","research-forge.c554cb5d95":"Dweve Research, Holandsko","research-forge.c60a3a3cff":"Prehľadajte podporovanú doménu pre porušujúci vstup.","research-forge.c648f0b37b":"Štyri dôvody, prečo je odpoveď žiadny program","research-forge.c69925079f":"nesprávne na tomto presnom prípade","research-forge.c6c9f7cd5c":"Šikovná skratka","research-forge.c6d954c113":"Nič v deklarovanom jazyku a predpokladoch nespĺňa požiadavku.","research-forge.c74dddd8a0":"Záznamy, ktoré odpovedajú na neskoršiu otázku, boli napísané, keď sa rozhodnutie urobilo.","research-forge.c76a21c28e":"Preto môže byť známa identita prijatá v presnej celočíselnej oblasti a odmietnutá v plávajúcej oblasti v rámci toho istého grafu. Podmienka zostáva pripojená k vzťahu, takže extrakcia nikdy nezdedí prepis, na ktorý nemala nárok.","research-forge.c7e00eda62":"tvrdenie je minimálne v rámci tohto jazyka, pri tejto hranici","research-forge.c7f2c2e7d4":"Tri kolá","research-forge.c8050fa93f":"Dokazuje, že existuje jedna cesta. To je skutočný výsledok a oplatí sa ho mať skoro, pretože vám hovorí, že požiadavku možno vôbec splniť v rámci jazyka, ktorý ste deklarovali.","research-forge.c82f0b5250":"krížiaci pár je kompromis, nie poradie","research-forge.c855f0a33c":"Nepodporovaná teória zastaví kandidáta na testovanom alebo mimo rozsahu a záznam uvádza, ktorý to je. Formálny výsledok môže pomenovať sémantický graf, zatiaľ čo emitovaný artefakt stále čaká na svoje vykonávacie prepojenie. Žiadny z týchto stavov nie je stlačený do jediného odznaku.","research-forge.c932a404bb":"Testujte, spochybňujte a dokazujte, čo dôkazy podporujú.","research-forge.c93e1581c7":"Aj malý problém môže obsahovať milióny možných programov. Forge sa pozerá dovnútra operácií a hraníc, ktoré experiment povoľuje, a rôzne správania vyhľadávania skúmajú rôzne časti tohto priestoru. Čo žiadne z nich nesmie urobiť, je uľahčiť problém: požiadavka stojí mimo vyhľadávania a nehýbe sa.","research-forge.c940737ecf":"Forge, výskumné zobrazenie","research-forge.c968557f4b":"Overený graf a dôkazy do Kera","research-forge.c9bf3b001c":"najhodnotnejší výsledok","research-forge.c9d8f0eef6":"orezať pred vyhodnotením","research-forge.ca032b5844":"Čo to robí","research-forge.ca046ad257":"Prečítajte si výskum","research-forge.ca08ca46bd":"Rebríček záruk","research-forge.ca09c54bff":"Schopnosti","research-forge.ca6d0e3aaa":"Fáza","research-forge.ca7b181648":"Pevné poradie","research-forge.cb3242398c":"Niekoľko programov zostáva platných","research-forge.cb3888722e":"Ani jedna strana nepreberá tvrdenie tej druhej a identita grafu udržiava spojenie presné.","research-forge.cb48a44ca9":"Tri iterácie","research-forge.cb4ae000d8":"program zostáva otvorený","research-forge.cb5c0156c2":"Nesie vlastné obmedzenia","research-forge.cbb9f1b292":"každý hovorí niečo iné","research-forge.cbbe214a22":"Prineste špecifikáciu","research-forge.cc68ebf0f3":"Frontier drží kandidátov, ktorých žiadny iný kandidát neprekonáva vo všetkých aktívnych cieľoch. Odstránenie člena si vyžaduje dominančný vzťah, ktorý možno preukázať, nie preferenciu skrytú v prehľadávaní. To mení technické porovnanie na niečo, čo môže revízna komisia prečítať: každý člen spĺňa rovnakú zmluvu a líši sa len v tom, čo stojí.","research-forge.ccfd13401b":"Prišpendlite problém","research-forge.cd27068c9e":"Trvalé aktívum","research-forge.cd3d5a59f1":"Deterministické vykonávanie","research-forge.cdaa0de1dc":"Zdieľanie spoločných podvýrazov","research-forge.cdbed7e540":"Vyhľadávací jazyk","research-forge.cde215073a":"všetky štyri spĺňajú rovnakú zmluvu","research-forge.cdf33799d9":"Záznam o prepojení vykonania","research-forge.ce3b4e045e":"kým sa nestane trvalým","research-forge.ce9e850988":"prehľadávanie nahlási divergenciu namiesto výberu jednej z nich","research-forge.cec4b662d3":"Čiastočný program","research-forge.cecae09ffe":"Stroj nájde kandidáta.","research-forge.cf5ed047cf":"Hodnoty cieľov a pozícia na fronte.","research-forge.cf61965045":"fakty dostupné pred vyhodnotením čohokoľvek","research-forge.cf88038e56":"Nie konečné","research-forge.cf9b77061f":"Otvorené","research-forge.consumer.banner.bodyOne":"Kandidát môže byť rýchlejší, menší alebo ľahšie spustiteľný.","research-forge.consumer.banner.bodyTwo":"Ak porušuje špecifikáciu, nie je to optimalizácia tohto programu.","research-forge.consumer.banner.checkDetail":"Vyžadujte úroveň dôkazov uvedenú v experimente.","research-forge.consumer.banner.checkLabel":"Skontrolujte správnosť","research-forge.consumer.banner.checkStatus":"Bránka","research-forge.consumer.banner.compareDetail":"Do diskusie o kompromisoch vstupujú iba prijateľní kandidáti.","research-forge.consumer.banner.compareLabel":"Porovnajte náklady","research-forge.consumer.banner.compareStatus":"Potom porovnajte","research-forge.consumer.banner.eyebrow":"Neprekročiteľná hranica","research-forge.consumer.banner.findDetail":"Preskúmajte rôzne povolené štruktúry programov.","research-forge.consumer.banner.findLabel":"Nájdite kandidátov","research-forge.consumer.banner.findStatus":"Prehľadávanie","research-forge.consumer.banner.footer":"Dweve Forge, overené objavovanie programov","research-forge.consumer.banner.instrumentTag":"Pevné","research-forge.consumer.banner.instrumentTitle":"Poradie","research-forge.consumer.banner.stateDetail":"Zapíšte výsledok a jeho hranice pred prehľadávaním.","research-forge.consumer.banner.stateLabel":"Uveďte správanie","research-forge.consumer.banner.stateStatus":"Pevné","research-forge.consumer.banner.titleAccent":"ak zmení odpoveď","research-forge.consumer.banner.titleLead":"Šikovná skratka je zbytočná","research-forge.consumer.banner.verdictLabel":"Pravidlo","research-forge.consumer.banner.verdictValue":"Správnosť získa vstup do diskusie o kompromisoch.","research-forge.consumer.close.body":"Verejný materiál Forge vysvetľuje špecifikáciu, objavené alternatívy, protipríklady a to, čo výskum skutočne dokáže preukázať. Forge je aktívny interný výskum bez softvérovej skúšky, verejného balíka alebo open-source sťahovania.","research-forge.consumer.close.eyebrow":"Dweve Forge, overené objavovanie programov","research-forge.consumer.close.primary":"Preskúmajte výskum Dweve","research-forge.consumer.close.secondary":"Vráťte sa k experimentu","research-forge.consumer.close.title":"Sledujte prehľadávanie od zámeru k dôkazom.","research-forge.consumer.counterexample.body":"Kandidát môže fungovať na všetkých dodaných príkladoch a napriek tomu zlyhať inde. Forge ho môže napadnúť konkrétnym vstupom, ktorý odhalí rozdiel. Tento vstup sa stane protipríkladom.","research-forge.consumer.counterexample.eyebrow":"Zlyhanie ako užitočný dôkaz","research-forge.consumer.counterexample.footer":"Prejdenie mnohých príkladov stále neznamená, že program bol dokázaný ako správny.","research-forge.consumer.counterexample.pillFailure":"Konkrétne zlyhanie","research-forge.consumer.counterexample.pillPermanent":"Trvalý prípad","research-forge.consumer.counterexample.pillRetry":"Hľadať znova","research-forge.consumer.counterexample.secondaryLeft":"Neúspešný prípad sa pripája k trvalým dôkazom. Ďalší kandidát musí spĺňať skoršie príklady aj novú hranicu.","research-forge.consumer.counterexample.secondaryLeftLabel":"Kandidát sa mení","research-forge.consumer.counterexample.secondaryRight":"Zlyhanie môže tiež odhaliť nejednoznačnosť alebo rozpor v požiadavke. Objasnenie zámeru vytvára novú špecifikáciu a ponecháva skorší výsledok viditeľný.","research-forge.consumer.counterexample.secondaryRightLabel":"Zámer sa môže zmeniť","research-forge.consumer.counterexample.sideChallengeDetail":"Pozerajte sa za priateľské príklady.","research-forge.consumer.counterexample.sideChallengeLabel":"Výzva","research-forge.consumer.counterexample.sideFooter":"Zlyhanie zužuje hľadanie a objasňuje ľudskú požiadavku.","research-forge.consumer.counterexample.sideMetaLabel":"Smer","research-forge.consumer.counterexample.sideMetaValue":"Prísnejšie každé kolo","research-forge.consumer.counterexample.sideProposeDetail":"Nájdite kandidáta, ktorý vyhovuje známym prípadom.","research-forge.consumer.counterexample.sideProposeLabel":"Navrhnúť","research-forge.consumer.counterexample.sideRememberDetail":"Pridajte konkrétne zlyhanie k dôkazom.","research-forge.consumer.counterexample.sideRememberLabel":"Zapamätať","research-forge.consumer.counterexample.sideRetryDetail":"Hľadajte kandidáta, ktorý prežije silnejšiu množinu.","research-forge.consumer.counterexample.sideRetryLabel":"Skúsiť znova","research-forge.consumer.counterexample.sideStatus":"Slučka","research-forge.consumer.counterexample.sideSubtitle":"Ako slabý kandidát spresňuje otázku","research-forge.consumer.counterexample.sideTitle":"Jedna slučka s protipríkladom","research-forge.consumer.counterexample.titleAccent":"nesprávny presne v tomto prípade","research-forge.consumer.counterexample.titleLead":"Nie jednoducho nesprávny","research-forge.consumer.counterexample.visualFooter":"Ďalší kandidát musí byť lepší bez oslabenia požiadavky.","research-forge.consumer.counterexample.visualMeta":"Ilustračný prípad","research-forge.consumer.counterexample.visualStatus":"Protipríklad nájdený","research-forge.consumer.counterexample.visualSubtitle":"Traja kandidáti spĺňajú čoraz prísnejšiu hranicu","research-forge.consumer.counterexample.visualTitle":"Neúspešný prípad sa stáva trvalou povinnosťou","research-forge.consumer.glyph.evidence.counterexample":"Zlyhanie zaznamenané","research-forge.consumer.glyph.evidence.examples":"Príklady prešli","research-forge.consumer.glyph.evidence.execution":"Vykonanie prepojené","research-forge.consumer.glyph.evidence.proof":"Vzťah dokázaný","research-forge.consumer.glyph.footer":"Stroj nemusí vrátiť žiadny program.","research-forge.consumer.glyph.header.detail":"Požiadavka zostáva pevná, zatiaľ čo cesty sa menia.","research-forge.consumer.glyph.header.state":"Výskum aktívny","research-forge.consumer.glyph.header.title":"Experiment s objavovaním programov","research-forge.consumer.glyph.path.a.label":"Zlyhá na okrajovom prípade","research-forge.consumer.glyph.path.a.state":"Zamietnuté","research-forge.consumer.glyph.path.b.label":"Správne, vyššia cena","research-forge.consumer.glyph.path.b.state":"Ponechať","research-forge.consumer.glyph.path.c.label":"Správne, iný kompromis","research-forge.consumer.glyph.path.c.state":"Dokázané","research-forge.consumer.glyph.request.detail":"Príklady, pravidlá a čiastočný program definujú hranicu hľadania.","research-forge.consumer.glyph.request.label":"Transformujte každý podporovaný vstup a zachovajte uvedený limit.","research-forge.consumer.hero.eyebrow":"Dweve Forge, overené objavovanie programov","research-forge.consumer.hero.lede":"Dweve Forge je výskumný projekt, ktorý hľadá programy spĺňajúce príklady, obmedzenia alebo čiastočné špecifikácie, zlepšuje platných kandidátov podľa explicitných cieľov a zaznamenáva dôkazy podporujúce každý výsledok.","research-forge.consumer.hero.ledgerLabel":"Výskumná poznámka","research-forge.consumer.hero.ledgerPill":"Aktívny","research-forge.consumer.hero.ledgerPurpose":"Účel","research-forge.consumer.hero.ledgerPurposeValue":"Objavovať, porovnávať a kontrolovať programy","research-forge.consumer.hero.ledgerStatus":"Stav","research-forge.consumer.hero.ledgerStatusValue":"Aktívny interný výskum","research-forge.consumer.hero.primary":"Sledovať jeden objavený program","research-forge.consumer.hero.secondary":"Pozrieť, čo znamená overené","research-forge.consumer.hero.titleAccent":"Nechajte stroj hľadať ako.","research-forge.consumer.hero.titleLead":"Opíšte, čo by sa malo stať.","research-forge.consumer.intent.body":"Výskum Forge začína príkladmi, pravidlami alebo čiastočne napísaným programom. Príklady ukazujú konkrétne prípady. Pravidlá uvádzajú, čo musí zostať pravdivé všeobecnejšie. Čiastočný program zachováva rozhodnutia, ktoré by sa nemali odovzdať hľadaniu.","research-forge.consumer.intent.eyebrow":"Východiskový bod","research-forge.consumer.intent.footer":"Keď je správanie jasné, stroj môže hľadať mnoho možných spôsobov, ako ho vytvoriť.","research-forge.consumer.intent.pillExamples":"Príklady","research-forge.consumer.intent.pillRules":"Pravidlá","research-forge.consumer.intent.pillSketch":"Čiastočný program","research-forge.consumer.intent.secondaryLeft":"Prompt môže požiadať o kód a dostať niečo, čo vyzerá vierohodne. Sám o sebe však nedefinuje úplný štandard, voči ktorému by tento kód mohol zlyhať.","research-forge.consumer.intent.secondaryLeftLabel":"Prompt","research-forge.consumer.intent.secondaryRight":"Špecifikácia určuje správanie, hranice a povolené voľby. Jej zmena vytvára iný výskumný problém, nie zachraňuje slabého kandidáta.","research-forge.consumer.intent.secondaryRightLabel":"Špecifikácia","research-forge.consumer.intent.sideExamplesDetail":"Pre tento vstup vygeneruj tento výstup.","research-forge.consumer.intent.sideExamplesLabel":"Príklady","research-forge.consumer.intent.sideFooter":"Požiadavka je prvá; implementácia zostáva otvorená.","research-forge.consumer.intent.sideMetaLabel":"Pevné počas hľadania","research-forge.consumer.intent.sideMetaValue":"Správanie a rozsah","research-forge.consumer.intent.sideRulesDetail":"Pre každý podporovaný vstup zachovaj túto vlastnosť.","research-forge.consumer.intent.sideRulesLabel":"Pravidlá","research-forge.consumer.intent.sideSketchDetail":"Zachovaj túto štruktúru a objav chýbajúcu časť.","research-forge.consumer.intent.sideSketchLabel":"Náčrt","research-forge.consumer.intent.sideStatus":"Štart","research-forge.consumer.intent.sideSubtitle":"Každý poskytuje iný druh hranice","research-forge.consumer.intent.sideTitle":"Tri spôsoby, ako vyjadriť zámer","research-forge.consumer.intent.titleAccent":"pred výberom implementácie","research-forge.consumer.intent.titleLead":"Opíš správanie","research-forge.consumer.intent.visualFooter":"Program mení tvar. Požiadavka nie.","research-forge.consumer.intent.visualMeta":"Ilustračná cesta","research-forge.consumer.intent.visualStatus":"Prebieha výskum","research-forge.consumer.intent.visualSubtitle":"Ilustračný verejný pohľad na experiment s objavovaním programov","research-forge.consumer.intent.visualTitle":"Jedna požiadavka, niekoľko kandidátskych ciest","research-forge.consumer.proof.body":"Formálny výsledok môže dokázať, že program spĺňa uvedenú vlastnosť pre podporované vstupy a sémantiku. Nedokazuje, že požiadavka bola múdra, úplná alebo vhodná pre každé reálne prostredie.","research-forge.consumer.proof.eyebrow":"Čo by mal odznak hovoriť","research-forge.consumer.proof.footer":"Niekedy je najsilnejší čestný výsledok to, že stroj nedokáže vytvoriť program.","research-forge.consumer.proof.pillAssumptions":"Viditeľné predpoklady","research-forge.consumer.proof.pillLimits":"Viditeľné obmedzenia","research-forge.consumer.proof.pillScoped":"Ohraničené","research-forge.consumer.proof.secondaryLeft":"Program, vlastnosť, predpoklady a dôkazy zostávajú spolu. Ak sa program zmení, zmení sa aj väzba dôkazu.","research-forge.consumer.proof.secondaryLeftLabel":"Tvrdenie","research-forge.consumer.proof.secondaryRight":"Forge je aktívny, nedokončený interný výskum. Nie je to produkt, verejná syntetická služba ani open-source stiahnutie.","research-forge.consumer.proof.secondaryRightLabel":"Hranica výskumu","research-forge.consumer.proof.sideAssumptionsDetail":"Vstupy a prostredie, ktoré tvrdenie pokrýva.","research-forge.consumer.proof.sideAssumptionsLabel":"Predpoklady","research-forge.consumer.proof.sideFooter":"Dôkaz posilňuje presné tvrdenie, nie vágny sľub.","research-forge.consumer.proof.sideLimitsDetail":"Čo výsledok nepreukazuje.","research-forge.consumer.proof.sideLimitsLabel":"Obmedzenia","research-forge.consumer.proof.sideMetaLabel":"Najsilnejší čestný stav","research-forge.consumer.proof.sideMetaValue":"Pomenované, nikdy len naznačené","research-forge.consumer.proof.sideProgramDetail":"Presný kandidát, ktorý sa kontroluje.","research-forge.consumer.proof.sideProgramLabel":"Program","research-forge.consumer.proof.sidePropertyDetail":"Správanie, ktoré sa tvrdí.","research-forge.consumer.proof.sidePropertyLabel":"Vlastnosť","research-forge.consumer.proof.sideStatus":"Dôkaz","research-forge.consumer.proof.sideSubtitle":"Štyri časti, ktoré musia zostať spolu","research-forge.consumer.proof.sideTitle":"Vyhlásenie o dôkaze","research-forge.consumer.proof.titleAccent":"nie je správne v každom možnom svete","research-forge.consumer.proof.titleLead":"Overené podľa týchto pravidiel","research-forge.consumer.proof.visualFooter":"Neznáme, nemožné, nejednoznačné a mimo rozsahu zostávajú platnými výskumnými výsledkami.","research-forge.consumer.proof.visualMeta":"Ilustratívny dôkaz","research-forge.consumer.proof.visualStatus":"Viditeľný rozsah","research-forge.consumer.proof.visualSubtitle":"Testovanie, ohraničené kontroly, formálny dôkaz a prepojenie s vykonaním sú rôzne výsledky","research-forge.consumer.proof.visualTitle":"Rebrík záruk si zachováva oddelené priečky","research-forge.consumerHero.titleSuffix":"hľadanie lepších trás","research-forge.d02603176f":"Univerzálne","research-forge.d092bf9ea1":"Preskúmajte výskum","research-forge.d0f4e7e15e":"graf ich udržiava presné","research-forge.d105692d52":"Graf vybraných kandidátov","research-forge.d1a475961a":"Ohraničené úplné prehľadávanie dokáže nájsť najmenší výraz v úzkom jazyku. Riadené spresňovanie pomocou protipríkladov má tendenciu nachádzať robustné štruktúrované programy. Prehľadávanie vedené obmedzeniami rieši náročné oblasti na bitovej úrovni. Exploratívne prehľadávanie dosahuje nezvyčajné implementácie.","research-forge.d1b06384eb":"Príklady, pravidlá alebo čiastočne napísaný program.","research-forge.d1ed30ebcf":"Pevná hranica","research-forge.d1f8a8cdec":"Zlúčenie je vždy len také silné, ako test, ktorý ho odôvodnil.","research-forge.d1f8e5ea93":"Výber","research-forge.d2089fb287":"Smerovanie teórie","research-forge.d2316c0df0":"Päť záznamov","research-forge.d23276442b":"Problém dizajnového priestoru","research-forge.d23c4c8d4e":"Jedna veta, tri použiteľné formy","research-forge.d255672f1b":"a spresňuje požiadavku","research-forge.d286c609a6":"Verzia špecifikácie","research-forge.d2b02aa6ad":"záznam zaväzuje obe strany","research-forge.d2bad80400":"Jednoduchá požiadavka rozdeľujúca sa na príklady, pravidlo a náčrt, vedľa odpovede napísanej priamo z vety, ktorá nemá nič, čo by ju overilo","research-forge.d2d0b16b22":"Odstráňte štrukturálne duplicity a pozorované duplicity.","research-forge.d2d43bec88":"Cieľové backends (rozsah vyhodnotenia)","research-forge.d35260a00f":"Ciele","research-forge.d362822809":"Kam priniesť problém","research-forge.d36f29cacf":"Zosúladiť","research-forge.d3d6314184":"Každý kandidát je čiara cez každú os, nie bod na jednej.","research-forge.d3dee74f70":"Formálny výsledok a samostatná kontrola tohto výsledku, ak je k dispozícii.","research-forge.d3ec6e1bad":"Sémantický objekt, ktorý Kera dostáva, s pripojenými povinnosťami.","research-forge.d4621d18f0":"s uvedenou hranicou","research-forge.d4a74b503a":"Prečítať dokumentáciu","research-forge.d4ccefcb5e":"žiadny zo štyroch koncov nevytvorí niečo hodnoverné namiesto toho","research-forge.d50b109f99":"Niekoľko derivácií zostáva naraz živých a konečná voľba čaká na objektívne dôkazy.","research-forge.d51fb63a04":"každý výsledok ukazuje späť naň","research-forge.d5383ea7af":"Zaznamenané","research-forge.d5dc89d194":"Pre podporované Kera kontrakty sa čisté vykonávanie opakuje bitovo identicky bez semena, vrátane pokrytých rodín plávajúcej čiarky. Keď program zámerne spotrebúva náhodný stav, tento stav je deklarovaným vstupom a jeho opätovné použitie reprodukuje celý beh.","research-forge.d5ec4f1c39":"Prečo tento program existuje","research-forge.d5f412e831":"Kera","research-forge.d659989a95":"Forge prehľadáva jazyk typovaných výpočtových operácií. Vstupy, výstupy, tvary, číselné rodiny, efekty, schopnosti, vlastníctvo a cieľové obmedzenia rozhodujú, ktoré kompozície sú legálne, takže neplatné programy sú vylúčené štrukturálne, nie generované a opravované po vyhodnotení. Jazyk je zvolený s paketom a uzavretý pre beh.","research-forge.d66c44dfdf":"Nemožné","research-forge.d6a6f2deb1":"Čo slučka robí","research-forge.d71df112ac":"Čo môže prehľadávanie robiť","research-forge.d769ded7e8":"Kandidát","research-forge.d79c0b71d1":"ktorého prvý správny program nestačí","research-forge.d7e5b39755":"Nejednoznačnosť sa stáva viditeľnou skôr, než sa stane kódom. Dvaja kandidáti môžu spĺňať každý dodaný príklad a napriek tomu sa nezhodnúť na vstupe, ktorý nikto nezapísal. Forge túto nezhodu ohlási a požiada o ďalšiu požiadavku namiesto toho, aby si ticho vybral jedno správanie.","research-forge.d7e94eb0fb":"Každá organizácia sa spolieha na malé, kritické časti kódu. Forge sa pýta, či prehľadávanie syntézy programov môže navrhnúť kandidátske implementácie pod deklarovanou špecifikáciou a plánom merania. Správa za rok 2025 dokumentuje experiment, nie produkčnú pripravenosť; žiadna publikovaná benchmark neurčuje optimálnu alebo najrýchlejšiu verziu.","research-forge.d835dab5b4":"presné celé číslo","research-forge.d90c9bd5a7":"veľkosť 2 až 4","research-forge.d9f6acb036":"extrakcia prebieha ako posledná","research-forge.da09c06014":"Forge začína behaviorálnym kontraktom, ktorý sa nehýbe. Prehľadávanie môže navrhnúť tisíce implementácií a príklady, protipríklady a formálne dotazy rozhodujú, ktoré z nich zostanú. Výstupom je typovaný programový kandidát s deriváciou, objektívnym vektorom a uvedenou úrovňou záruky.","research-forge.da7a712c59":"Čo musí program robiť","research-forge.daec3d5393":"Protipríklady, dôkazy a prechody záruk.","research-forge.db1c784524":"Referencia","research-forge.dc131e9db4":"Čo paket pripína","research-forge.dc16ac61b4":"jedna os nemôže zoradiť frontu","research-forge.dc5b5aba63":"sprísňuje požiadavku","research-forge.dcd69b02b3":"Špecifikácia je konzistentná","research-forge.dd00b8f82f":"Pomenovaná záruka","research-forge.dd3c9b9d09":"Neopravujte poradie prepisovania","research-forge.dd3e8f4841":"Testy stanovujú správanie na prípadoch, ktoré sa spustili. Vyčerpávajúca ohraničená kontrola pokrýva deklarovanú konečnú doménu. Formálne overenie dokazuje zakódovaný vzťah za uvedených predpokladov. Väzba vykonávania pripája výsledok ku grafu a plánu, ktoré sa skutočne spustili. Forge hlási, ktorý z týchto stupňov kandidát dosiahol, pretože rozhodnutie založené na nesprávnom stupni je rozhodnutie založené na nesprávnych dôkazoch. V tomto rebríku je päť stupňov a kandidát drží vždy presne jeden z nich.","research-forge.de135d6b61":"čistá oblasť","research-forge.de56d45fd4":"a čoho sa nesmie dotknúť","research-forge.de9e9925af":"časti, ktoré musia zostať spolu","research-forge.dfda3a3599":"Preskúmateľné","research-forge.e0078f1adb":"Nesmie pridať prístup k súborom alebo sieti, ktorý nebol nikdy povolený. Nesmie zmeniť druh čísla, ktoré odpoveď používa. Nesmie zoslabiť požiadavku, pretože sľubný kandidát ju takmer splnil.","research-forge.e03608577a":"Kontrola hraníc","research-forge.e048b8a355":"Ako sa záruky skladajú cez optimalizáciu a plánovanie.","research-forge.e15760689d":"Spresniť","research-forge.e192f8980b":"Statické modely zoraďujú kandidátov skôr, než čokoľvek beží. Kalibrované cieľové profily tieto odhady spresňujú. Merané behy ich potvrdzujú alebo opravujú. Každý zostáva označený, takže predpokladaná latencia sa nikdy nezobrazí na mieste, kde by mala byť meraná.","research-forge.e24f8562eb":"implementácia sa stáva výsledkom","research-forge.e29a79fe0c":"Preskúmať","research-forge.e2f9cea1dd":"čo každý formulár určuje a čo neurčuje","research-forge.e31ae17fe2":"Čo ponecháva otvorené","research-forge.e340683de2":"Deklarované konkrétne prípady prešli.","research-forge.e341bf4b5e":"Úplnosť patrí deklarovanému priestoru a správa uvádza, o aký priestor išlo.","research-forge.e380a981e1":"Dve inžinierske postupnosti","research-forge.e3a3474f57":"Ekvivalentné zdrojové reťazce môžu opisovať rovnaký výpočet a podobne vyzerajúci zdroj môže skrývať rôzne účinky. Práca na grafe robí štrukturálne zdieľanie, porovnávanie kandidátov, viazanie dôkazov a pôvod presnými, namiesto toho, aby sa odvodzovali z textu po každej transformácii.","research-forge.e3aa756f4f":"Tri pohľady","research-forge.e3f3e0b2d5":"Neodpoveď s uvedeným dôvodom je rozhodnutie, na ktorom môže organizácia konať už dnes.","research-forge.e3f4660921":"Keď vyhľadávanie ponecháva niekoľko správnych programov, niekto musí povedať, ktorý kompromis je dôležitý. To je rozhodnutie a Forge ho zaznamenáva ako také, spolu s programami, ktoré si nevybral, a dôvodom, prečo každý z nich preskočil.","research-forge.e40786cd04":"graf je pomenovaný, nie zdroj","research-forge.e43a425d4c":"Jeden neúspešný prípad","research-forge.e4709d4a03":"Niečo v deklarovanom jazyku spĺňa požiadavku.","research-forge.e4ec169f06":"Tri iterácie, jedna požiadavka sa spresňuje","research-forge.e5a5debd01":"a usmerňuje ďalšiu investíciu","research-forge.e5e6eefa7c":"každý môže pomenovať iného najlepšieho kandidáta","research-forge.e5fa3a8592":"Pridajte dôkazy, ktoré oddeľujú konkurenčné správania.","research-forge.e6737991ff":"Vyhľadávanie kandidátov","research-forge.e6c167fd27":"ČLEN","research-forge.e6f72dbc9e":"Dobre vytvorené cez prepojené vykonávanie sa nikdy nezmiešajú.","research-forge.e70fb2879c":"ktoré mení odpoveď","research-forge.e713d42aa6":"PREDMET","research-forge.e73791d2ee":"Záznam je navrhnutý tak, aby ho čítal niekto, kto tam nebol. Uvádza verziu špecifikácie namiesto vetvy, graf kandidátov namiesto súboru a relačiu dominancie namiesto preferencie, takže recenzent sa môže opýtať, prečo nie kandidát B, a dostane odpoveď.","research-forge.e78c82b9d8":"Ekvivalentný programový priestor","research-forge.e792eed957":"Vymenovať podľa typu a veľkosti","research-forge.e79545edad":"Forge môže nájsť program, nájsť niekoľko, nájsť protipríklad, ktorý jeden ukončí, alebo zistiť, že v povolenom priestore nefunguje nič. Ktorýkoľvek z týchto výsledkov môže nastať v jednom behu.","research-forge.e7c6bfda5f":"Príklady, obmedzenia a náčrty","research-forge.e7eaf3097f":"NEROZHODNUTÉ","research-forge.e83744eb1b":"Jeden graf cez celý zásobník Dweve","research-forge.e89c5a1fe5":"Vyžiadať demo","research-forge.e8c9206319":"Uvediete správanie","research-forge.e93a01e74c":"Vstupy a výstupy","research-forge.e9a46a96e9":"Nejednoznačné","research-forge.e9c366b4f3":"Požiadavka","research-forge.e9e1bb076f":"Dôkaz, graf, plán a identita výsledku sú spojené.","research-forge.ea2f183ae8":"Zlyhanie, ktoré pomenúva presný vstup, naučí vyhľadávanie viac ako zlyhanie, ktoré pomenúva skóre.","research-forge.ea66222972":"Definujte správanie, kandidátsky jazyk, vektor cieľov a dôkazy, ktoré potrebujete. Forge to môže premeniť na riadený experiment vyhľadávania, porovnávania a overovania.","research-forge.ea66d3cd71":"Formálne overené","research-forge.eae192773b":"Vytvoril","research-forge.eb01bf04c9":"Príklady","research-forge.eb5d2f4a58":"JIT","research-forge.eb65476556":"odmietnutie pred vyhodnotením nič nestojí","research-forge.eb86bd10d0":"Testujte a formálne sa pýtajte na preživších.","research-forge.ebc93602b0":"Program výskumného partnerstva","research-forge.ebd1b8a0ed":"Správnosť a náklady zostávajú oddelené","research-forge.ebf002ed26":"Čo musí každý povolený vstup produkovať alebo zachovať?","research-forge.ec00edb305":"Stav merania","research-forge.ec80d62108":"Trojrozmerný graf kompromisov s dominovanými kandidátmi sivými, výber zásad vyberajúci jedného nedominovaného člena a ovládací prvok, ktorý pridáva cieľ a prekresľuje hranicu","research-forge.ec8c6779f3":"Odvodenie","research-forge.eca98aa4dd":"Trvalý invariant","research-forge.ecc4622e4a":"Zámer ako aktívum","research-forge.eccd8c22c7":"Prípady","research-forge.ed03c68d9c":"Čiastočne","research-forge.ed625e27bc":"odpoveď sa číta zo záznamu, nie sa z neho znovu vytvára","research-forge.ed834ee730":"Dva programy, každý príklad, jeden nesúhlas","research-forge.ed868fa2d4":"Čo jedna odpoveď určuje","research-forge.edd8fb596d":"Čo organizácia chce","research-forge.ee531c138e":"jedna identita naprieč životným cyklom","research-forge.ee6e0d9004":"čo vracia Kera","research-forge.eebc8ec4db":"Najväčšia pracovná množina","research-forge.eebfc58277":"Zvyčajne existuje viac ako jedna dobrá odpoveď a povedať, ktorú ste si vybrali, je súčasťou odpovede.","research-forge.ef4e3a4971":"Čo sa ešte môže líšiť","research-forge.ef73fdd1c8":"Štyri prípady","research-forge.f04208c0f4":"vonkajšie tri kruhy možno preskúmať bez otvorenia najvnútornejšieho","research-forge.f061352d1c":"Rodina, šírka, zaoblenie a platná chybová obálka.","research-forge.f0aa98e438":"Problém sa najprv zapíše","research-forge.f128a0033d":"Forge porovnáva platných kandidátov podľa počtu operácií, kritickej cesty, pamäťovej prevádzky, pracovnej množiny, registrového tlaku, veľkosti kódu, odhadovanej energie, prenositeľnosti, zložitosti dôkazu a vhodnosti pre cieľ. Ktoré z nich sú aktívne, patrí do experimentálneho balíka a vyberie sa pred meraním akéhokoľvek kandidáta, takže porovnanie nemožno upraviť po zverejnení výsledkov.","research-forge.f1513553a0":"Päť kandidátov implementujúcich rovnakú špecifikáciu, každý s inou štrukturálnou siluetou a cieľovým pásmom, pričom prvý objavený kandidát je označený ako dominovaný","research-forge.f19a088441":"Pole tvarov kandidátskych programov v troch stavoch okolo pevného rámca požiadaviek v strede, ktorý nikdy nemení veľkosť","research-forge.f1e6269a35":"Kandidát Forge je typovaný sémantický graf. Jeho uzly si zachovávajú operácie, závislosti, hodnoty, efekty, vlastníctvo a numerické záväzky a vyhľadávanie pridáva, odstraňuje a prepája oblasti, pričom rozhranie zostáva dobre formované. Syntax zdroja je jedným pohľadom na tento objekt, nie jeho identitou, preto sa naň môže viazať dôkaz a prežiť zmenu pravopisu.","research-forge.f21eba9d4c":"Správanie, ktoré sa o ňom tvrdí.","research-forge.f2b83c0462":"Skontrolovať výstup kandidáta","research-forge.f3263fc33a":"Ktoré vstupy, efekty a prostredia sú v rozsahu?","research-forge.f33b37791c":"jedna pevná požiadavka","research-forge.f34faaf18c":"Čo zostáva počas behu pevné","research-forge.f3717fe94b":"Tri spojenia, jeden typovaný jazyk","research-forge.f3b8596ff9":"Náčrty","research-forge.f3e0a2c003":"Operácia, prechod stavu a každý efekt, ktorý môže mať.","research-forge.f44f712120":"metóda zostáva výskumná","research-forge.f4b90ff6c9":"enumeratívne, CEGIS, GP, MCTS","research-forge.f4c0773264":"Typy, efekty, vlastníctvo a rozhrania sú platné.","research-forge.f5330c10d4":"Dva systémy, jeden objekt","research-forge.f539273fc2":"Prešiel deklarovanými konkrétnymi prípadmi.","research-forge.f53a569905":"Inštitucionálny problém","research-forge.f591672335":"od začiatku do konca","research-forge.f5def394f5":"Presný kandidát, ktorý bol skontrolovaný.","research-forge.f61f151c35":"Opíšte, čo sa stane","research-forge.f6c1c2d45c":"vybraný kandidát si zachováva politiku, ktorá ho vybrala","research-forge.f6fbfa37a0":"Obmedzený efekt","research-forge.f7313a2c50":"Väčšina systémov, ktoré píšu kód, je požiadaná, aby pokračovala v texte hodnoverným spôsobom. Forge je požiadaný, aby splnil opis toho, čo musí program robiť. Vyhľadáva implementácie, odmieta tie, ktoré zlyhajú na konkrétnom vstupe, porovnáva tie, ktoré prežijú, a presne uvádza, ako silno bol výsledok skontrolovaný.","research-forge.f740162265":"Diffable","research-forge.f793bcd5e3":"Vybraté aktuálnou politikou","research-forge.f7bce3aeb0":"Tri druhy rovnosti","research-forge.f7fcfa132e":"Overené vždy znamená overené voči niečomu, čo je uvedené.","research-forge.f85d540ea4":"Tiež zlyhávajú inak. Kandidát môže prejsť všetkými poskytnutými príkladmi a napriek tomu porušiť kvantifikovanú podmienku, ktorú mali príklady ilustrovať. Záznam pomenúva tento rozdiel, takže prejdenie testovacej sady sa nikdy neskôr nečíta ako dôkaz.","research-forge.f8ad81d4ed":"Dva programy môžu robiť presne tú istú prácu a napriek tomu sa s nimi žije inak. Jeden skončí skôr. Jeden presúva menej údajov. Jeden beží na viacerých druhoch strojov. Jeden sa jednoduchšie kontroluje. Zlepšenie ktoréhokoľvek z týchto aspektov zvyčajne niečo stojí na inom, takže Forge si ponecháva dobré, namiesto toho, aby vyhlásil jediného víťaza.","research-forge.f915e592e0":"Dostatočne ustálené na to, aby sa to dalo jasne povedať: nemenná špecifikácia, jeden typovaný fond kandidátov napájaný niekoľkými vyhľadávacími správaniami, protipríklady ako trvalé záväzky, hranica namiesto skrytého skóre, pomenované úrovne záruky a grafová identita, ktorá prežije odovzdanie do Kera.","research-forge.f91cf3695e":"čo opúšťa Forge a čo Kera vracia","research-forge.f942052ae1":"Prvý správny program","research-forge.f95d9699ab":"nie definícia najlepšieho","research-forge.f9743247fa":"Prečítajte si dokumentáciu","research-forge.f97f6d5c34":"Druh čísla v odpovedi","research-forge.f9917655d9":"Overení a odmietnutí kandidáti, ktorí boli dôležití.","research-forge.f9d589b5e4":"Označenie pomenúva úroveň a záznam vedľa neho pomenúva rozsah, ktorý táto úroveň pokrýva.","research-forge.fa6b511877":"Nesmie sa zmeniť","research-forge.fa7f633b0c":"Tri kandidátske spisy zastavené na rôznych úrovniach záruky, každý otvára dôkazy za svojím označením, pričom povýšenie sa zobrazuje ako nedostupné bez dôkazov","research-forge.fa8d0afff2":"a vykresliť zdroj na okraji","research-forge.fb588797f2":"Softvér, ktorý píše","research-forge.fba63933d7":"dokazovanie ustanovuje správanie","research-forge.fbe8d4180f":"Jedno semeno, mnoho foriem","research-forge.fc5fed48be":"Prehľadať graf","research-forge.fc7583ec76":"Nemenná špecifikácia","research-forge.fca77b7e3a":"Na prvý pohľad","research-forge.fca8a06b17":"Forge zaznamenáva, ktorý druh rovnosti odôvodnil každé zlúčenie, takže lacná deduplikácia počas vyhľadávania sa nikdy neskôr nečíta ako sémantický výsledok.","research-forge.fd2145e1f8":"Poradie, ktoré sa nikdy nemení","research-forge.fd9cfb5232":"Niekoľko vyhľadávacích správaní produkuje jeden druh typovaného kandidáta.","research-forge.fdd0dfedc0":"Platia štyri veci","research-forge.fe03c35158":"Sémantika","research-forge.fe0863e1b3":"Päť úrovní záruky","research-forge.fe08eef5c7":"Kroky, ktoré patria k internej metóde Dweve, sa v reťazci zobrazujú ako zapečatené uzly. Každý z nich publikuje svoje vstupy, výstupy a svoju identitu, takže reťazec zostáva prepojený, zatiaľ čo stratégia v ňom zostáva súčasťou výskumu.","research-forge.fe17f86199":"Dizajnový priestor","research-forge.fe8b95b52a":"Vybraný graf pohybujúci sa z Forge do Kera po jednom pruhu, so susednými systémami Dweve, ktoré čítajú rovnaký objekt, a s návratom identity výsledku do neho","research-forge.fec325ce2f":"Presúva menej dát","research-forge.fef04acdce":"čo prežije pri každej kandidátskej veľkosti","research-forge.ff52cebd1d":"Konečný deklarovaný domén bol vyčerpaný.","research-forge.ff63942f4e":"Reťazec, ktorý môže recenzent prejsť","research-forge.ff75e0dce3":"Nejasné","research-forge.ffa7344f37":"Verejný materiál Forge vysvetľuje špecifikáciu, objavené alternatívy, protipríklady, ktoré niektoré z nich ukončili, a čo výskum môže skutočne dokázať.","research-forge.technicalHero.titleSuffix":"Z3","section_st_a2_split-spec-sheet.7c9a7c0610":"Detail","section_st_a6_split-scenario-triad.f75fd3a884":"Žiadne runtime závislosti","section_st_a6_split-scenario-triad.143ac4ef35":"Jeden binárny súbor","section_st_a6_split-scenario-triad.c61f134d87":"Tri povrchy","section_st_a6_split-scenario-triad.215475056e":"KDE BEŽÍ","section_st_a6_split-scenario-triad.a794a586f0":"Pripravené pre uzavretú miestnosť","section_st_a6_split-scenario-triad.42d52c32ea":"Lokálny model","section_st_a6_split-scenario-triad.fe6168e59f":"Bez siete","section_st_a6_split-scenario-triad.7d93f83c3e":"Kód pripojený cez zväzok","section_st_a6_split-scenario-triad.bee0cb05f8":"Kubernetes","section_st_a6_split-scenario-triad.9f1141549f":"Docker","section_st_a6_split-scenario-triad.5315129cfe":"macOS, Linux, Windows","section_st_a6_split-scenario-triad.a89193f674":"Bez inštalácie","section_st_a6_split-scenario-triad.f600b9e709":"Jeden binárny súbor","section_st_a7_split-connector-grid.4e6822a6d4":"Hot-reload","section_st_a7_split-connector-grid.19e35f0609":"Nastavené v TOML","section_st_a7_split-connector-grid.d9de50b343":"Inventár riadený volajúcim","section_st_a7_split-connector-grid.8be1bb51b7":"KONEKTORY","section_st_a8_split-scaling-profile.7e0861e04c":"Nastaviteľné v TOML","section_st_a8_split-scaling-profile.56d6732417":"Strop na projekt","section_st_a8_split-scaling-profile.27a454915b":"Aktívne body odrážajú súbežných agentov na úroveň.","section_st_a8_split-scaling-profile.0ea215ea0d":"POZADIE","section_st_a8_split-scaling-profile.9fc6fb7e03":"TEAMS","section_st_a8_split-scaling-profile.018d2cd1a5":"PARALELNE","section_st_a8_split-scaling-profile.16623c5d4a":"REŤAZCE","section_st_a8_split-scaling-profile.0fb79c96ed":"Sólo → Tím → Sieť","section_st_a8_split-scaling-profile.068f6b3ecc":"ROZSAH TÍMU","section_st_a8_split-scaling-profile.53ebc572b4":"Sieť","section_st_a8_split-scaling-profile.218887269a":"Tím","section_st_a8_split-scaling-profile.9fc93acaa4":"Sólo","section_st_a9_split-time-lost-donut.7c9a7c0610":"Detail","section_st_b5_request-lifecycle.47e364232a":"audit #4521","section_st_b5_request-lifecycle.4d3535f846":"patch · session.rs","section_st_b5_request-lifecycle.6c2519cd62":"Vykonanie nástroja","section_st_b5_request-lifecycle.f6d1c823ab":"session #128 · 14:02","section_st_b5_request-lifecycle.636de0d0c3":"> \"fix this bug\"","section_st_b5_request-lifecycle.0208131a7d":"Požiadavka používateľa","section_st_b7_audit-chain.9239506454":"0d4e · 8f2c · 51a9 · 73be","section_st_b7_audit-chain.a383df4adb":"a015 · 7c93 · 3e6f · d28b","section_st_b7_audit-chain.efd3faebc5":"9e1b · 22a7 · 8d50 · 6b3c","section_st_b7_audit-chain.4df252b458":"4f2a · b7d1 · 1c83 · e0a4","section_st_b8_defense-stack.eee0f04cba":"VÁŠ KÓD","section_st_b8_defense-stack.89b6e2a784":"OCHRANA DO HĹBKY","section_st_c2_dual-loop-flow.9d29573ea6":"nástroj / krok","section_st_c2_dual-loop-flow.08ab1ac55a":"plán / preplánovať","section_st_c5_integration-spoke.55d0677ac3":"Všetky konektory prechádzajú cez rovnakú vrstvu auditu a oprávnení.","section_st_c5_integration-spoke.c29eb7e425":"Lokálny agent","section_st_c5_integration-spoke.14afd82a7f":"AURA","section_st_c5_integration-spoke.ed0afbab5a":"GitLab CI","section_st_c5_integration-spoke.39540900bb":"GitHub Actions","section_st_c5_integration-spoke.a2feefe9af":"Jenkins","section_st_c5_integration-spoke.ab4115a7b2":"Externé nástroje","section_st_c5_integration-spoke.70c123381f":"JSON-RPC 2.0","section_st_c5_integration-spoke.dc99d54d99":"Lokálne","section_st_c5_integration-spoke.6466df1d3d":"Mistral","section_st_c5_integration-spoke.a19ee5a9fd":"OpenAI","section_st_c5_integration-spoke.b780a23b53":"Anthropic","section_st_f1_cta-dark.90e40d5043":"Začať","toc-rail.f5cbdf6bfb":"Obsah"}