{"aura-ask-grid.af0854de67":"Aura","aura-business-sides.a0853da24b":"Technický list","aura-business-visuals.40417391c5":"Aura · řeší","aura-business-visuals.271973aefe":"xMidYMid meet","aura-business-visuals.3e91add48a":"BOARD","aura-showcase.eyebrow":"Platforma Dweve","aura-showcase.subtitle":"Asistent pro kódování a provoz. Demo metriky jsou ilustrativní.","aura-showcase.pillTools":"25+ nástrojů","aura-showcase.pillRunning":"spuštěno","aura-showcase.pillAnalysing":"analýza kódové základny","aura-showcase.capabilityToolsTitle":"25+ nástrojů","aura-showcase.capabilityToolsBody":"Terminál, vyhledávání, lint, testy, git a další.","aura-showcase.capabilityMemoryTitle":"Sémantická paměť","aura-showcase.capabilityMemoryBody":"Pamatuje si vaši kódovou základnu a kontext týmu.","aura-showcase.capabilityAgentsTitle":"Orchestrace více agentů","aura-showcase.capabilityAgentsBody":"Specializovaní agenti spolupracují napříč oblastmi.","aura-showcase.guaranteeAuditTitle":"Auditní stopa","aura-showcase.guaranteeAuditBody":"Každý krok je zaznamenán s časovým razítkem.","aura-showcase.guaranteeGuardrailsTitle":"Ochranná opatření","aura-showcase.guaranteeGuardrailsBody":"Pravidla, kontroly a testy se vždy spouští.","aura-showcase.guaranteeApprovalTitle":"Změny kódu se schválením","aura-showcase.guaranteeApprovalBody":"Prohlédněte si diffy, vyžádejte změny, finální podpis.","aura-showcase.guaranteeReplayTitle":"Deterministické přehrání","aura-showcase.guaranteeReplayBody":"Přehrát jakoukoli relaci bit po bitu, když je třeba něco zkontrolovat.","aura-showcase.workflowUnderstand":"Porozumět","aura-showcase.workflowUnderstandCaption":"Přečíst retry.ts, nalezena chyba s timeoutem","aura-showcase.workflowPlan":"Plánovat","aura-showcase.workflowPlanCaption":"Extrahovat guard + omezit opakování","aura-showcase.workflowImplement":"Implementovat","aura-showcase.workflowImplementCaption":"Opraveno retry.ts + types.ts","aura-showcase.workflowTest":"Testovat","aura-showcase.workflowTestCaption":"28 testů, 94% pokrytí","aura-showcase.workflowVerify":"Ověřit","aura-showcase.workflowVerifyCaption":"Spouštím lint a typecheck...","aura-showcase.workflowAudit":"Audit","aura-showcase.workflowAuditCaption":"Čeká se na shrnutí","aura-showcase.footer":"Autonomní agenti, kteří píší kód a vedou záznamy","aura-showcase.testsPassing":"prošlo","aura-showcase.testsFailing":"selhalo","aura-showcase.modified":"upraveno","aura-showcase.af0854de67":"Aura","aura-showcase.73989d9c59":"Spuštěno","aura-showcase.f9e94338d0":"Analýza kódové základny","aura-showcase.d7a484140f":"Pracovní postup","aura-showcase.287fda8114":"Sjednocený","aura-showcase.80e13549b4":"Pokrytí","aura-showcase.b71cc78b34":"Extrahováno isRetryableError","aura-showcase.c37a8a9e2b":"pro zpracování\n                    síťových timeoutů, odpovědí 5xx a idempotentně bezpečných\n                    podmínek. Čistá pomocná funkce, plně pokrytá testy.","aura-tech-middles.7fba7d244f":"Horká cesta","aura-tech-middles.1be47ef71c":"Průřezový","aura-tech-middles.92096d78df":"Vstup","aura-tech-middles.8e05a902ed":"Výstup","aura-tech-middles.49a66c994d":"Vestavění agenti","aura-tech-middles.a60792e996":"Vnější smyčka","aura-tech-middles.0dfd4db698":"Vnitřní smyčka","aura-tech-middles.bbd88bff92":"Příchozí požadavek","aura-tech-middles.a618b4be8d":"Dotaz","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":"Drobečková navigace","page-toc.7e439c353e":"Na této stránce","res-forge-action-instrument.089b6f0342":"Spouští","res-forge-action-instrument.97c89a4d66":"Akce","res-forge-ambiguity-board.af13a94202":"je výsledek, a je zaznamenán\n          jako jedna.","res-forge-ambiguity-board.e9a46a96e9":"Nejednoznačné","res-forge-ambiguity-board.1ee9387ca8":"Tři způsoby, jak může osoba odpovědět. Vyhledávání samo o sobě žádný z nich nebere.","res-forge-ambiguity-board.f275049b4b":"Který z nich jsi myslel?","res-forge-ambiguity-board.e1f6a95de4":"prázdná posloupnost","res-forge-ambiguity-board.39f54f4f92":"Vstup nebyl dodán","res-forge-ambiguity-board.3636a0be7f":"souhlasí","res-forge-ambiguity-board.140f86aae5":"vstup","res-forge-ambiguity-board.5a3eea8643":"Každý dodaný příklad","res-forge-ambiguity-board.fd50372bde":"Pět dodaných příkladů a jak na ně oba kandidáti odpovídají","res-forge-ambiguity-board.86c03753f3":"nahlásit nejmenší částku v posloupnosti","res-forge-ambiguity-board.e9c366b4f3":"Požadavek","res-forge-ambiguity-board.957a3c6b10":"zúžit doménu","res-forge-ambiguity-board.b0567c7519":"přidat podmínku","res-forge-ambiguity-board.7713f29af2":"přidat příklad","res-forge-ambiguity-board.5472c41b95":"čte prázdnou posloupnost jako mimo povolený vstup","res-forge-ambiguity-board.2597c3398a":"chyba","res-forge-ambiguity-board.9adfc74130":"Kandidát 2","res-forge-ambiguity-board.72e8350f75":"čte prázdnou posloupnost jako neutrální částku","res-forge-ambiguity-board.170d4a4827":"Kandidát 1","res-forge-assurance-ladder.7607387940":"co nezakládá","res-forge-assurance-ladder.204b9b0c88":"co předpokládal","res-forge-assurance-ladder.f03d859ccc":"co bylo zkontrolováno","res-forge-assurance-ladder.6b3fa46450":"dva kandidáti, dva poctivé body zastavení, oba uvedeny tak, jak jsou","res-forge-assurance-ladder.ed682e5934":"NEODVOZENO Z Q","res-forge-assurance-ladder.bdad2aeeb8":"Stupně záruky","res-forge-assurance-ladder.9a9f9e5d26":"ŽÁDNÝ STUPEŇ NENÍ ODVOZEN","res-forge-assurance-ladder.8259f9a8e2":"formální teorie mimo aktuální kontrakt","res-forge-assurance-ladder.4f7ee515f7":"uvedeno jako provázané s provedením","res-forge-assurance-ladder.0d9389b742":"Jakékoli chování na cíli, které záznam nejmenuje.","res-forge-assurance-ladder.246b796ef8":"To, že zaznamenané identity jsou ty, které běh vytvořil.","res-forge-assurance-ladder.69ded617f9":"graf, plán, artefakt a výsledek sdílejí jeden záznam","res-forge-assurance-ladder.5102f2ad33":"identita vázaná od začátku do konce","res-forge-assurance-ladder.49d89b6ce4":"PROVÁZANÉ S PROVEDENÍM","res-forge-assurance-ladder.a1cce5c1a6":"Jakákoli vlastnost, kterou kontrakt nezakódoval, a jakýkoli vydaný artefakt.","res-forge-assurance-ladder.a7d0feec4e":"Sémantika, která byla zakódována, a předpoklady, které paket ukotvil.","res-forge-assurance-ladder.fce451ff2c":"předpoklady jsou ukotveny a vyjmenovány","res-forge-assurance-ladder.c830a6c3be":"dokázaná symbolická vlastnost","res-forge-assurance-ladder.da528b9287":"FORMÁLNĚ OVĚŘENO","res-forge-assurance-ladder.d4c1c6915e":"Chování za hranicí, která nebyla nikdy prohledána.","res-forge-assurance-ladder.99d127dcae":"To, že deklarovaná doména je ta, v níž bude výsledek použit.","res-forge-assurance-ladder.d8a8ea038d":"doména je deklarována s tvrzením","res-forge-assurance-ladder.4538c7d77c":"konečná doména, pokrytá","res-forge-assurance-ladder.dfa6e659c8":"OMEZENĚ ZKONTROLOVÁNO","res-forge-assurance-ladder.1412ce6f4c":"Chování na jakémkoli vstupu mimo zaznamenanou množinu.","res-forge-assurance-ladder.a1fde5a17c":"To, že deklarované případy představují chování, které výzkumníka zajímá.","res-forge-assurance-ladder.df4854fc18":"případy jsou zaznamenány s výsledkem","res-forge-assurance-ladder.36cba7e6ad":"konkrétní případy","res-forge-assurance-ladder.b5516f2280":"OTESTOVÁNO","res-forge-assurance-ladder.c0169d217f":"Nic o chování na jakémkoli vstupu.","res-forge-assurance-ladder.da65feb01c":"Jen to, že paket pojmenoval jazyk, z něhož byl kandidát vytvořen.","res-forge-assurance-ladder.6903a5abc9":"deklarovaný jazyk je uzavřen","res-forge-assurance-ladder.676886a349":"strukturální platnost","res-forge-assurance-ladder.68d222a4f0":"DOBŘE TVAROVANÉ","res-forge-assurance-ladder.85e08ba525":"To, že důkaz, graf, plán Kera a identita výsledku se vzájemně odkazují.","res-forge-assurance-ladder.5e68702137":"Podporovaná symbolická vlastnost, dokázaná nad zakódovanou sémantikou.","res-forge-assurance-ladder.9c8a0471a5":"Každá hodnota v konečné deklarované doméně, bez selhání.","res-forge-assurance-ladder.77345a75bc":"Každý konkrétní případ, který paket deklaroval, spuštěn a porovnán.","res-forge-assurance-ladder.8c4857d4f9":"Typy, tvary, efekty, vlastnictví a deklarované rozhraní.","res-forge-badge-opened.9a3d81d562":"Odznak patří přesně jednomu programu","res-forge-badge-opened.3d1307a7ff":"Zpět k prostému strukturálnímu štítku","res-forge-badge-opened.bac2685fbc":"Změnil se jeden krok","res-forge-badge-opened.aed3b8c6a7":"Ověřeno","res-forge-badge-opened.bf2bc5e115":"Stejný odznak po změně jednoho kroku","res-forge-badge-opened.d62d8e0dde":"Odeberte kterýkoli z těchto pěti prvků a dostanete jiné tvrzení.","res-forge-badge-opened.eb38f1807a":"Odznak a pět částí, které tvrdí","res-forge-badge-opened.98987f9e01":"vrátit výsledek","res-forge-badge-opened.613ac981db":"zaokrouhlit jiným způsobem","res-forge-badge-opened.25f1a0d208":"přečíst hodnotu","res-forge-badge-opened.16b22f5e52":"Neříká nic o desetinné aritmetice.","res-forge-badge-opened.349be220c7":"Formální výsledek a samostatná kontrola tohoto výsledku.","res-forge-badge-opened.17b29d4546":"Pouze celá čísla a nic mimo program.","res-forge-badge-opened.7d77d99854":"Platí pro každé celé číslo v deklarovaném rozsahu.","res-forge-badge-opened.7112a3df4e":"Tento přesný program, krok za krokem.","res-forge-boundary-instrument.e29c5de6a0":"Jedna řada je sdílená. Všechna ostatní odpovědnost leží přesně na jedné straně hranice.","res-forge-boundary-instrument.c6dda4f283":"vlastněno","res-forge-boundary-instrument.d18aac96b9":"sdíleno","res-forge-boundary-instrument.1ac443dbd4":"nevlastněno","res-forge-business-glyph.161d1b9d9a":"Jedna specifikace","res-forge-business-glyph.ab98f5b857":"Pevné","res-forge-business-glyph.82b6d04b0e":"Požadavek, který se nehýbe","res-forge-business-glyph.b5bf8067cf":"Kandidáti","res-forge-business-glyph.7e1d88fa7c":"objektivní 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ýběru","res-forge-business-glyph.7eff74a5a8":"zaznamenáno, ne skryto","res-forge-business-glyph.c3b9a01442":"latence","res-forge-business-glyph.b727a735e7":"pohyb","res-forge-business-glyph.1a7d89d441":"shoda s cílem","res-forge-business-glyph.ef64363d23":"důkaz","res-forge-business-glyph.efe124888c":"pojmenovaná záruka","res-forge-business-glyph.b086634a92":"kompromisy viditelné","res-forge-business-glyph.ca2bc19088":"Kera provádí","res-forge-business-glyph.f735a5ba22":"Výzkumný program, ne softwarová nabídka","res-forge-candidate-fan.b6871fa0fc":"Siluety jsou strukturální, nikoli zdrojové. Délky stuh jsou relativní pozice na jedné\n            hranici.","res-forge-candidate-fan.8641796596":"Kandidát E je dominován kandidátem D na aktivní množině cílů","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":"shoda s cílem","res-forge-candidate-fan.b727a735e7":"pohyb","res-forge-candidate-fan.714eea0f4c":"čas","res-forge-candidate-fan.73ea3f356f":"Dominovaný","res-forge-candidate-fan.82f8a46f55":"vnořený strom","res-forge-candidate-fan.416bfd329b":"Na hranici","res-forge-candidate-fan.00c93cd155":"rozdělení do dvou pruhů","res-forge-candidate-fan.a70e321a36":"kompaktní blok","res-forge-candidate-fan.f259a41862":"široký vějíř","res-forge-candidate-fan.8503665914":"Nalezeno jako první","res-forge-candidate-fan.e2a3a58a40":"jeden dlouhý řetězec","res-forge-choice-board.2f98d2f5be":"Vyvážené je také preference a je tak zaznamenáno.","res-forge-choice-board.ce025222b1":"Každá z těchto čtyř možností je správná, takže se jedná o preferenci, nikoli o pořadí.","res-forge-choice-board.48e09e45c5":"Správně","res-forge-choice-board.13f66243ef":"Preferovat","res-forge-choice-board.55559438c9":"B se vzdává nejméně v jakémkoli jednotlivém ohledu.","res-forge-choice-board.03342dbb85":"Vyvážené","res-forge-choice-board.3cd298fe82":"D má nejkratší cestu kontroly.","res-forge-choice-board.baf123fc17":"Nejjasnější","res-forge-choice-board.58adc98abc":"C běží na nejširší sadě podporovaných strojů.","res-forge-choice-board.b2df292ee2":"Nejširší","res-forge-choice-board.7987c4ffa8":"B přesouvá nejméně dat a dokončení trvá déle.","res-forge-choice-board.4e76f5796f":"Nejúspornější","res-forge-choice-board.cda4a6b217":"A skončí nejdříve a během práce drží nejvíce dat.","res-forge-choice-board.4cb3bb0fc4":"Nejrychlejší","res-forge-choice-board.ed798211fb":"D se vzdává jednoho přepisu, aby zůstal snadno kontrolovatelný.","res-forge-choice-board.2a318223e9":"Program D","res-forge-choice-board.69a71f0df6":"C přesouvá více dat, aby se tam dostal.","res-forge-choice-board.d7782ce200":"Program C","res-forge-choice-board.018761680d":"B trvá déle, než dokončí.","res-forge-choice-board.d2307ff43a":"Program B","res-forge-choice-board.4c06d2baf8":"A drží nejvíce dat, zatímco pracuje.","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, které přijímá","res-forge-choice-instrument.fd9a9f965e":"Relativní modelovaná latence","res-forge-choice-instrument.24d3e4fdd9":"Síla","res-forge-choice-instrument.6853c98a6f":"Člen","res-forge-conflict-board.0e565b0b3e":"Žádný pruh na této desce nekončí generovaným záložním kódem. Každý končí pojmenovaným výsledkem a osobou, která vlastní další tah.","res-forge-conflict-board.bb54db510a":"Přijmout","res-forge-conflict-board.09c3f0d154":"není reprezentováno ověřovací smlouvou","res-forge-conflict-board.75e6b42fc5":"Mimo rozsah","res-forge-conflict-board.281dd83602":"Rozšířit","res-forge-conflict-board.8a97b9af81":"teorie a rozpočtový limit","res-forge-conflict-board.bc7819b34f":"Neznámé","res-forge-conflict-board.3e0fb17cab":"Vyjasnit","res-forge-conflict-board.7835f9c578":"odmítá dávku","res-forge-conflict-board.9522606498":"vrací neutrální součet","res-forge-conflict-board.e9a46a96e9":"Nejednoznačné","res-forge-conflict-board.d36f29cacf":"Sladit","res-forge-conflict-board.9a064eb243":"v jazyce L neexistuje žádný kandidát","res-forge-conflict-board.5f20d0f3ac":"Nesplnitelné","res-forge-conflict-board.151864867d":"Šest klauzulí jednoho požadavku","res-forge-conflict-board.426475873e":"výsledek dorazí v pevném časovém okně","res-forge-conflict-board.6933c35154":"opravný záznam může snížit součet","res-forge-conflict-board.4bf7985a78":"výsledek je přesný na poslední jednotku","res-forge-conflict-board.55dca06fb3":"prázdná dávka je přijata","res-forge-conflict-board.5b3e0d86e8":"součet nikdy neklesá při přidávání záznamů","res-forge-conflict-board.33f78f4681":"každá částka zůstává v deklarovaném rozsahu","res-forge-consumer-glyph.9154742cfc":"Práce jednou větou","res-forge-consumer-glyph.b7d5d68aa8":"Udržte každé čtení v bezpečném rozsahu","res-forge-consumer-glyph.5a29585e3f":"Pokusy","res-forge-consumer-glyph.6bd1f59b85":"dva selžou na případu","res-forge-consumer-glyph.059c3755e1":"dva dorazí","res-forge-consumer-glyph.d3f5d23e46":"jeden nese pečeť","res-forge-consumer-glyph.6bb9173137":"hledá","res-forge-consumer-glyph.50814a267d":"mnoho možných programů","res-forge-consumer-glyph.64c675f85c":"odmítá","res-forge-consumer-glyph.7403925825":"cokoli, co selže na jednom případu","res-forge-consumer-glyph.c1a77ef9ed":"říká, jak silně kontroloval","res-forge-consumer-glyph.691b10181f":"a kde kontrola končí","res-forge-consumer-glyph.100ec4462d":"důkazy","res-forge-consumer-glyph.88acf54a65":"někdy žádný program","res-forge-consumer-glyph.72dc433046":"Odpověď může být žádný program","res-forge-cost-vector.140b63310c":"Kandidát C","res-forge-cost-vector.2437a7ecbd":"Důkazy pro každý cíl","res-forge-cost-vector.25b7302067":"Srovnání, které se přenáší do jiného experimentálního balíčku.","res-forge-cost-vector.26d24d71f0":"Paměťový provoz","res-forge-cost-vector.3e39972526":"Latence","res-forge-cost-vector.405bdec664":"Žádné měření neexistuje","res-forge-cost-vector.4b1dda27e1":"Co vektor není","res-forge-cost-vector.555486354d":"Velikost kódu","res-forge-cost-vector.5d0b1f6647":"Tyto dvě čáry se protínají, proto žádný kandidát sám o sobě není odpovědí.","res-forge-cost-vector.66374d941d":"Měřeno na hardwaru","res-forge-cost-vector.89a596e251":"Prázdná buňka je tvrzení: složitost důkazu byla modelována a nikdy měřena.","res-forge-cost-vector.8a4da1dcc8":"Místo, kde může výstup modelu zastoupit měření.","res-forge-cost-vector.ab8dd4df08":"Dražší","res-forge-cost-vector.ac46a8c74c":"Složitost důkazu","res-forge-cost-vector.ad638eff4a":"Čtyři cíle, dva kandidáti, jeden experiment","res-forge-cost-vector.b0b01215a0":"Kandidát D","res-forge-cost-vector.bf8197e03c":"Relativní pozice v jednom experimentu, vyšší znamená dražší.","res-forge-cost-vector.cd05967fea":"Modelováno před jakýmkoli během","res-forge-cost-vector.ec8e6defbf":"Jediné skóre, podle kterého lze kandidáty seřadit.","res-forge-cost-vector.f4cfc474fa":"Levnější","res-forge-counterexample-loop.aca21ce064":"vytvoří novou identitu specifikace","res-forge-counterexample-loop.fb8953469c":"PŘIDAT PODMÍNKU","res-forge-counterexample-loop.7e5559029b":"běh pokračuje pod stejnou identitou","res-forge-counterexample-loop.89ad46cbd8":"PŘIDAT PŘÍPAD","res-forge-counterexample-loop.9001aab10f":"DVĚ LEGITIMNÍ ODPOVĚDI NA SELHÁNÍ","res-forge-counterexample-loop.8888c622ac":"na co byl ověřovatel dotázán","res-forge-counterexample-loop.ec6e54733d":"sloupec nikdy neztratí řádek","res-forge-counterexample-loop.2a117d0937":"DŮKAZ, KTERÝ MUSÍ SPLNIT DALŠÍ KANDIDÁT","res-forge-counterexample-loop.da7195483c":"Vyberte iteraci zpřesňovací smyčky","res-forge-counterexample-loop.a0c4d76862":"Třetí kandidát splňuje všechny zaznamenané povinnosti. Ověřovatel nenajde žádný porušující vstup v podporované doméně a vrátí důkaz s uvedenými předpoklady.","res-forge-counterexample-loop.f4800df8d1":"out","res-forge-counterexample-loop.2c3cbd53a7":"mul","res-forge-counterexample-loop.d052634571":"widen","res-forge-counterexample-loop.c7e42d43b0":"guard","res-forge-counterexample-loop.11f6ad8ec5":"x","res-forge-counterexample-loop.fcdd12a167":"FORMÁLNĚ OVĚŘENO, předpoklady uvedeny","res-forge-counterexample-loop.02b8a8db00":"pro všechna x v i32, plus oba zaznamenané případy","res-forge-counterexample-loop.30f7f19326":"Druhý kandidát musí splnit příklady i případ přetečení zároveň. Rozšíří mezihodnotu před násobením a ověřovatel vrátí druhý případ, který specifikace nikdy nepokryla: prázdný vstup.","res-forge-counterexample-loop.02dc309df7":"ZPOPŘEČENO, nalezen protipříklad","res-forge-counterexample-loop.9ab3ad07a9":"pro všechna x v i32, plus zaznamenaný případ","res-forge-counterexample-loop.47d7508d9a":"První kandidát splňuje tři dodané příklady. Ověřovatel prohledá celé i32 a vrátí jeden konkrétní vstup, kde škálovaný součin opustí deklarovaný rozsah.","res-forge-counterexample-loop.ad5fa3b2c6":"pro všechna x v i32","res-forge-counterexample-loop.d1c8b37b24":"x = prázdný vstup","res-forge-counterexample-loop.b412089d87":"x = 2147483647, přetečení","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":"nic na tomto listu neslučuje čtyři cíle do jednoho čísla","res-forge-decision-record.d327f7b3ba":"Žádné jednotné skóre","res-forge-decision-record.6a7eee59c0":"Nevybráno a proč","res-forge-decision-record.3e7c118949":"Vybral","res-forge-decision-record.1918daaba9":"Vybraný člen","res-forge-decision-record.974ff8bb6e":"Sada cílů","res-forge-decision-record.e38c2194b4":"formálně ověřeno","res-forge-decision-record.ea2dfcc9cc":"Práh jistoty","res-forge-decision-record.1ccf5d25df":"Specifikace","res-forge-decision-record.5a445661ea":"dominováno","res-forge-decision-record.f950982dd0":"Identické za každé politiky","res-forge-decision-record.e6f8a915dc":"Hranice","res-forge-decision-record.473161067f":"Politika výběru","res-forge-decision-record.1a7d89d441":"shoda s cílem","res-forge-decision-record.b3c5533e86":"přesun paměti","res-forge-decision-record.544852fd7a":"nejjednodušší důkaz","res-forge-decision-record.6bf0b2c0d8":"delší auditní cesta, získává širší shodu s cílem","res-forge-decision-record.fdd18306eb":"Člen C","res-forge-decision-record.ee96b43256":"delší auditní cesta, získává nižší přesun","res-forge-decision-record.1e19ce513c":"Člen B","res-forge-decision-record.7ad441b0c0":"delší auditní cesta než vybraný člen na aktivní sadě","res-forge-decision-record.d04e27e317":"Člen A","res-forge-decision-record.fec4a6c489":"Regulovaný program čte stejnou hranici podél osy důkazů a vybere člena D.","res-forge-decision-record.32cba0b9da":"nejpřímější auditní cesta","res-forge-decision-record.f88efb9bc7":"Člen D","res-forge-decision-record.47942077ae":"Nejjednodušší důkaz","res-forge-decision-record.e9647ad29d":"běží na méně podporovaných cílech, obchoduje šíři za auditní cestu","res-forge-decision-record.baede38a31":"běží na méně podporovaných cílech, obchoduje šíři za přesun","res-forge-decision-record.7b357b2d93":"běží na méně podporovaných cílech než vybraný člen","res-forge-decision-record.2a6987fbaf":"Prostředí rozložené napříč smíšeným hardwarem čte stejnou hranici podél osy cílů a vybere člena C.","res-forge-decision-record.462746df39":"nejširší shoda s cílem","res-forge-decision-record.ad59e3b102":"Nejširší","res-forge-decision-record.6235c63244":"přesouvá více dat a místo toho drží kratší odvození","res-forge-decision-record.709e1b623c":"přesouvá více dat, rozložených napříč více podporovanými cíli","res-forge-decision-record.7efb4f14c6":"přesouvá více dat než vybraný člen na aktivní sadě","res-forge-decision-record.26929cd71c":"Nasazení omezené paměťovým provozem čte stejnou hranici podél osy přesunu a vybere člena B.","res-forge-decision-record.993033f0b5":"nejnižší přesun paměti","res-forge-decision-record.4e76f5796f":"Nejúspornější","res-forge-decision-record.344f41f998":"vyšší modelovaná latence a jeho kratší auditní cesta není osa","res-forge-decision-record.ed3d6e1e77":"vyšší modelovaná latence a jeho šíře se zde neplatí","res-forge-decision-record.0be3560065":"vyšší modelovaná latence než vybraný člen na aktivní sadě","res-forge-decision-record.b8b9888522":"Inženýrský tým s jedním cílovým strojem čte hranici podél osy latence a vybere člena A.","res-forge-decision-record.ffefb7fa98":"nejnižší modelovaná latence","res-forge-decision-record.4cb3bb0fc4":"Nejrychlejší","res-forge-equivalence-space.638d0226a9":"pouze relativní pozice, bez naměřených hodnot","res-forge-equivalence-space.b727a735e7":"pohyb","res-forge-equivalence-space.e8c39c4d7e":"operace","res-forge-equivalence-space.4619486033":"extrahovaný tvar","res-forge-equivalence-space.f42512d469":"Cíl extrakce","res-forge-equivalence-space.92149cf8ce":"SEED","res-forge-equivalence-space.217cb1c2eb":"Jeden výraz rozšířený do čtyř tříd ekvivalentních tvarů, s cestou k vybranému cíli extrakce zvýrazněnou a jednou odmítnutou hranou vykreslenou, ale nikdy nezvýrazněnou","res-forge-equivalence-space.ccce87f620":"Výraz rozšířený do sítě ekvivalentních tvarů s podmínkami na hranách","res-forge-equivalence-space.27fa456ce7":"Extrakce pro přenositelnost místo toho přebírá redukci síly a změnu rozvržení. Provádí více operací než algebraický tvar a dosahuje nejširší množiny podporovaných cílů.","res-forge-equivalence-space.27d7e452b1":"(a << 1) + a, zabalené","res-forge-equivalence-space.feba5b9c56":"Extrakce pro pohyb přenáší stejný algebraický krok dál do třídy fúze. Provádí méně operací než tvar rozvržení a drží nejnižší pohyb paměti ze všech tří.","res-forge-equivalence-space.37226e169c":"fuse(a + a + a)","res-forge-equivalence-space.a2f4cd4d38":"Extrakce pro latenci přebírá algebraický tvar a tam končí. Provádí nejméně operací a přesouvá více dat než fúzovaný tvar, a má nárok na podmínku šířky, která byla dokázána.","res-forge-equivalence-space.4b10d3e274":"3 * a","res-forge-equivalence-space.dfb1d5b6c2":"PŘENOSITELNOST","res-forge-equivalence-space.37f756c7d0":"POHYB","res-forge-equivalence-space.49d6c10ece":"LATENCE","res-forge-equivalence-space.8e43c13f74":"přeskupení f32 odmítnuto","res-forge-equivalence-space.13d2c4a154":"šířka i32 dokázána","res-forge-equivalence-space.dcc4e6c574":"TŘÍDA ROZVRŽENÍ","res-forge-equivalence-space.69688a961b":"TŘÍDA FÚZE","res-forge-equivalence-space.16cbdc05fc":"TŘÍDA SÍLY","res-forge-equivalence-space.dbb0f90765":"ALGEBRAICKÁ TŘÍDA","res-forge-equivalence-space.bc109fb076":"přenositelné","res-forge-equivalence-space.7aca22de0b":"zabalené","res-forge-equivalence-space.1f08a3216a":"fúzované","res-forge-equivalence-space.b0c659fe95":"streamované","res-forge-equivalence-space.28e1e451f0":"přeskupení f32","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":"Propagace vyžaduje důkazy, ne kontrolu. Tato funkce není dostupná v žádném\n              stavu na této desce, což je pravidlo, které se kreslí.","res-forge-evidence-cards.61c57736e7":"Propagovat","res-forge-evidence-cards.7d903d3344":"Pravidlo propagace","res-forge-evidence-cards.8fc2a131ae":"změnil se jeden uzel a popisek se vrací do dobře utvořeného stavu","res-forge-evidence-cards.4acf3ac41d":"Kandidátské spisy","res-forge-evidence-cards.65748fb5d3":"plovoucí oblast stejného grafu, kterou toto kódování nezachycuje","res-forge-evidence-cards.d274f5b4e3":"Co není stanoveno","res-forge-evidence-cards.8f4f743d7f":"přesná sémantika celých čísel a oblast prohlášená paketem za čistou","res-forge-evidence-cards.7d37b7550c":"Za jakých předpokladů","res-forge-evidence-cards.2bae06de12":"každý vstup, který formální teorie dokáže vyjádřit","res-forge-evidence-cards.e700afa7f9":"Na jaké oblasti","res-forge-evidence-cards.8be740fd8c":"zakódovaný vztah v celé podporované oblasti","res-forge-evidence-cards.b76e542d96":"Co bylo zkontrolováno","res-forge-evidence-cards.906c590060":"podporovaný univerzální vztah byl prokázán za uvedených předpokladů","res-forge-evidence-cards.ea66d3cd71":"Formálně ověřeno","res-forge-evidence-cards.b7330133c1":"Kandidát R","res-forge-evidence-cards.8e950fc545":"jakýkoli vstup mimo dodanou množinu, včetně kvantifikované podmínky","res-forge-evidence-cards.72d0fc35c6":"referenční chování dodané s paketem v rámci jeho vlastní oblasti","res-forge-evidence-cards.2c8e59076b":"dodané vstupy, jeden po druhém","res-forge-evidence-cards.961d36c1e2":"konkrétní případy zapsané ve specifikaci","res-forge-evidence-cards.593aeb47dc":"deklarované konkrétní případy prošly a nic nad jejich rámec nebylo tvrzeno","res-forge-evidence-cards.919003799d":"Testováno","res-forge-evidence-cards.24f43cdd11":"Kandidát Q","res-forge-evidence-cards.8af32eb207":"chování na cílovém profilu, který spouštěcí odkaz nepojmenovává","res-forge-evidence-cards.d7201bf2e3":"číselná rodina a účinky, které paket povolil, obojí pevně určeno","res-forge-evidence-cards.dfaa1686c4":"deklarovaný rozsah vstupů na jednom podporovaném cílovém profilu","res-forge-evidence-cards.707e2a56c9":"prokázaný vztah, poté plán a artefakt, který jej přenesl do provedení","res-forge-evidence-cards.f092d6fe39":"identita grafu, plánu, artefaktu a výsledku zůstává svázána dohromady","res-forge-evidence-cards.32d888fecc":"Provedení propojeno","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":"POKUD SE ZMĚNÍ JAKÉKOLI POLE","res-forge-experiment-packet.f5ca7850da":"uzavřeno na začátku běhu","res-forge-experiment-packet.1f7febf95f":"DEKLAROVANÁ POLITIKA","res-forge-experiment-packet.39b2c01e18":"UZAVŘENÝ JAZYK","res-forge-experiment-packet.c2bb6fa0c5":"SPECIFIKACE NEMĚNNÁ","res-forge-experiment-packet.4484cb6fa9":"hlásit neznámé","res-forge-experiment-packet.feaf4dd4e6":"omezení: velikost <= 6","res-forge-experiment-packet.5aa50aebf7":"formální, kde je podporováno","res-forge-experiment-packet.31be469709":"POLITIKA","res-forge-experiment-packet.e1e3e98714":"velikost kódu","res-forge-experiment-packet.b3c5533e86":"přesun paměti","res-forge-experiment-packet.e64e22b150":"CÍLE","res-forge-experiment-packet.48aef70526":"pevné celkové pořadí","res-forge-experiment-packet.294793bfad":"dvojkový doplněk, 32 bitů","res-forge-experiment-packet.1e9edfb9ee":"SÉMANTIKA","res-forge-experiment-packet.9c5c96b457":"žádný vnější účinek","res-forge-experiment-packet.d835dab5b4":"přesné 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ální relace","res-forge-experiment-packet.dbeac903da":"4 příklady","res-forge-experiment-packet.32082e06e3":"SPECIFIKACE","res-forge-forms-instrument.b050566d50":"vůbec ne","res-forge-forms-instrument.d680340c0b":"částečně","res-forge-forms-instrument.ad22e7e15b":"rozhoduje o tom","res-forge-forms-instrument.7cb8793606":"nerozhoduje o tom","res-forge-forms-instrument.ed5a4b874a":"rozhoduje o tom částečně","res-forge-four-silences.a2b701e0b3":"Žádný program se nevytvoří a důvod je pojmenován.","res-forge-four-silences.5faa59d4bc":"Výsledek","res-forge-four-silences.5647cada0f":"Co by to změnilo","res-forge-four-silences.7661e6591f":"Co se stalo","res-forge-four-silences.1189b54fc7":"Co bylo požadováno","res-forge-four-silences.c648f0b37b":"Čtyři důvody, proč je odpovědí žádný program","res-forge-four-silences.2637ce69f5":"PROGRAM","res-forge-four-silences.f61fa98a3b":"MODEL","res-forge-four-silences.cbbef8ce7e":"VNĚJŠEK","res-forge-four-silences.ce75fc2aec":"DANÝ LIMIT","res-forge-four-silences.3a339a1749":"PRAVIDLO 2","res-forge-four-silences.35a7d11e05":"PRAVIDLO 1","res-forge-four-silences.8cc9c3c016":"Zpět k tomu, co tvrzení pokrývá","res-forge-four-silences.971c87e299":"Zahrňte službu do modelu, nebo zúžte tvrzení.","res-forge-four-silences.88868a0c58":"Část chování leží mimo hranici, kterou kontrola dokáže popsat.","res-forge-four-silences.181032c74d":"zeptat se externí služby na limit","res-forge-four-silences.407dfebcf1":"Zpět s větším prostorem","res-forge-four-silences.97cd9b5795":"Delší běh nebo jiná metoda.","res-forge-four-silences.33af89d7fc":"Hledání dosáhlo daného limitu a zastavilo se, aniž by otázku rozhodlo.","res-forge-four-silences.086f7cbb23":"jedno pravidlo o každém podporovaném vstupu","res-forge-four-silences.74864a1ff8":"Zpět pro jedno rozhodnutí","res-forge-four-silences.7c78667c01":"Doplňte ještě jeden příklad.","res-forge-four-silences.fd58916c0c":"Dva různé způsoby chování se shodují na všech třech příkladech a liší se u čtvrtého vstupu.","res-forge-four-silences.96dee44862":"3 dává 9","res-forge-four-silences.9179befc0c":"2 dává 4","res-forge-four-silences.3d47eae588":"1 dává 1","res-forge-four-silences.35f6e4ab6c":"Zpět k tomu, kdo pravidla napsal","res-forge-four-silences.5c332290c5":"Uvolněte jedno ze dvou pravidel.","res-forge-four-silences.ece7f203f5":"Obě pravidla se střetávají. Záporný vstup nemůže splnit obě zároveň.","res-forge-four-silences.b25d65ea16":"vrátit vstup beze změny","res-forge-four-silences.a4d3a2c877":"vždy vrátit kladné číslo","res-forge-four-silences.20cb7eef2c":"Mimo model","res-forge-four-silences.c439038abe":"Nepokryto","res-forge-four-silences.04ae6467a0":"Žádný závěr","res-forge-four-silences.280c5e7fc6":"Dva výklady","res-forge-four-silences.3fe459f958":"Nic nesedí","res-forge-graph-asset.49281c01cf":"návrat k dobře utvořenému","res-forge-graph-asset.670f6bdd9a":"nová identita kandidáta","res-forge-graph-asset.197e419ad3":"NOVÁ IDENTITA GRAFU","res-forge-graph-asset.33dd31d4b3":"Změňte označený uzel","res-forge-graph-asset.d7b94d76cf":"JEDEN UZEL, OZNAČENÝ VE VŠECH TŘECH ZOBRAZENÍCH","res-forge-graph-asset.990742f8b4":"vyrovnávací paměti","res-forge-graph-asset.1bdbf6a26d":"clamp, uložit ven","res-forge-graph-asset.e9e90fc64f":"scale, mul, add","res-forge-graph-asset.851967b4a3":"načíst x, k, lo","res-forge-graph-asset.46599c6b1e":"názvy operátorů odpovídají názvům uzlů","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":"STEJNÝ OBJEKT","res-forge-graph-asset.31e8d812fa":"DATOVÝ TOK","res-forge-graph-asset.891bbd450e":"VÝRAZ","res-forge-graph-asset.e7bd56e1ec":"GRAPH","res-forge-graph-asset.30a5d0d91f":"Stejný sémantický graf vykreslený jako graf uzlů, jako výraz a jako datový tok,\n              s jedním uzlem označeným ve všech třech zobrazeních a spojeným jediným pravidlem","res-forge-graph-asset.0be82d1c87":"Jeden sémantický graf nakreslený třemi způsoby, jako graf, jako výraz a jako datový tok, s uzlem clamp označeným ve všech třech","res-forge-graph-asset.da528b9287":"FORMÁLNĚ OVĚŘENO","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":"Není s čím to porovnat","res-forge-intent-cards.f2b3a1f895":"Napsáno přímo z věty","res-forge-intent-cards.8af3e09e73":"Stejná věta zodpovězena přímo","res-forge-intent-cards.ee3c9325a5":"Tyto mohou selhat, o to jde","res-forge-intent-cards.a014f9c662":"Tvar je zachován, mezery se prohledávají.","res-forge-intent-cards.d40fae93b9":"Dvě mezery","res-forge-intent-cards.32fd056d3d":"Náčrt","res-forge-intent-cards.5b6d56b37e":"Zkontrolováno při každém čtení, které pravidlo dokáže pojmenovat.","res-forge-intent-cards.43a980aaf8":"čtení, odpověď zůstává mezi 0 a 100 a nikdy se nepohne o více než jeden\n                  krok.","res-forge-intent-cards.d8784ae2ea":"Pro každé","res-forge-intent-cards.57f6dcedb1":"Jeden řádek","res-forge-intent-cards.78e1790e29":"Pravidlo","res-forge-intent-cards.85ee9e64bf":"Zkontrolováno na čteních, která jste dodali.","res-forge-intent-cards.ef73fdd1c8":"Čtyři případy","res-forge-intent-cards.eb01bf04c9":"Příklady","res-forge-intent-cards.77d979bc52":"Tři formy, které věta může mít","res-forge-intent-cards.b784f64740":"Rozděluje se na tři formy a každou lze zkontrolovat.","res-forge-intent-cards.6802fdd79e":"Co bylo požadováno","res-forge-intent-cards.650c85708e":"chybějící krok","res-forge-intent-cards.d2fb792999":"omezit, jak daleko může skočit pomocí","res-forge-intent-cards.d2fde1a28f":"udržet ji v rozsahu pomocí","res-forge-intent-cards.25f1a0d208":"provést čtení","res-forge-intent-cards.94407bb3ee":"„Udržujte každé čtení v bezpečném rozsahu a nikdy ho nenechte skočit.“","res-forge-intent-modes-instrument.fd197e80cc":"Formulář se vybírá, neslučuje. Záznam si ponechává, který z nich nesl tvrzení.","res-forge-intent-modes-instrument.a6c44a9033":"Pokrývá","res-forge-intent-modes-instrument.abd6628786":"Tři způsoby, jak vyjádřit, co má program dělat","res-forge-intent-routes.5170330dcc":"Obě větve mají stejný požadavek. Jen jedna z nich je dole na konci výkresu stále otevřená.","res-forge-intent-routes.544852fd7a":"nejjednodušší 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ýzkum","res-forge-intent-routes.f577430e54":"nový projekt","res-forge-intent-routes.f6ef754e2d":"Bod uzamčení","res-forge-intent-routes.7b2d03931b":"Konvenční","res-forge-intent-routes.f18b41890d":"chování, omezení a rizika, zapsané jednou","res-forge-intent-routes.e9c366b4f3":"Požadavek","res-forge-intent-routes.eb9ceb1149":"protipříklad","res-forge-intent-routes.462746df39":"nejširší cílová shoda","res-forge-intent-routes.120e0af75a":"nejnižší pohyb","res-forge-intent-routes.cd3e7bf034":"optimalizační projekt","res-forge-intent-routes.92be6abbc0":"jedna kódová základna","res-forge-intent-routes.9732c542fc":"implementace napsaná","res-forge-intent-routes.27df60a6a2":"zvolená architektura","res-forge-kera-boundary.1ccf5d25df":"Specifikace","res-forge-kera-boundary.29a184b65c":"graf","res-forge-kera-boundary.2fa9505626":"artefakt","res-forge-kera-boundary.37a5301a88":"výsledek","res-forge-kera-boundary.3bd7b119dd":"každý nedominovaný člen","res-forge-kera-boundary.4aca16af35":"Výsledek ověření","res-forge-kera-boundary.61792020d0":"Cílová fronta","res-forge-kera-boundary.646e287869":"důkaz a jeho předpoklady","res-forge-kera-boundary.6f8f7df48d":"FORGE","res-forge-kera-boundary.700bb94783":"redukce","res-forge-kera-boundary.7bc555991d":"pevný","res-forge-kera-boundary.7c1df38fca":"OVĚŘENÝ SÉMANTICKÝ GRAF","res-forge-kera-boundary.807a40a32f":"odkazuje zpět na graf","res-forge-kera-boundary.8b36233e89":"ověřený sémantický graf plus závazky","res-forge-kera-boundary.8cd3def21e":"na této straně nežije žádný cílový emitor","res-forge-kera-boundary.970c175475":"cílový profil","res-forge-kera-boundary.9c31467d05":"Drženo na této straně brány","res-forge-kera-boundary.a30f1285d5":"ODKAZ NA PROVEDENÍ","res-forge-kera-boundary.b727a735e7":"pohyb","res-forge-kera-boundary.bed97175b0":"plán","res-forge-kera-boundary.c9ff38c8bb":"připnutý výzkumný problém","res-forge-kera-boundary.cce55e4309":"pořadí","res-forge-kera-boundary.d4f766efab":"Tři držení, jeden objekt prochází","res-forge-kera-boundary.efe0c41bcb":"KERA","res-forge-loop-instrument.1e76c7e5b8":"Jeden smyčkový protipříklad, čtyři fáze","res-forge-pareto-frontier.e2ee360818":"PŘIDAT CÍL PRO ENERGII","res-forge-pareto-frontier.b0e56d1efe":"křivka je pevná, mění se pouze politika","res-forge-pareto-frontier.787ca603fd":"hranice patří do množiny cílů","res-forge-pareto-frontier.d0eeccbe8d":"vybral","res-forge-pareto-frontier.173d916846":"energie","res-forge-pareto-frontier.1a7d89d441":"shoda s cílem","res-forge-pareto-frontier.b727a735e7":"pohyb","res-forge-pareto-frontier.c3b9a01442":"latence","res-forge-pareto-frontier.3404b13cac":"množina cílů","res-forge-pareto-frontier.e38c2194b4":"formálně ověřeno","res-forge-pareto-frontier.bf984aca27":"prahová hodnota jistoty","res-forge-pareto-frontier.03d6a194f4":"specifikace","res-forge-pareto-frontier.33ca7f61b6":"NÁVRATNOST ENERGIE","res-forge-pareto-frontier.0acbd1c769":"POHYB PAMĚTI","res-forge-pareto-frontier.4b93d5e7ea":"LATENCE, VPRAVO VYŠŠÍ","res-forge-pareto-frontier.43bf415954":"Graf kompromisu latence proti pohybu paměti, s shodou s cílem vykreslenou jako velikost\n                značky, čtyři nedominované členy spojené křivkou hranice a sedm dominovaných\n                kandidátů, z nichž každý je spojen s členem, který ho dominuje","res-forge-pareto-frontier.f2b023979d":"xMinYMid meet","res-forge-pareto-frontier.473161067f":"Politika výběru","res-forge-pareto-frontier.7c1e368123":"Vyvážená politika kolena také vybírá kandidáta C, ale jiným argumentem: je to bod, kde vzdání se další latence přestává kupovat mnoho pohybu. To, že dvě politiky vybírají stejného člena, je fakt o této hranici, a záznam stále uvádí, která politika ho vybrala.","res-forge-pareto-frontier.b7aedb3b70":"Nejjednodušší důkazová politika vybírá kandidáta D. Vzdává se jednoho agresivního přepisu, takže její ověřovací povinnost je nejmenší ze čtyř.","res-forge-pareto-frontier.5614e2e73d":"Politika nejmenšího pohybu vybírá kandidáta B. Má nejdelší kritickou cestu ze čtyř, což je cena za přesun nejmenšího množství dat.","res-forge-pareto-frontier.14826696ec":"Nejrychlejší politika vybírá kandidáta A. Drží největší pracovní sadu na hranici, a záznam to uchovává spolu s výběrem, místo aby to skryl do skóre.","res-forge-pareto-frontier.c65681bb2d":"shoda s cílem: nejširší","res-forge-pareto-frontier.b097d0ac54":"pohyb: střední","res-forge-pareto-frontier.05da02c2f2":"latence: střední","res-forge-pareto-frontier.d0b64e1eec":"shoda s cílem: střední","res-forge-pareto-frontier.144e5e5e83":"pohyb: nižší","res-forge-pareto-frontier.aa828b0585":"latence: vyšší","res-forge-pareto-frontier.e3a088e260":"shoda s cílem: úzká","res-forge-pareto-frontier.6fc0d51b39":"pohyb: nejnižší","res-forge-pareto-frontier.1b565dbd5d":"latence: nejvyšší","res-forge-pareto-frontier.79c0f24c30":"pohyb: nejvyšší","res-forge-pareto-frontier.83504b708a":"latence: nejnižší","res-forge-pareto-frontier.37671e6ba6":"Vyvážené koleno","res-forge-pareto-frontier.47942077ae":"Nejjednodušší důkaz","res-forge-pareto-frontier.8703111807":"Nejširší cíl","res-forge-pareto-frontier.0b2147fd0a":"Nejmenší pohyb","res-forge-pareto-frontier.4cb3bb0fc4":"Nejrychlejší","res-forge-pareto-frontier.7e6396c2ce":"Politika nejširšího cíle vybírá kandidáta C. Běží na nejširší sadě podporovaných cílů a na obou vykreslených osách leží mezi dvěma extrémy.","res-forge-programme-boundary.97af50dd3d":"Brána protíná tři publikované okruhy a zastavuje se na hranici jádra. Vnější tři\n          lze zkoumat bez otevření nejvnitřnějšího.","res-forge-programme-boundary.9ba1f67469":"Výzkumný program, nikoli softwarová nabídka","res-forge-programme-boundary.f72e361ba7":"Kontrola publikací","res-forge-programme-boundary.108e9b7f90":"drženo jako výzkumná metoda","res-forge-programme-boundary.88306943fe":"Metoda","res-forge-programme-boundary.68836c550e":"Jádro","res-forge-programme-boundary.175267da12":"směrování teorie","res-forge-programme-boundary.15e58bec8d":"alokace rozpočtu","res-forge-programme-boundary.b32f31d61d":"pozice na hranici","res-forge-programme-boundary.6f3c47977c":"ohraničené měření","res-forge-programme-boundary.ff7fc62f3f":"stav zajištění","res-forge-programme-boundary.500aadccf6":"vybraný kandidát","res-forge-programme-boundary.5faa59d4bc":"Výsledek","res-forge-programme-boundary.6840659e94":"zpracování neznámého","res-forge-programme-boundary.3404b13cac":"cílová množina","res-forge-programme-boundary.78a3386c55":"limit zdrojů","res-forge-programme-boundary.90f54b8f1b":"povolený jazyk","res-forge-programme-boundary.c445f7aab5":"korpus specifikací","res-forge-programme-boundary.1ed77c3f7f":"Protokol","res-forge-programme-boundary.aba4559466":"pojmenovaný dosavadní stav","res-forge-programme-boundary.0c447c79ec":"výzkumná otázka","res-forge-programme-boundary.002ff59811":"Otázka","res-forge-programme-instrument.a725020675":"Stav","res-forge-programme-instrument.dc4e08a408":"Reklamace","res-forge-proof-parts-instrument.ba3fef96ae":"Důkaz o pěti částech","res-forge-provenance-chain.040c236a24":"čtyři z devíti uzlů a žádný zapečetěný krok mezi nimi","res-forge-provenance-chain.0ca6a997b6":"CO MUSÍ REPLAY REPRODUKOVAT","res-forge-provenance-chain.7c0a292070":"BOD ZNAČKY OZNAČUJE UZEL, KTERÉHO SE REPLAY DRÁHA MUSÍ DOTKNOUT","res-forge-provenance-chain.763ad25abd":"zapečetit r:1c62e08","res-forge-provenance-chain.da528b9287":"FORMÁLNĚ OVĚŘENO","res-forge-provenance-chain.9106ca2738":"VYBRÁNO","res-forge-provenance-chain.416eb4fbb0":"hranice","res-forge-provenance-chain.8e016346a6":"TŘÍDA EKVIVALENCE","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ÝZKUMNÝ KROK","res-forge-provenance-chain.b0b7ba4666":"SOUKROMÉ","res-forge-provenance-chain.6495ecf841":"cx 1","res-forge-provenance-chain.7312546346":"kandidát 1","res-forge-provenance-chain.32082e06e3":"SPECIFIKACE","res-forge-provenance-chain.4ee56d08c0":"Derivační graf zleva doprava: specifikace, dva kandidáti, dva protipříklady,\n              jeden zapečetěný vnitřní krok, třída ekvivalence, hranice a vybraný ověřený\n              výsledek","res-forge-provenance-chain.e259f512bc":"Derivační graf od specifikace k vybranému ověřenému kandidátovi, s jedním vnitřním krokem zapečetěným, ale propojeným","res-forge-provenance-chain.191f8b1087":"PROVEDENÍ VAZBY","res-forge-provenance-chain.88be68d35d":"VÝSLEDEK OVĚŘENÍ","res-forge-provenance-chain.bdd7fdaa13":"KANDIDÁT 2","res-forge-provenance-chain.608c5b40ac":"SPECIFIKACE v1","res-forge-record-timeline.0794c4ea35":"Rozhodnutí přijato","res-forge-record-timeline.0f9c9e32f9":"Verze, nikdy název větve","res-forge-record-timeline.314d8e79c0":"Proč nebyl zvolen kandidát B?","res-forge-record-timeline.39ab49c337":"Přesný vstup, který selhal, uchovaný pro dobro","res-forge-record-timeline.4868056615":"Na tomto řádku nebylo nic získáno z commit zpráv.","res-forge-record-timeline.4bd9342a8a":"Tři položky na to odpovídají a žádnou z nich není třeba rekonstruovat.","res-forge-record-timeline.59d432b5cb":"Alternativy porovnány","res-forge-record-timeline.6546ec1158":"Recenzent přichází dlouho poté","res-forge-record-timeline.6833948a23":"Napsáno v dané době","res-forge-record-timeline.7d1e2e97e8":"Požadavek uveden","res-forge-record-timeline.90726e413a":"Odpovídá na otázku","res-forge-record-timeline.aaddcdd4a5":"Metoda výzkumu, zapečetěná","res-forge-record-timeline.ccf3d548fe":"Přečteno zpět","res-forge-record-timeline.de805f67e3":"Pět kandidátů, jedna relace dominance","res-forge-record-timeline.e4a8371aea":"Záznam, čtený zleva doprava","res-forge-record-timeline.e8412cdd3e":"Politika a autorita za ní","res-forge-record-timeline.eeb026e98f":"Protipříklad zaznamenán","res-forge-record-timeline.f4452aa131":"Příčka a rozsah, který tato příčka pokrývá","res-forge-record-timeline.f65fb0cd45":"Dosažená jistota","res-forge-search-field.f6d08e6875":"Relativní délky, ne počty","res-forge-search-field.e9fd9a1eaa":"Co 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átních tvarů programu ve třech stavech kolem jednoho pevného rámce požadavku uprostřed","res-forge-search-field.0c596f1034":"xMidYMid slice","res-forge-search-field.7be0fdc4e0":"Postaveno, pak zachyceno","res-forge-search-field.9545c5f30a":"Neprošlo případem","res-forge-search-field.e247bbc42c":"Nikdy nebylo postaveno","res-forge-search-field.3d7da15c51":"Odmítnuto typem","res-forge-search-field.70c98ed3c6":"Povoleno ke kontrole","res-forge-search-field.35633f30dd":"Vyhovuje pravidlům","res-forge-search-field.50c026300b":"Přijato","res-forge-silence-instrument.3bc40f4b2a":"Čtyři výsledky, které se vrátí bez programu","res-forge-size-lattice.a82ce62110":"ŠIRŠÍ JAZYK, NOVÝ EXPERIMENT","res-forge-size-lattice.74ed41aa02":"MINIMÁLNÍ V RÁMCI JAZYKA L, PŘI VELIKOSTI 5 NEBO MÉNĚ","res-forge-size-lattice.4ca63f9c2e":"NEVYHLEDÁNO, NETVRZENO","res-forge-size-lattice.b79d0fac18":"DEKLAROVANÁ HRANICE","res-forge-size-lattice.5e265fa4aa":"PRVNÍ OVĚŘENO","res-forge-size-lattice.92664d7dff":"pozorování, ne důkaz","res-forge-size-lattice.950b23b925":"zrušeno jako pozorovaný duplikát","res-forge-size-lattice.a615e7ad1a":"odmítnuto typem, před vyhodnocením","res-forge-size-lattice.6f389bc568":"přijato","res-forge-specification-desk.65d9989d71":"DŮKAZNÍ FORMULÁŘE NEJSOU ZAMĚNITELNÉ","res-forge-specification-desk.166b5a63b2":"projde všemi čtyřmi příklady","res-forge-specification-desk.26a9ba5602":"x = -9","res-forge-specification-desk.5099050f90":"PŘÍPAD, KTERÝ JE ODDĚLUJE","res-forge-specification-desk.561f36ce2f":"spustitelná odpověď s vlastními omezeními","res-forge-specification-desk.ca24d384c1":"doména orákula: pouze 0 až 100","res-forge-specification-desk.3cee30a3ad":"REFERENCE","res-forge-specification-desk.0d99250013":"struktura pevná, dva typované otvory otevřené","res-forge-specification-desk.c1dc5611bb":"return clamp(t,","res-forge-specification-desk.2e5baed7cb":"let t =","res-forge-specification-desk.b3274ca07a":"let s = scale(x)","res-forge-specification-desk.ebdeb573df":"NÁČRT","res-forge-specification-desk.c597bbdbc1":"každý vstup, který teorie dokáže vyjádřit","res-forge-specification-desk.15ac2f23db":"pro všechna x v podporované doméně:","res-forge-specification-desk.61ed10966f":"OMEZENÍ","res-forge-specification-desk.0ec3e255af":"čtyři případy, přesně zkontrolované","res-forge-specification-desk.9659699670":"PŘÍKLADY","res-forge-specification-desk.191f4bd034":"omez škálovanou hodnotu na deklarovaný rozsah","res-forge-specification-desk.4ad49a4ec4":"JEDNA TRANSFORMACE","res-forge-specification-desk.d9b48caf78":"porušuje monotónnost mimo doménu orákula","res-forge-stack-path.4d5fa1b006":"Každý systém čte stejný objekt, nikoli jeho kopii, což udržuje specifikaci, důkaz, plán a výsledek na jedné identitě.","res-forge-stack-path.86506efb99":"identita výsledku se vrací k identitě grafu, ze které vyšla","res-forge-stack-path.c83a5945cb":"kde program udržuje ověřený stav","res-forge-stack-path.55561848ab":"Aion","res-forge-stack-path.17ed2b5e88":"kde je model fyzického systému součástí specifikace","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 desce Forge se neobjeví žádný cílový emitor.","res-forge-technical-glyph.be601df25e":"Výzkum","res-forge-technical-glyph.91a9d5d08f":"Specifikace neměnná","res-forge-technical-glyph.c2237a2d15":"Experimentální balíček","res-forge-technical-glyph.03d6a194f4":"specifikace","res-forge-technical-glyph.e11523c5ff":"jazyk","res-forge-technical-glyph.7b7f9366a3":"cíle","res-forge-technical-glyph.f3753f1b6b":"ujištění","res-forge-technical-glyph.9d78bc179c":"typovaná oblast grafu","res-forge-technical-glyph.2b90fe2fea":"čas, pohyb, velikost","res-forge-technical-glyph.a8a172a738":"zpochybněno","res-forge-technical-glyph.e1d96de67b":"Kandidátský fond","res-forge-technical-glyph.6f389bc568":"přijat","res-forge-technical-glyph.a503bc1da2":"odmítnut","res-forge-technical-glyph.880949479a":"testováno","res-forge-technical-glyph.ec734b6515":"ověřeno","res-forge-technical-glyph.61792020d0":"Cílová hranice","res-forge-technical-glyph.096280facb":"jeden vybrán","res-forge-technical-glyph.9985d73a38":"Žebřík ujištění","res-forge-technical-glyph.83ced341c8":"dobře utvořený","res-forge-technical-glyph.e38c2194b4":"formálně ověřený","res-forge-technical-glyph.275ed0c2c7":"spojený s prováděním","res-forge-technical-glyph.49794a5e29":"Vybraný kandidát","res-forge-technical-glyph.9e955c5620":"protipříklady zachovány","res-forge-technical-glyph.74ef6c0061":"Předání do Kera","res-forge-technical-glyph.bed97175b0":"plán","res-forge-technical-glyph.37a5301a88":"výsledek","res-forge-technical-glyph.96a6bf1d97":"ověřený graf","res-forge-technical-glyph.b8d8aaff0a":"důkaz připojen","res-forge-technical-glyph.100ec4462d":"důkaz","res-forge-technical-glyph.416eb4fbb0":"hranice","res-forge-technical-glyph.dd4fb84f32":"neznámé je výsledek","res-forge-technical-glyph.3137db7c8b":"Neznámé, nesplnitelné a nejednoznačné jsou výsledky","res-forge-technical-glyph.d5f412e831":"Kera","res-forge-technical-glyph.00f6d27f5f":"DWEVE FORGE","res-forge-three-tries.ca6f569d32":"Na seznamu vlevo se nikdy nic neodstraňuje","res-forge-three-tries.48fce8a80b":"Tři pokusy na stejném problému","res-forge-three-tries.8805376577":"Kolo 3 nese vše, co našla první dvě kola, a ještě jeden případ navíc.","res-forge-three-tries.da17ea9bb5":"Seznam případů, kolo po kole","res-forge-three-tries.8cc87a2190":"nic k přidání","res-forge-three-tries.36d5623704":"a pak dokázáno","res-forge-three-tries.0f0b41cfe8":"Prošel všemi případy","res-forge-three-tries.1e35a52de1":"Pokus 3","res-forge-three-tries.3b26ea5e3d":"prázdný seznam","res-forge-three-tries.b8575badd2":"na prázdném seznamu","res-forge-three-tries.09fef5d8d9":"Neprošel","res-forge-three-tries.969a17cecc":"Pokus 2","res-forge-three-tries.15d3c90fb9":"největší možné číslo","res-forge-three-tries.f88b9a4765":"na největším možném čísle","res-forge-three-tries.ff31d219ef":"Pokus 1","res-forge-three-tries.f65e38d46b":"seznam s jednou položkou","res-forge-three-tries.e8741ca2e3":"seznam již seřazený","res-forge-three-tries.9450ac4e17":"krátký seznam","res-forge-three-tries.4d944a9d7e":"Kolo 3","res-forge-three-tries.fa2b87ffe2":"Kolo 2","res-forge-three-tries.f7648d3834":"Kolo 1","res-forge-type-sockets.13fff86afe":"Dvě operace, jedno spojení","res-forge-type-sockets.2251b5f821":"Neomezená celá čísla","res-forge-type-sockets.338ce27565":"Tři kompozice nabídnuté jednomu typovanému jazyku","res-forge-type-sockets.3d7da15c51":"Odmítnuto typem","res-forge-type-sockets.50c026300b":"Přijato","res-forge-type-sockets.5e5da2cd3c":"Přístup k síti","res-forge-type-sockets.681bcaf5e4":"Odmítnutí na této desce nic nestojí, protože na ní zatím nebylo nic vyhodnoceno.","res-forge-type-sockets.7303a0d112":"Odmítnuto schopností","res-forge-type-sockets.73841deb9d":"Uzavřeno pro tento běh","res-forge-type-sockets.76123e0c4c":"Druhá operace potřebuje schopnost, kterou paket neudělil, takže je mimo prostor hledání.","res-forge-type-sockets.93c6a1f183":"Socket","res-forge-type-sockets.a1369155ac":"Přístup k souborům","res-forge-type-sockets.b4ae90c7f4":"Tyto dva sockety se nesetkávají, takže z této dvojice není nikdy sestaven žádný kandidát.","res-forge-type-sockets.b957ab83e5":"Výstupní typ odpovídá vstupnímu typu, takže je kandidát sestaven a může být vyhodnocen.","res-forge-type-sockets.c7303935a3":"Nekontrolované aliasování","res-forge-type-sockets.d3f0610632":"Výsledek","res-forge-type-sockets.dbe18d2e48":"Jazyk je zvolen s paketem a během hledání se nerozšiřuje.","res-forge-type-sockets.eb8606da6a":"Nabídnutá kompozice","research-forge.00274e0e63":"odmítnuto, chybová smlouva","research-forge.002ff59811":"Otázka","research-forge.005a8c4891":"Přineste doménový záměr, formální metody, měření hardwaru nebo nezávislý přezkum. Forge poskytuje sdílený výzkumný objekt pro porovnávání objevování programů, dokazování a provádění.","research-forge.008fef2a92":"Hledejte uvnitř operací, které byly povoleny.","research-forge.01038388dc":"Neodpovědi zůstávají viditelné","research-forge.0109e7127b":"NEMOŽNÉ","research-forge.0143790011":"plánování a provádění","research-forge.019d4e8e82":"Co zůstává pravdivé","research-forge.01f66c63e3":"Dvě z dvojic nelze sestavit a jazyk je to, co to říká.","research-forge.01fc285874":"Odpovědnosti vůči Forge a Kera","research-forge.02ff5bf386":"Přezkum zásad","research-forge.0303c4bacd":"pět polí stanovených před prvním kandidátem","research-forge.030afc5361":"Forge může zachovat verzi požadavku, kandidáty, kteří měli význam, protipříklady, přechody zajištění, objektivní hranici a zásady, které vybraly jednoho člena. O dva roky později záznam stále odpovídá na otázku, kterou si recenzent skutečně klade, což není to, co bylo postaveno, ale proč byly alternativy odmítnuty. Stopa vede jedním směrem a každý krok na ní lze projít zpět: požadavek, který definoval úspěch, ověření a odmítnutí kandidáti, kteří měli význam, protipříklady a přechody zajištění, hodnoty cílů, které umístily každého kandidáta na hranici, a autorita, která vybrala jednoho z nich. Nic z toho nežije vedle rozhodnutí. Cestuje s ním.","research-forge.03102018f1":"Kandidát je strukturálně platný.","research-forge.03128bed90":"Ověření","research-forge.0393c06f67":"KANDIDÁT","research-forge.0397a076c3":"Přidání předpokladu je legitimní krok a vytváří novou identitu specifikace, nikoli úpravu té staré. Dřívější experiment zůstává v záznamu s připojeným selháním. Výzkumná komunita nazývá obecný vzor navrhni, zpochybni, uprav CEGIS.","research-forge.03bec6ab74":"Tři formy","research-forge.04126cee0d":"Čtyři se setkávají uprostřed, takže pohyb k jednomu z nich obvykle něco stojí na jiném.","research-forge.0428abce3e":"Omezeně zkontrolováno","research-forge.0432a371aa":"Zásady zajištění","research-forge.04731f0ef3":"Pouze jedna osa, relativní modelovaná latence. Délka sloupce není celkové pořadí.","research-forge.04ae6467a0":"Žádný závěr","research-forge.04bf9ee3c6":"nevynecháno z účtu","research-forge.04e9b5cd14":"zde koexistuje mnoho odvození","research-forge.04fa443e7b":"Nejdelší kritická cesta","research-forge.05005f366c":"Výzkum Forge","research-forge.05625954d2":"ať už hledání probíhá jakkoli","research-forge.05d1c23f1f":"selhání zužuje hledání","research-forge.05db5a7f8a":"Verze specifikace, kterou musel splnit každý kandidát","research-forge.065d4a5b25":"Všechny produkují stejný typ typovaného kandidáta a vstupují do stejného srovnání. Organizace proto porovnává programy spíše než metody hledání a metoda, která kandidáta našla, mu v rozhodnutí nedává žádnou výhodu.","research-forge.07a688568e":"Cílový artefakt","research-forge.0820b32b20":"Testování","research-forge.08b22e1ba0":"Jedna smlouva","research-forge.08cfb3e0f2":"Přezkum specifikace","research-forge.09496b01f9":"Předání","research-forge.09a3354e63":"Vedlejší podmínky","research-forge.09d053226c":"Následujte jedno hledání","research-forge.0a3eb3abd3":"Interní kalibrace","research-forge.0a5e7a0583":"Hranice","research-forge.0a799711ad":"Normalizace šetří hledání","research-forge.0ab39d71e2":"Ekvivalence","research-forge.0ade2ace0d":"Každý protipříklad","research-forge.0ae18773cb":"Výzkumný asistent","research-forge.0b101a23a3":"Asociativní přeskupení","research-forge.0b81fbebb5":"Optimalizace později","research-forge.0ba4e46484":"Jeden graf","research-forge.0bc357c912":"NEKRYTO","research-forge.0c19b6603f":"Budoucí recenzent se vrací k rozhodnutí ze záznamu, spíše než aby ho rekonstruoval ze zpráv o commitech.","research-forge.0c6c9b91c5":"Znáte ten pocit, když úkol může mít jednodušší implementaci? Forge promění tuto otázku ve výzkumný pracovní postup: dejte mu omezenou specifikaci, hledejte kandidátské programy a zaznamenejte kontroly a měření. Zpráva z roku 2025 dokumentuje experiment, nikoli výsledek připravený k produkci nebo publikovaný benchmark.","research-forge.0d358c9749":"Dva testy, dvě silné stránky","research-forge.0db809cc66":"Zajištění","research-forge.0e26aaf414":"Přezkum modelu","research-forge.0e3c434842":"Testováno, omezeno, prokázáno","research-forge.0ef3858209":"Zaznamenané omezené kontroly","research-forge.0f1e49f0bf":"Příklady omezují chování na vstupech, které zadáte. Logické podmínky omezují každý vstup, který formální teorie dokáže vyjádřit. Náčrt zachovává architekturu, kterou výzkumník není ochoten předat hledání, a ponechává v ní typované díry. Referenční chování poskytuje spustitelné orákulum a nese s sebou vlastní doménu orákula. Forge zaznamenává, která forma podpořila každý závěr, místo aby zacházel s každým vstupem jako se specifikací stejné síly.","research-forge.109bff6e75":"Specifikace, ne kódová základna","research-forge.1178a4ffb4":"Hledat znovu","research-forge.1181c3f399":"Paket také uvádí, kdy zastavit: limit prostředků, práh zajištění, kterého musí kandidát dosáhnout, aby vstoupil na hranici, a co běh hlásí, když toho nic nedosáhne. Hledání, které skončí bez programu, stále skončí s výsledkem.","research-forge.11c14ce16a":"Organizace pak vlastní záměr spíše než jeden jeho výraz a může říci, proč byla zvolena konkrétní implementace. Požadavek se stává trvalým aktivem a implementace se stává výsledkem, který může přepočítat, když se priority změní.","research-forge.11dd823248":"Pro tento vstup vytvořte tento výstup.","research-forge.12c8d914cc":"Co výsledek neprokazuje.","research-forge.13792d7c2a":"DŮKAZ MÁ HRANICI","research-forge.140b63310c":"Kandidát C","research-forge.1462811ad5":"kandidát, který vypadá přesvědčivě","research-forge.151978bff3":"záznam pokaždé uvádí specifikaci, práh a politiku","research-forge.15c2d33108":"Výzkumná integrace v hodnocení","research-forge.15f1b08e56":"důkaz, mez nebo stanovený limit","research-forge.16181ed76f":"Povolené operace, typy, efekty a numerická sémantika","research-forge.161fa759f7":"V konečném deklarovaném jazyce může hledání vytvářet kandidáty podle rostoucí velikosti a odmítat neplatné kombinace dříve, než některý z nich proběhne. Kandidáty, kteří se chovají identicky na základě současných důkazů, lze sloučit, aby se ušetřila práce, zatímco samotné tvrzení o ekvivalenci čeká na ověření. Když metoda pokrývá všechny dobře utvořené kandidáty až do stanovené meze, první ověřený program prokazuje minimální velikost v tomto jazyce a v této mezi. Rozšíření sady operací vytváří jiný experiment s vlastní odpovědí.","research-forge.169f619e4f":"Poctivý odznak nese svou hranici a hranice je jeho nejužitečnější částí.","research-forge.16a3fa00e3":"Podporovaná symbolická vlastnost byla prokázána za stanovených předpokladů.","research-forge.16ec74fc0a":"CLEAR","research-forge.171ca0385a":"Chování","research-forge.173315f506":"žádná dráha na této desce nekončí generovaným záložním kódem","research-forge.17405ade0e":"Ujištění s rozsahem","research-forge.17a86caa5b":"Povinnost","research-forge.17b8b28e9e":"nikdy nepovažováno za zaměnitelné","research-forge.17ecf461a5":"Problém je splnitelný","research-forge.1822a38ec8":"čtyři důvody pokračovat v hledání","research-forge.189ee02d36":"Poctivé nedodání","research-forge.18d60fce22":"Pojmenovaný stupeň ujištění a jeho rozsah","research-forge.18dd2ccb59":"Pět částí","research-forge.18e9128279":"Pojmenování výsledku udržuje problém tam, kam patří. Protichůdné požadavky se vracejí tomu, kdo je napsal. Nejasný případ se vrací k rozhodnutí. Nevyřešené hledání se vrací s větším rozpočtem nebo jinou metodou.","research-forge.18f906f6da":"Uchováno navždy","research-forge.192ad837e6":"Zaznamenaná politika, ne skryté skóre","research-forge.19626a1e65":"Cokoli, co selže v jednom případě","research-forge.1a23a7cddc":"Forge nachází","research-forge.1a66b5eeb6":"Přístup pro partnery","research-forge.1bb360f468":"Omezené","research-forge.1bb90c04d2":"Selhání, které produkuje konkrétní vstup, má pro hledání větší hodnotu než selhání, které produkuje skóre.","research-forge.1bf39cee63":"Rychlejší, menší, štíhlejší","research-forge.1bff62bf9b":"Metodě došel prostor. Jiná metoda nebo delší běh to může vyřešit.","research-forge.1c013851a3":"Co záznam obsahuje","research-forge.1c56ea452a":"Čtyři specifikační karty popisující stejnou malou transformaci, s jediným případem, kdy se dvě z nich neshodují","research-forge.1c56fd19d7":"Jeden otevřený případ","research-forge.1c82340479":"tvrzení lze zkoumat","research-forge.1c875de71f":"To je vlastnost správy stejně jako technická vlastnost. Okamžik, kdy se dvě čtení požadavku rozcházejí, je přesně místem, kde má rozhodnout zúčastněná strana, a je to mnohem levnější, než když se kolem jednoho z nich postaví implementace.","research-forge.1c9bbc4b77":"Ponechte alternativy, dokud není politika zapsána.","research-forge.1cb61a389f":"změněné pole je nový experiment, ne opravený","research-forge.1ccf5d25df":"Specifikace","research-forge.1cdd46cd0e":"Číst výzkum","research-forge.1d17812687":"Čtyři vstupy, čtyři různé záruky","research-forge.1d2c6fe888":"všech pět, nebo žádný","research-forge.1d444e826a":"Kera běží","research-forge.1d9b3bd5d3":"Nejnižší latence","research-forge.1d9d3e69fa":"Rust, C, Verilog","research-forge.1e269ebac7":"Jedna transformace","research-forge.1e748c3e4b":"změňte uzel a máte nového kandidáta, přičemž důkazní vazba následuje uzel","research-forge.1ecdc691a8":"zašedlá trasa produkuje něco čitelného a nic, proti čemu by se to dalo zkontrolovat","research-forge.1ed77c3f7f":"Protokol","research-forge.1fd9da00a7":"Politika a autorita, která vybrala jednoho kandidáta.","research-forge.2030fae2a7":"Tři způsoby, jak to říct","research-forge.2040757c11":"Cranelift, nativní měření výkonu","research-forge.2041447f84":"pouze hledání","research-forge.206009c4a7":"Pět politik","research-forge.20cb7eef2c":"Mimo model","research-forge.2154ca1eb7":"Každý z těchto výsledků má jiný další krok. Forge zaznamenává nejsilnější stav, který může ospravedlnit, a pojmenovává, co by se muselo změnit, aby se posunul dál.","research-forge.21a0ffd68c":"otevřené otázky jsou na stránce","research-forge.21efbc283d":"Rychlost, paměť, dosah a důkazy","research-forge.220b9c622c":"Syntetizovat","research-forge.2354ab0ba0":"před navržením programu","research-forge.235bfff3a2":"Výzkumný program","research-forge.236656bf91":"Pravomoci","research-forge.23d4ef785c":"velikost 5","research-forge.243dcbef8c":"plánování a emise pod","research-forge.24a264b83c":"Dva kandidáti, čtyři cíle","research-forge.24c0bda2ba":"Nejpřímější cesta auditu","research-forge.24cb5be0b0":"rozhodnutí si zachovává své důvody","research-forge.24d50592b7":"Cíle","research-forge.2550b1dcad":"Odpovědnost","research-forge.25754f1c93":"výzkumný program, ne softwarová nabídka","research-forge.258195bb3d":"Jedna identita","research-forge.25c843b80e":"To dělá z jazyka dvě věci najednou. Je mechanismem efektivity, protože většinu prostoru není třeba vůbec vyhodnocovat. Je také hranicí kolem záměru, protože předem stanoví, k čemu smí stroj sahat.","research-forge.25fa97aa1a":"Neříká vám, zda je tato cesta nejrychlejší, nejhubenější, nejpřenosnější, nejsnáze auditovatelná nebo taková, kterou organizace dokáže provozovat. To jsou samostatné otázky s vlastními důkazy.","research-forge.261c22b85c":"Inženýrská organizace se obvykle zaváže k jedné implementaci dlouho předtím, než dokáže říci, zda je tento návrh nejrychlejší nebo nejsnáze ověřitelný. Forge studuje posloupnost, kde je specifikace trvalým aktivem a implementace výsledkem vyhledávání, mezi kterým volí stanovená politika.","research-forge.26369471c9":"Přesná ekvivalence, ohraničený numerický vztah nebo efektová ekvivalence, každá stanovená ověřením.","research-forge.267f81bab8":"Čeho se program smí dotknout","research-forge.277b67c1e8":"a co by potřeboval","research-forge.27f11f9fe1":"uzavřený uzel stále publikuje své vstupy, své výstupy a svou identitu","research-forge.27fab35201":"Pojmenovaná neodpověď je užitečnější než věrohodný program.","research-forge.280c5e7fc6":"Dvě čtení","research-forge.281dd83602":"Rozšířit","research-forge.282bd862f4":"Kandidát B","research-forge.2877a09f30":"několik odpovědí může být rozumných","research-forge.287b80caae":"správnost nevybírá","research-forge.294b4c06ac":"Prostor kandidátů","research-forge.296e71a0fb":"Kandidáti podle velikosti v ohraničeném jazyce, ukazující přijaté, odmítnuté a zhroucené stavy, prvního ověřeného kandidáta a deklarovanou mez, kterou tvrzení nese","research-forge.297f419e18":"Co nesmí udělat, je oslabit chování, přidat efekt, který paket nedeklaroval, nebo proměnit nevyřešený stav důkazu v úspěch. Optimalizace je svoboda uvnitř hranice.","research-forge.29c69b4a35":"nebo snáze zkontrolovat","research-forge.29fea3a06d":"Co stanovuje","research-forge.2a03a4b73a":"Nerozhodnuto","research-forge.2a729227ad":"Jeden výraz rozšířený do sítě ekvivalentních forem s podmínkami na hranách a tři extrakční cíle zvolené poté, co prostor existuje","research-forge.2a965a37b7":"To je politické rozhodnutí a musí být stanoveno, ne odvozeno.","research-forge.2a965accf1":"Nejmenší program, který jazyk umožňuje","research-forge.2ad40f7952":"Kompromisy jako objekt správy","research-forge.2b27b7aec8":"Řízeno důkazy","research-forge.2b3a5e307c":"Sémantický","research-forge.2b7d95b8c6":"Který kompromis chcete","research-forge.2b9c801e9e":"výběr zůstává explicitní politikou","research-forge.2bdb5e4d73":"Forge končí vybraným sémantickým grafem a jeho důkazy. Dweve Kera tento graf obdrží, plánuje podporované provedení a vydává cílový artefakt, přičemž jsou přes předání připojeny operační význam, efekty, vlastnictví, numerický kontrakt a povinnosti důkazu. Stejná disciplína spojuje Forge se zbytkem zásobníku Dweve: Aion, kde program udržuje ověřený stav, Reed a Selvedge pro okolní systémovou práci, FMI a Twin, kde je model fyzického systému součástí specifikace.","research-forge.2c8c94c95f":"nejen to, co bylo postaveno","research-forge.2c9ebecf8b":"Orchestrace vyhledávání","research-forge.2cb597863b":"Rychlý program, který je špatně, je stále špatně.","research-forge.2cd3174fc9":"výsledek rozhoduje o další otázce","research-forge.2cff331976":"Objev a důkaz nahoře","research-forge.2d24e0a549":"A někdy","research-forge.2d3231ce48":"Nejednoznačnost","research-forge.2da600bf94":"Verze","research-forge.2daa013c1b":"Typovaný sémantický graf, ne zdrojový text","research-forge.2dd3547872":"úplný v rámci meze","research-forge.2dfcf898a3":"Srovnání","research-forge.2e140f6f42":"Výběr politiky","research-forge.2ea3bb9377":"Připojte se k výzkumným partnerům","research-forge.2f24ebaee0":"Prořezat","research-forge.2f65736593":"(a * 2) + a","research-forge.2f81a22de0":"Přístup","research-forge.2f89346f05":"Plovoucí přeskupení","research-forge.2f906454d9":"Každá forma odpovídá na jinou otázku a výzkumný záznam říká, která z nich nesla tvrzení.","research-forge.30833f759b":"Plánování a snižování","research-forge.3107902192":"Pět kandidátů","research-forge.310e8151df":"od popisu k důkazům","research-forge.31139f400a":"minimum <= 5","research-forge.3146c89579":"která odpovědnost leží na které straně","research-forge.3179a54130":"Příklady, pravidla a částečný program, ne kroky","research-forge.31c2157a1c":"Jeden sémantický graf zobrazený jako graf, jako výraz a jako datový tok, s identitou nezměněnou napříč všemi třemi a s efektem změny jednoho uzlu","research-forge.320ce22925":"Silná, pro tvrzení","research-forge.3218fcc602":"Skládání důkazů","research-forge.32438a2b70":"Pusťte automatické objevování do práce","research-forge.32d888fecc":"Provázané s prováděním","research-forge.32ec2eb506":"Řízeno typy","research-forge.32fd056d3d":"Náčrt","research-forge.32fe9f5bda":"Základ","research-forge.331a390a95":"Zaznamenejte, že záruku nelze odůvodnit tak, jak je uvedena.","research-forge.332fafafd4":"Několik programů je optimálních","research-forge.337cd4ef85":"a chraňte poté","research-forge.3407af8c74":"Formy se vzájemně posilují. Příklady činí logický kontrakt čitelným pro čtenáře. Omezení zabrání kandidátovi v přizpůsobení se ukázaným případům. Náčrt udržuje bezpečnostní strukturu pevnou, zatímco aritmetika nebo datový tok uvnitř jedné oblasti zůstávají otevřené objevování.","research-forge.3554ae9f37":"Důkaz grafu není automaticky důkazem libovolného výstupu kompilátoru, takže provázání s prováděním zaznamenává graf, plán, artefakt a výsledek společně. Forge pak může studovat objevování, aniž by si nárokovalo vlastnictví emitoru.","research-forge.356258d8cf":"Správnost si zaslouží vstup do diskuse o kompromisech.","research-forge.357a580465":"rozšíření s podmínkami","research-forge.3631815377":"které udržuje","research-forge.3647998e09":"relativní modelovaná latence na jedné hranici","research-forge.3662b6cd93":"Optimalizace je svoboda uvnitř hranice, která byla nejprve zapsána.","research-forge.3678b75177":"Kotva důkazu","research-forge.3697e2badd":"Stejná hranice, čtyři obhajitelné odpovědi","research-forge.3750b1e26e":"Jeden požadavek","research-forge.378b19c94c":"a univerzální vlastnosti","research-forge.37a1d3ddee":"Rozsah vyhledávání","research-forge.37b658da82":"co je stanoveno a co zůstává otevřené","research-forge.37d9b94afa":"Recenzent může sledovat řetězec od začátku do konce, aniž by otevřel jediný zapečetěný uzel.","research-forge.37e5ec20ed":"Ticho se počítá","research-forge.37e8f995e7":"Pojmenovaná neodpověď také dává instituci konkrétní bod, na který může reagovat. Říká, která klauzule je v konfliktu, které chování bylo neurčeno, která teorie nebyla k dispozici nebo který rozpočet se vyčerpal, a tedy co by se muselo změnit.","research-forge.3856f4eb7c":"Metoda nedospěla k žádnému závěru v rámci své teorie a omezení zdrojů.","research-forge.387b54720d":"Příčka, které musí výsledek dosáhnout, než se počítá","research-forge.38b07c05cf":"Jeden žebřík záruk se dvěma kandidáty spočívajícími na různých příčkách a zásuvkou ukazující, co každá příčka kontrolovala, předpokládala a co nezakládá","research-forge.391bc6cb44":"Důkaz si drží svou hranici","research-forge.396c19de10":"Čtyři způsoby, jak požadavek odolává programu","research-forge.39727bd48f":"zpět k syntéze","research-forge.3977816414":"rozhodují důkazy","research-forge.39d6a0ddc5":"Která rozhodnutí může vyhledávání dělat vaším jménem?","research-forge.39fdec1194":"Testy","research-forge.3a06f841f3":"Je testován nad rámec příkladů, které mu byly dány.","research-forge.3a4be7155b":"Alternativy","research-forge.3ab11b75ca":"Forge","research-forge.3b08754530":"Forge začíná z popisu chování, ne z žádosti o kód. Můžete mu dát příklady, pravidla, která musí platit obecně, nebo částečně napsaný program s otevřenými složitými částmi. Cokoli z toho dává stroji něco, proti čemu může být měřen, a něco, v čem může viditelně selhat.","research-forge.3b0896e4b0":"U podporovaných kontraktů Kera se čisté provádění opakuje bitově identicky bez základu, včetně pokrytých cest rodiny s plovoucí čárkou. Pokud program záměrně spotřebovává náhodný stav, je tento stav deklarovaným vstupem a jeho opětovné použití reprodukuje celý běh.","research-forge.3b8be5e1a9":"šířka dokázána","research-forge.3bb1fa9d93":"je jeden bod v prostoru","research-forge.3bb59d3903":"Stanoveno","research-forge.3bcf82f6df":"Latence je rozměr","research-forge.3bdab018c4":"Ověřeno má vždy druhou polovinu: za těchto pravidel, pro tyto vstupy.","research-forge.3bf08a84f1":"MOVE","research-forge.3bf4aa62c6":"Jeden graf, dva plány, jedna identita","research-forge.3c37add762":"Dobře utvořený","research-forge.3d3349e560":"co instituce rozhodne před vyhledáváním","research-forge.3d85b7b35e":"Čtyři malé případy, každý končící bez programu z jiného důvodu, ukazující, co bylo požadováno, co se stalo a co by to změnilo","research-forge.3d8dc8dd37":"Nese jednodušší cestu kontroly","research-forge.3d9d45c6fc":"a dokázat špatný model","research-forge.3dbbac272c":"Protipříklady a stav důkazu","research-forge.3e0fb17cab":"Vyjasnit","research-forge.3e39972526":"Latence","research-forge.3e9492ab1e":"Graf, plán, artefakt a výsledek zůstávají svázány.","research-forge.3f1ea4240e":"Předpoklady jsou součástí výsledku, ne drobným písmem pod ním. Důkaz o přesných celých číslech neříká nic o desetinných číslech. Důkaz o soběstačném výpočtu neříká nic o službě, o jejíž existenci nebyl informován.","research-forge.3f2151a870":"Velikosti jedna až šest","research-forge.3fd8fb2e1a":"Operace, typy, tvary, efekty a schopnosti, které může kandidát používat.","research-forge.3fe459f958":"Nic nesedí","research-forge.40100e1934":"Nedominovaní kandidáti","research-forge.4025ca409c":"Vlastníte svůj výkon","research-forge.408f0af557":"Derivační graf od specifikace k vybranému důkazu, s vnitřními metodickými kroky zapečetěnými, ale propojenými, a kratší cestou, kterou musí přehrání skutečně reprodukovat","research-forge.40d33b38ad":"Žádné z toho není dodatečná výhrada. Je to obsah výsledku, proto záznam umisťuje příčku a její rozsah na stejné místo a proto žádná kontrola nemůže jednu povýšit.","research-forge.40f800b699":"Hranice patří množině cílů, která ji vytvořila. Přidání energie do paketu může vrátit kandidáta, který byl dříve dominovaný, což je vlastnost otázky, ne změna v programu.","research-forge.4141bac3ca":"a nechte program změnit","research-forge.418cdd48b7":"Pozorované případy","research-forge.41978064b8":"Diskutujte spolupráci","research-forge.41a3ff09e5":"Uveďte chování","research-forge.4288fa85e0":"Co je vyřešeno a co je otevřené","research-forge.42c7f4ea4d":"Rámec se nepohybuje","research-forge.42e742546a":"a testováno není dokázáno","research-forge.43093ca0db":"Rozsah důkazu, strukturální jednoduchost, náklady na důkazy","research-forge.435e8ecece":"jeden program málokdy vyhraje všechny čtyři","research-forge.436fb3032c":"Závěr","research-forge.437b348524":"Pořadí, v jakém se dějí","research-forge.437bcb1511":"Energie","research-forge.439f7b365e":"Výzkumná dokumentace","research-forge.43d54e530d":"Odpovídá zakódovaný požadavek tomu, co organizace skutečně chce?","research-forge.43d8879a8c":"spojení s provedením je to, co váže důkaz k tomu, co skutečně běželo","research-forge.4412dd5d66":"Nemožné a nerozhodnuté jsou hlášeny, ne převáděny do kódu.","research-forge.4475dded01":"Jedna implementace","research-forge.44ab85a252":"Původ","research-forge.450d52d3ef":"Vyhledávání","research-forge.4585404748":"kandidát, který se zastaví u testování, je hlášen jako testovaný","research-forge.45aaefd6f4":"Čtyři recenze","research-forge.4646f9193d":"Dobře utvořené není testované","research-forge.4651a34e4d":"Rozsah","research-forge.466fc49274":"Ponechat","research-forge.46ed5f573e":"Podívejte se na výzkum","research-forge.4719d38f14":"Několik chování splňuje dodané důkazy a jinde se liší.","research-forge.472643c4ca":"Jeden kandidát dominuje druhému pouze tehdy, když není horší v žádném aktivním cíli a je lepší alespoň v jednom. Dominovaní kandidáti opouštějí aktivní hranici. Ti, kteří zůstanou, jsou všechna obhajitelná řešení stejné specifikace a výběr mezi nimi je politické rozhodnutí, které záznam uchovává, ne výpočet, který vyhledávání tiše provádí.","research-forge.472bff45c9":"Jedna forma v rámci většího prostoru stejného chování.","research-forge.473161067f":"Politika výběru","research-forge.47942077ae":"Nejjednodušší důkaz","research-forge.47b74866d6":"Zkontrolujte správnost","research-forge.47bcc2a36a":"Někdy dvě věci, které byly požadovány, nemohou být obě pravdivé. Někdy příklady umožňují dvě různá chování a není způsob, jak zjistit, které bylo zamýšleno. Někdy je problém prostě těžší, než metoda dokáže vyřešit v daném čase. Forge hlásí každý z těchto případů tak, jaký je, a říká, co by se muselo změnit. Nejasný případ obvykle potřebuje jeden další příklad spíše než větší rozpočet.","research-forge.47cda15a5a":"Kera: jak","research-forge.47da6f0838":"Sestavit","research-forge.48298eb992":"Vyhledávání může nahradit operace, restrukturalizovat datové toky, sloučit oblasti, odstranit pohyb a dospět k implementaci, kterou žádný výzkumník neměl na mysli. To vše je povoleno a většina z toho je smyslem.","research-forge.483bf2075c":"Publikováno","research-forge.4901e146cd":"Porovnat náklady","research-forge.490d255908":"požadavek zůstává stabilním objektem","research-forge.49df3ec7de":"Běží na více podporovaných strojích","research-forge.4a828b8ab7":"Výzkum, Forge","research-forge.4ab1a4f190":"Kandidát, který dorazil první, nemá v rozhodnutí žádné postavení kromě vlastních důkazů.","research-forge.4aebc33326":"Čtyři recenze před tvrzením","research-forge.4b01608cdc":"Vyhledávání nikdy neupravuje paket, aby zachránilo kandidáta.","research-forge.4b1960c2fb":"Systém pod tlakem na produkci kódu bude produkovat kód. To přemění nezodpovězenou otázku na program, který musí někdo udržovat, a nejistota nezmizí, přesune se na místo, které je hůře vidět.","research-forge.4bca6a7cdb":"Kde program začíná","research-forge.4c175158a6":"Propojený výsledek","research-forge.4c1e9313aa":"Jeden fond","research-forge.4c39a99d3d":"Pět příček","research-forge.4c6bdedadc":"zdroj zůstává projekcí","research-forge.4cb3bb0fc4":"Nejrychlejší","research-forge.4d0ff72eb2":"Jaké úrovně testování nebo důkazu musí výsledek dosáhnout?","research-forge.4d6864f9a3":"Čtyři hraniční volby","research-forge.4d7f210eef":"Tři kandidáti prověření proti seznamu případů, který se každým kolem rozroste o jeden neúspěšný vstup, přičemž se z něj nikdy nic neodstraní","research-forge.4db6c46b80":"každý systém čte stejný objekt, nikoli jeho kopii","research-forge.4e4bed5372":"Nikdy zapnuto","research-forge.4e76f5796f":"Nejštíhlejší","research-forge.4e90808185":"Čtyři způsoby, jak může běh skončit","research-forge.4e9a44aeb4":"Řekněte, co se má stát","research-forge.4ec9cc4f2f":"Ověřené objevování programů","research-forge.4f9c4e1fdb":"První správný kandidát dokazuje, že problém je splnitelný. Může být také velký, pomalý, náročný na paměť, obtížně ověřitelný nebo vázaný na jedno prostředí. Forge jej považuje za důkaz, nikoli za odpověď, a pokračuje v hledání rodin, ke kterým by jiné chování prohledávání dospělo dříve.","research-forge.4faae9b4e9":"jsou různá tvrzení","research-forge.4fe6240efb":"Odpovídá cíl spuštění sémantice, která byla dokázána?","research-forge.500d19ed3e":"Další kandidát musí splnit silnější množinu.","research-forge.505ddba0dc":"stroj říká, co ví","research-forge.506f370762":"odznak podmínky na hraně rozhoduje, zda ji může extrakce použít","research-forge.50e944749f":"WIDE","research-forge.50f771745f":"Zda jde o dobrý implementační postup","research-forge.512f83ac42":"Tři kandidáti prověření proti rostoucí množině závazků, s protipříkladem, který každého z nich ukončil, a dvěma legitimními reakcemi na selhání","research-forge.516f075235":"Čtyři správné programy, čtyři způsoby, jak jeden upřednostnit","research-forge.5183317474":"Svoboda","research-forge.52550c8d07":"Záznam odpovídá na otázku proč","research-forge.528d188e2a":"Požadovaná úroveň důkazu","research-forge.52e68a873a":"Omezení","research-forge.531e01782f":"Vyřešte konfliktní požadavky, které důkaz odhalil.","research-forge.536a08d31b":"FAST","research-forge.541a19b522":"Hranice je to, co činí tvrzení přesným. Důkaz grafu je důkazem tohoto grafu, takže propojení spuštění zaznamenává graf, plán Kera, artefakt a identitu výsledku společně, místo aby předpokládalo, že důkaz cestoval s výstupem.","research-forge.546130711a":"Výzkumný program Dweve","research-forge.54a351154f":"Minimalita je ohraničené tvrzení. Platí pro operace, typy a struktury, které paket povolil, až do velikosti, které běh dosáhl. Neříká nic o jazyce, který experiment nedeklaroval, a rozšíření množiny operací vytváří nový experiment s vlastní odpovědí.","research-forge.550d4ccba7":"Číselná rodina, uspořádání, stavový model a vnější podmínky, které běh předpokládá.","research-forge.551fea67e6":"Popis je na prvním místě a implementace zůstává otevřenou otázkou co nejdéle.","research-forge.5521ea4314":"přidání cíle může vrátit dominovaného kandidáta, což je fakt o otázce","research-forge.5549dc87d0":"Ne každá specifikace","research-forge.5601f89af7":"kandidát, který prostě vypadá správně","research-forge.563591cebc":"Jak rychle se program dokončí","research-forge.56abd17a41":"Když se nic nevrátí","research-forge.577d56824d":"TŘI TAHY","research-forge.58357eb5f1":"silnější tvrzení vyžadují silnější důkazy","research-forge.584e0ea86c":"vektor popisuje kompromis","research-forge.58c379fdea":"Minimální velikost","research-forge.59df8e27c4":"Ponechte požadavek","research-forge.5a0ba3bb83":"Kontrakt","research-forge.5a2827f530":"Čtyři kruhy","research-forge.5a314063cc":"jak slabý kandidát zostřuje otázku","research-forge.5ab1aaea94":"NEJASNÉ","research-forge.5b1142d090":"Alokace rozpočtu","research-forge.5b141d8cb7":"Ověřeno za těchto pravidel","research-forge.5b2a7fb11c":"Zveřejnit","research-forge.5b3facb840":"Čtyři rodiny stejné váhy a paket rozhoduje, které jsou aktivní.","research-forge.5b5d8a5af8":"Zaznamenejte konkrétní případ a vlastnost, kterou porušil.","research-forge.5b6a58fb9f":"Levné, pro hledání","research-forge.5b78187e47":"ne správné ve všech světech","research-forge.5b8955c7bc":"Nalezení programu","research-forge.5b92885b2d":"Inženýrský tým může zvolit člena s nejnižší latencí. Regulovaný program může zvolit nejčistší cestu zajištění. Nasazení na smíšeném hardwaru může zvolit nejširší cílovou shodu. Všichni tři vybírají ze stejné ověřené množiny.","research-forge.5c1be9b227":"Tvrzení je přehratelné","research-forge.5c262f33db":"Končí","research-forge.5c46a60955":"Jak je práce rozdělena","research-forge.5c9d4874c3":"Které vstupy a které okolí tvrzení pokrývá.","research-forge.5ce01f3b67":"Program zveřejňuje to, co jeho důkazy podporují, a svou výzkumnou metodu si ponechává jako výzkum.","research-forge.5dfcf1dcc0":"Jedna identita, tři ztvárnění","research-forge.5dfe750940":"Inspectable","research-forge.5e0d7f4f07":"Forge je výzkumný projekt Dweve. Jeho interní portfolio hledání, implementace formálního uvažování, znalosti transformací, kalibrace cílů a orchestrace jsou součástí tohoto výzkumu. To, co program zveřejňuje, je otázka, protokol, výsledek a stav zajištění na úrovni zveřejnění, kterou důkazy podporují. Spolupráce začíná ohraničenou syntézní otázkou. Sleduje se pět tvrzení se svým stavem, tři jsou vyřešena a dvě zůstávají otevřená, a otevřená jsou na stránce, nejsou vynechána z účtu.","research-forge.5e22dbb195":"Tři dvojice","research-forge.5e3db9c4c0":"Refinement řízený protipříklady","research-forge.5eb51a7a2a":"Řiďte se důkazy, ne pouze programem, který vyšel.","research-forge.5eede4abda":"Nejširší pokrytí cíle","research-forge.5f174de1cc":"Důkaz","research-forge.5f20d0f3ac":"Nesplnitelné","research-forge.5f94916c54":"Viz institucionální případ","research-forge.5faa59d4bc":"Výsledek","research-forge.5ff1729499":"než řeknete, jak","research-forge.603a007e8b":"a alternativy se uzavírají","research-forge.60508aeb3d":"Kam otázku směřovat","research-forge.60539e2c57":"Kde riziko leží","research-forge.6066a49124":"Tento vstup se připojí k množině, kterou musí splňovat každý kandidát.","research-forge.60e5c23b14":"Typováno","research-forge.616d1d1b2a":"Pět preferencí","research-forge.61792020d0":"Objektivní hranice","research-forge.61988aaea3":"Balíček experimentu","research-forge.61a0ae3b84":"Omezení","research-forge.61ad50a9b9":"Cíl","research-forge.61c2d00a1e":"Formy specifikace","research-forge.61d0fdeb05":"Deklarované rozhraní, jeho typy a tvary.","research-forge.61e2187199":"Po prvním platném programu","research-forge.625ba6f153":"FIT","research-forge.62c4bc1315":"Dvě cesty ze stejného požadavku","research-forge.6320f96544":"nechte stroj najít, jak","research-forge.636f4e740e":"málokdy je celá odpověď","research-forge.63ed4981dc":"Pareto","research-forge.63f0dfcfef":"Požadavek rozdělený na klauzule se čtyřmi cestami, které ukazují, které klauzule vedly k výsledku nesplnitelné, nejednoznačné, neznámé nebo mimo rozsah, a jakou akci každá z nich vyžaduje","research-forge.64269f9bd2":"TIME","research-forge.647c656679":"Dva kandidáti se mohou shodovat jako text, shodovat se po normalizaci grafů, nebo splňovat stejné pozorovatelné chování podle deklarované smlouvy. To jsou tři různá tvrzení a jen to poslední říká něco o tom, co program dělá.","research-forge.649ed30fda":"Rozsah se váže k tvrzení. Důkaz nad přesnou celočíselnou sémantikou nepotvrzuje chování s plovoucí čárkou. Důkaz čisté funkce nepokrývá externí službu, která nebyla nikdy deklarována. Ověřený graf upravený po důkazu je nový kandidát, ke kterému zatím žádný důkaz není.","research-forge.64bcb871de":"Protipříklad může odhalit víc než jen chybu implementace. Může odhalit vynechanou předpodmínku, okrajový případ, o kterém nikdo nerozhodl, nebo dva výklady požadavku, které byly oba v souladu s příklady. Záznam uvádí, který z nich výzkumník poté změnil.","research-forge.64c0978f0e":"Otevřené a důvod, proč program existuje: jak velká může být užitečně ověřená oblast grafu, které formy specifikace jsou přesné pro stroj a použitelné pro člověka, jak se dílčí důkazy skládají přes optimalizaci a plánování a které cíle potřebují měřenou zpětnou vazbu z hardwaru.","research-forge.64d22c2e4e":"Forge opraví výzkumný problém dříve, než existuje jakýkoli kandidát. Jeden balíček pojmenuje specifikaci, povolené operace a typy, účinky a numerickou sémantiku, dimenze cílů, meze hledání a politiku zajištění, které musí výsledek dosáhnout. Kandidáta lze posuzovat pouze proti problému, který byl již stanoven, což činí balíček součástí správnosti, nikoli konfigurací kolem ní. Balíček také říká, kdy přestat: mez zdrojů, práh zajištění, kterého musí kandidát dosáhnout, a co běh ohlásí, když ničeho nedosáhne.","research-forge.64f4056c85":"Politika viditelná","research-forge.657c02a2ae":"Požadavek zůstává pevný","research-forge.664243d1c2":"Formy specifikace proti tomu, co každá z nich řeší","research-forge.66b4132999":"Prodiskutujte otázku syntézy","research-forge.66c7af05f3":"Forge činí předpoklady kontrolovatelnými a lidé je stále vlastní.","research-forge.66c95e7fc7":"Utěsněno","research-forge.66cd84bcef":"tvary přicházejí a odcházejí a rám uprostřed je po celou dobu stejný","research-forge.6703a68b0c":"politika jmenuje člena","research-forge.6767e55d00":"První platný","research-forge.681b5b5ae1":"Dostupnost","research-forge.6848ce552e":"Výsledky","research-forge.68ad9d9693":"Co zůstává pevné","research-forge.693f74e1e9":"Hranice mezi Forge a Kera","research-forge.6978e0d16d":"Žádný program může být poctivým výsledkem","research-forge.6989b87ddb":"Proto se smyčka pouze zpřísňuje. Každé kolo začíná vším, co předchozí kola stanovila, plus novým případem, takže kandidát nikdy nemůže vyhrát tím, že zapomene na dřívější selhání.","research-forge.699425d26b":"Přečtěte si metodu","research-forge.69da6fa492":"Příklady vysvětlují","research-forge.6a33efdc4e":"Balíček experimentu sestavený pole po poli, s identitou, která jej pojmenovává, a důsledkem změny kteréhokoli pole","research-forge.6a455d1ff6":"Pro každý podporovaný vstup zachovejte toto pravdivé.","research-forge.6a54f54941":"Hledání odpovídá","research-forge.6aa0b7e952":"různé instituce volí různě","research-forge.6ab0b8903c":"Numerický význam","research-forge.6b1716c3e5":"nikdy shovívavější","research-forge.6b2284f302":"Bod kolena","research-forge.6b6ae4c323":"množina povinností pouze roste","research-forge.6b6f62925d":"Někdy protipříklad vypovídá o požadavku spíše než o programu. Dvě pravidla se mohou ukázat jako vzájemně si odporující, nebo se okrajový případ může ukázat jako případ, o kterém nikdo skutečně nerozhodl. To stojí za to vědět včas.","research-forge.6b7b6dcbaa":"Jeden graf, čtyři role","research-forge.6bc457b374":"Najděte kandidáta splňujícího každý známý případ.","research-forge.6bcf5a7776":"Hranice, ne jediné skóre","research-forge.6c4b5393b9":"a omezení rozhodují","research-forge.6c61bbcebe":"Ověřeno","research-forge.6c82e6dd86":"Čas","research-forge.6c8dd48ed8":"Plán měření","research-forge.6c9b8325ab":"žádná příčka není nikdy odvozena","research-forge.6c9c88fe2f":"Popis změn chování mění tento vztah. Dává hledání cíl, který musí zasáhnout, způsob, jak být přistižen, když mine, a záznam poté, proti kterým případům byl výsledek vůbec kontrolován.","research-forge.6cc1fdfb05":"Testováno, ohraničeno a ověřeno jsou různá tvrzení o stejném programu.","research-forge.6cd40b6ae3":"Požadavky začínají jako žádoucí chování, omezení a rizika. Vývoj je promění v jednu architekturu a jednu implementaci, a od té chvíle je každá alternativa projektem přepisu, migrace nebo optimalizace. Volba byla pravděpodobně rozumná, když byla učiněna, a byla učiněna dříve, než ji mohl kdokoli porovnat s volbami, které vyloučila.","research-forge.6d058a6f22":"ne obecný slib","research-forge.6d3a0e2f30":"Typy prořezávají nejdříve","research-forge.6d525b7156":"Provádění","research-forge.6d5ef04ce2":"důkaz, mez nebo deklarovaný limit","research-forge.6d84ceaf60":"Extrahovat","research-forge.6db87cb08f":"Nejrychleji modelováno","research-forge.6dfe9d2cfa":"Forge, prostý pohled","research-forge.6e3f1d3672":"Čtyři způsoby, jak vyjádřit záměr","research-forge.6ef75c79a0":"Přehrání nemusí reprodukovat každou průzkumnou větev. Musí reprodukovat důkazy, na kterých tvrzení stojí: specifikaci, vybraného kandidáta, výsledek ověření a vazbu na provedení. Vše ostatní je historie hledání, ne důkaz.","research-forge.70bcce6545":"Několik cest","research-forge.70cbd1d6b1":"Navrženo","research-forge.7173d0cb0f":"neznámý, nesplnitelný a nejednoznačný jsou výsledky","research-forge.718eb2ad28":"Redukce síly na posun","research-forge.71e541f178":"Test spouští program na vstupech, které někdo vybral. Důkaz uvažuje o každém vstupu, který pokrývá napsaná specifikace. Obojí je užitečné a odpovídají na různé otázky. Když Forge říká, že kandidát je ověřen, má věta druhou polovinu: ověřeno proti této vlastnosti, pro tyto vstupy, za těchto předpokladů. Pět částí musí cestovat společně, aby tato věta něco znamenala: přesný program, který byl zkontrolován, vlastnost, která je o něm tvrzena, předpoklady, důkazy a meze, které výsledek nestanoví.","research-forge.722e234a05":"Najít kandidáty","research-forge.72637278c6":"co Forge předává","research-forge.729c82e196":"Jeden objekt prochází celým životním cyklem, takže nic nemusí být znovu odvozováno z textu v každé fázi.","research-forge.72aeb780b2":"Kam hledání pokračuje","research-forge.72e6f70d7c":"výsledek ukazuje zpět na graf","research-forge.7305b76252":"silnější důkaz si zaslouží silnější označení","research-forge.73128a8f5b":"požadavek přichází první","research-forge.734e643f73":"Čtyři osy","research-forge.734ee26abf":"Mnoho rodin","research-forge.736500a024":"objev a důkaz","research-forge.73710d0053":"Čtyři věci se s výsledkem nemění, a to je důvod, proč si výsledek může přečíst někdo, kdo hledání nespustil.","research-forge.73e5abe068":"a metoda zůstává soukromá","research-forge.740141dd76":"Ohraničené kontroly a testy vlastností","research-forge.746a18b508":"Formátování, pořadí operandů a normalizovaný graf. Dost na to, aby hledání nedělalo stejnou práci dvakrát.","research-forge.757b8815d3":"Jeden rámec","research-forge.75be5b7552":"Co záznam zveřejňuje","research-forge.75c9be68d0":"Odmítá","research-forge.75e6b42fc5":"Mimo rozsah","research-forge.762b81621f":"Příčka, které musí kandidát dosáhnout, aby vstoupil do hranice.","research-forge.7701124587":"Dokázat, že neexistuje menší správný program v deklarovaném jazyce, je otázka, kterou studuje výzkumná tradice superoptimalizace. Toto ohraničené hledání je instancí této otázky, kterou Forge může provést a zkontrolovat.","research-forge.7777053d27":"Být špatně záměrně","research-forge.77809a4225":"x86-64, RISC-V, WASM, Vulkan GPU","research-forge.779df62acf":"Čtyři stálé závazky","research-forge.77e466696d":"Žádný program v povoleném prostoru to nedokáže. Změňte povolení nebo požadavek.","research-forge.77ed933da8":"Objektivní vektor a pozice v hranici","research-forge.7800ae62d5":"Ne jen špatně","research-forge.78546ce4c3":"Požadovaný efekt není reprezentován ověřovací smlouvou.","research-forge.79919ce9fd":"Efekty a schopnosti","research-forge.79b38792f6":"Čtyři rodiny cílů","research-forge.79b3e4bb6e":"Mnoho kandidátů","research-forge.7a36809fc6":"Forge studuje jinou sekvenci. Udržujte požadavek explicitní déle. Nechte několik implementací soutěžit v deklarovaném jazyce. Stanovte podporovaná tvrzení o chování před výběrem mezi kompromisy výkonu a nasazení.","research-forge.7a67d7aba8":"Jsou prostředí, efekty a numerická pravidla reprezentována?","research-forge.7b2d03931b":"Konvenční","research-forge.7ba8740951":"Která politika vybrala jednoho člena a kdo za ním stál","research-forge.7bec3a8510":"Zastaví se na","research-forge.7c04a5cf0e":"Vektor nákladů vytváří hranici, což je jiný objekt než žebříček.","research-forge.7c1e14bb08":"neodstraňuje lidský úsudek","research-forge.7c3f4fda21":"velikost 1","research-forge.7d448f8882":"Jeden fond kandidátů","research-forge.7d58a74832":"Kandidát může projít všemi příklady, které mu byly ukázány, a přesto být někde, kam se nikdo nepodíval, chybný. Forge hledá konkrétní vstup, který rozdíl odhalí. Tento vstup je protipříkladem, a jakmile existuje, připojí se k trvalé množině případů, které musí každý pozdější kandidát splnit. Cyklus za tím je krátký. Kandidát je navržen, je zkoušen nad rámec příkladů, které mu byly dány, jeden vstup odhalí chybné chování a tento vstup je uchován. Pak se hledání spustí znovu proti větší množině. Končí důkazem, mezí nebo stanoveným limitem, nikdy ne kandidátem, který prostě vypadá správně. Z této množiny se nikdy nic neodstraňuje, proto třetí pokus znamená víc než první.","research-forge.7d5f9141fc":"Měření zatím není stanoveno","research-forge.7db1bb6632":"Odvození jako důkaz","research-forge.7df7e32344":"odznak pojmenovává pouze příčku","research-forge.7e2e54dae8":"Lze navrhnout vyvážený bod zlomu. Návrh je zaznamenán s normalizací, která ho vytvořila, takže recenzent vidí, že jde o politiku, nikoli aritmetickou nevyhnutelnost.","research-forge.7e309ec303":"Hypotéza výkonu, nikoli benchmark","research-forge.7e5a975b6a":"Identita","research-forge.7e826f7af3":"TRUST","research-forge.7ea014de7b":"Důkaz","research-forge.7ea35b3515":"Stejný objekt zastává čtyři role, aniž by změnil kategorii. Během hledání je kandidátem, během průzkumu členem třídy ekvivalence, subjektem, který důkaz pojmenovává, a vstupem, proti kterému Kera plánuje. Jedna identita nese všechny čtyři.","research-forge.7f2b6cf0fd":"Kandidát musí splnit dosud shromážděné důkazy. Verifikátor pak prohledává podporovanou doménu a hledá vstup nebo stav, kde kandidát porušuje úplnou specifikaci. Jakýkoli protipříklad, který najde, se připojí k množině důkazů jako trvalý závazek, takže další kandidát musí splnit vše, co splnily předchozí, a také nový případ. Smyčka se pouze zpřísňuje. Zastaví se na důkazu, mezi nebo deklarovaném limitu, a nikdy se nezastaví na kandidátovi, který pouze vypadá přesvědčivě. Přidání předpokladu je povoleno, ale otevírá novou identitu specifikace, nikoli upravuje starou.","research-forge.7f59a1f1d5":"Rozhodnutí","research-forge.7f5e7b5182":"Čtyři institucionální akce","research-forge.7f87260e69":"Psáno dopředu, čteno pozpátku","research-forge.7fc3a8b99e":"Výzkumný design kombinuje DSL nad typovanými výrazy s enumerativním, CEGIS, genetickým programováním a MCTS hledáním, e-graph saturaci rovností, měřením založeným na Craneliftu a kontrolami Z3/CVC5 pro ohraničené závazky. Multiobjektivní hledání zohledňuje latenci, počet operací, paměť a tlak na registry; cílové generování kódu zahrnuje x86-64, RISC-V, WASM, Vulkan GPU a Verilog. Počty úloh a testů, zrychlení napříč hostiteli a produkční výkon zůstávají validační prací.","research-forge.7fda8c3a33":"Tři kandidáti, tři upřímné štítky","research-forge.7fdf663e3a":"Hypotéza výkonu, nikoli benchmark","research-forge.7fef09721e":"Dweve Forge, ověřené objevování programů","research-forge.80302bf5ea":"Ohraničené kontroly a hledání","research-forge.80446347ed":"Formulář","research-forge.80d70e543d":"Fronta a výběr","research-forge.814de3b8b2":"Čtyři členové fronty","research-forge.8179013356":"Provoz, pracovní sada, přenosy a lokalita","research-forge.81eccd6085":"Čtyři důvody pro ticho","research-forge.81f08b5724":"dlouho poté, co lidé odejdou","research-forge.8208f3f27b":"Pořadí","research-forge.82319c5d9e":"Aplikování transformací v sekvenci vytváří předčasnou volbu, která může vyloučit pozdější zlepšení. Forge studuje kompaktní reprezentace, které drží mnoho ekvivalentních forem najednou, takže několik cest transformace koexistuje až do extrakce. Reprezentovat mnoho přepisů společně, spíše než se zavázat k jednomu pořadí, je přístup, který výzkumná literatura nazývá saturace rovností.","research-forge.8252f95ddf":"změna jednoho uzlu v ověřeném grafu vrací kandidáta do dobře utvořeného stavu","research-forge.825d89212b":"Znalost transformací","research-forge.8283b9d96c":"Žádné pořadí fází","research-forge.82c24c3687":"Program může měnit tvar, ale to, co musí splnit, ne.","research-forge.8301a503f4":"Neshoda mezi dvěma platnými čteními je zobrazena jako otázka, nikoli vyřešena hledáním.","research-forge.8368699cf6":"Mnoho možných programů","research-forge.8375a2c337":"Tři pokusy, jeden rostoucí seznam případů","research-forge.837b910e11":"dokud politika nevybere","research-forge.83908aa381":"Typ, tvar, reprezentace a číselná smlouva, která je řídí.","research-forge.83ea53e5ec":"Mnoho ekvivalentních forem, tři stojí za extrakci","research-forge.8597c90c68":"Výzkumné testy (rozsah)","research-forge.864c38bd34":"Kde měření neexistuje, buňka zůstává prázdná. Prázdná buňka je prohlášení o důkazech a její vyplnění výstupem modelu by tiše přeměnilo odhad na výsledek.","research-forge.8682d73e62":"Program","research-forge.869cb36316":"Jeden navrhovaný implementace připnuté specifikace.","research-forge.8703ca90ce":"Vlastnictví, paměťový prostor a cílové restrikce, které platí.","research-forge.870d4e66fc":"záznam pojmenovává rozsah","research-forge.87805aff07":"Žádný program","research-forge.879bb91dae":"ani jedna strana nepřebírá tvrzení té druhé","research-forge.87d0c490e0":"Nákladové dimenze, které tento experiment porovnává, zvolené před změřením jakéhokoli kandidáta.","research-forge.88306943fe":"Metoda","research-forge.8831be6339":"Když se neobjeví žádný program","research-forge.887b3d18f0":"Forge vlastní specifikaci, hledání kandidátů, průzkum ekvivalencí, objektivní frontu a verifikaci. Kera je grafově nativní systémový jazyk Dweve a základ Direct Computation, a vlastní plánování, snižování, cílově specifickou emisi a provádění. Co mezi nimi přechází, je ověřený sémantický graf s jeho závazky, objektivním profilem a důkazy. Graf je pojmenován spíše než zdroj, a výsledek, který se vrací, ukazuje na stejnou identitu.","research-forge.887cf267e6":"Unsat","research-forge.888797190c":"jedno chování, několik implementací","research-forge.888e561892":"Čtyři způsoby, jak žádat o lepší","research-forge.892257a43b":"Důkaz může být korektní","research-forge.89404ea15f":"Formální dotaz","research-forge.894f8a793c":"Použijte silnější teorii, širší jazyk nebo větší rozpočet.","research-forge.897b3ac98d":"Codegen","research-forge.89b86ab0e6":"Jazyk","research-forge.89c7caf6b5":"Které kroky dělají práci","research-forge.89c8a2851d":"Paměť","research-forge.89f5343231":"Trvalá stopa rozhodnutí","research-forge.8a102fcb06":"Ohraničené úplné hledání","research-forge.8a9523ae04":"Co kandidátní uzel nese","research-forge.8ab2c84ed7":"Jedna architektura","research-forge.8b2d50590f":"Formální důkazy pokrývají specifikaci a sémantiku, která byla zakódována. Pokud byla vynechána podmínka prostředí nebo numerický model neodpovídá stroji, výsledek je platný a odpovídá na mírně odlišnou otázku.","research-forge.8b593995c8":"Předpoklady","research-forge.8b7acd8daf":"Na hranici se nic nedostane se štítkem jistoty silnějším, než podporují důkazy.","research-forge.8bafd39dbd":"Záměrná hranice produktu","research-forge.8c0dc9aa18":"Předpoklady, následné podmínky a úroveň jistoty, které musí výsledek dosáhnout.","research-forge.8c1cf9e158":"Příklady, logické podmínky, náčrty a referenční chování, každé zaznamenané se silou, kterou nese.","research-forge.8cb71202e7":"Několik chování odpovídá příkladům. Jeden další případ to rozhodne.","research-forge.8d9c9bb663":"Dva záznamy, jeden graf","research-forge.8daee0af31":"Konvenční cesta zužující se na jednu kódovou základnu a znovu otevíraná jako projekty přepisu, vedle výzkumné cesty, která drží vějíř ověřených kandidátů, dokud politika nevybere jednoho","research-forge.8db9aab917":"jak silně byl zkontrolován","research-forge.8dce170de2":"Hodnota","research-forge.8dd2a359fe":"LEAN","research-forge.8df2bb4b75":"Úroveň jistoty, které musí kandidát dosáhnout, mez prohledávání a co hlásit, když ničeho nedosáhne.","research-forge.8e2717f3c6":"Kandidát, který nemohl být legální, se nikdy nesestaví, takže hranice drží pouze dobře utvořené programy.","research-forge.8e34678d0d":"nelegální kandidáti nikdy nevstoupí do fondu","research-forge.8e3934fad2":"Čtyři karty politik vybírající různé členy jedné hranice, každá vytváří úplný rozhodovací záznam s důvody dominance pro členy, které nevybrala","research-forge.8e50172772":"Nezávislá kontrola je samostatná příčka, protože klade jinou otázku. Ne, zda byl důkaz vytvořen, ale zda kontrolor, který jej nevytvořil, souhlasí, a to pouze na základě důkazů dodaných s kandidátem.","research-forge.8e84017c75":"Odkaz je na konkrétní program. Změňte jeden krok uvnitř a důkaz již nepopisuje to, co držíte, takže štítek se vrátí na obyčejný strukturální, dokud kontrola nebude provedena znovu.","research-forge.9032517861":"Pět tvrzení, pět stavů","research-forge.908b29b50b":"každá příčka potřebuje jiný druh důkazů","research-forge.90e40d5043":"Začněte","research-forge.919003799d":"Testováno","research-forge.91ad20c2db":"Dva plány","research-forge.91c0ae2087":"přesný záměr snižuje riziko implementace","research-forge.91cf399266":"může být skutečnou odpovědí","research-forge.9225f51a2a":"Protipříklad","research-forge.9233f41df0":"Tři cíle","research-forge.9297ab4ca3":"Přečtěte si příběh","research-forge.929818c51d":"Největší paměťová stopa","research-forge.929a9f0f25":"První, který funguje","research-forge.92a7058e4e":"Diskutujte o institucionální spolupráci","research-forge.92f5fe6952":"Čtyři výsledky","research-forge.936c25084e":"Referenční chování","research-forge.9388f4158d":"vyvážená možnost je volba jako ostatní, a říká to","research-forge.93c09204c0":"Mírné na obou nákladech","research-forge.93c2975761":"Sledujte hledání","research-forge.93f79d808f":"Odráží vybraný člen hranice stanovenou prioritu?","research-forge.942587e61e":"Projektový list","research-forge.9477d7acdd":"Požádejte o partnerský přístup","research-forge.94822e9dc6":"Kovárna, institucionální pohled","research-forge.94827e8438":"Přečtěte si články","research-forge.94859cf20a":"Zapečetěné a otevřené","research-forge.948c81b996":"Několik ověřených cest vpřed","research-forge.94cc86c489":"jeden změněný krok a odznak pojmenovává program, který již nedržíte","research-forge.94ed3b0134":"od záměru k vybranému programu","research-forge.950dfeeb8b":"Záměr se stává kódem","research-forge.9550373e8b":"Měřeno","research-forge.95eaeda430":"Jak velký může být užitečně ověřený grafový region.","research-forge.9678c4f1e3":"jedna identita překračuje hranici","research-forge.96aff7c058":"Jedna smyčka protipříkladů","research-forge.96b9633285":"Co může hledání změnit","research-forge.973c3f46d7":"V rozsahu","research-forge.978aa6569a":"Skončí dříve","research-forge.97c89a4d66":"Akce","research-forge.97ee6e5610":"Navrhnout","research-forge.992bc34385":"Čistá specifikace nemůže získat přístup k souborům nebo síti. Smlouva s pevnou šířkou celého čísla se nemůže tiše stát neomezeným matematickým celým číslem. Reprezentace nesoucí měřítko si zachovává své měřítko a paměťově bezpečný náčrt nemůže být dokončen s nekontrolovaným aliasem.","research-forge.99508624d6":"Žádný program nemůže být","research-forge.996c4a8976":"má v sobě program","research-forge.99dc6bab08":"Dva kandidáti splňující stejnou sadu příkladů a rozcházející se na vstupu, který nikdo nedodal, se třemi způsoby, jak to může zúčastněná strana vyřešit","research-forge.9a24005705":"Jedno kompletní vyhledávání, podle velikosti","research-forge.9a469ce88c":"Beton","research-forge.9a4ce5f246":"volba musí být uvedena","research-forge.9ae33a7d0e":"Vlastnost","research-forge.9b7bd11153":"Ověřený graf překračující tvrdou hranici do Kera, naplánovaný dvěma různými způsoby, s oběma výsledky propojenými zpět ke stejné identitě grafu","research-forge.9c25db95cc":"Kandidát A","research-forge.9c86ef6b28":"Zkoumá kandidátské implementace pod deklarovaným kontraktem","research-forge.9cbe42aaff":"Naplánováno","research-forge.9cfcf5930d":"Latence, pohyb, nasazení a důkazní zátěž nejsou prvním výsledkem dotčeny.","research-forge.9d68007b07":"Program","research-forge.9dba232302":"Chování, které bylo požadováno","research-forge.9dc6ec542b":"není totéž jako jeho spuštění","research-forge.9dd59ab994":"Porovnává","research-forge.9df0f32743":"Registry, paralelismus, limity zařízení, přenositelnost","research-forge.9e811eeaf8":"Po korektnosti","research-forge.9ee018232e":"Do kandidáta nevstoupí nic, co paket nepovolil.","research-forge.9f36fa8055":"Zachovejte tento tvar a najděte chybějící část.","research-forge.9f78c690af":"z různých důvodů","research-forge.9fea6de725":"Formální","research-forge.9ff7951f81":"Ověřený odznak rozšířený do pěti částí, zobrazený znovu vedle stejného programu poté, co se změnil jeden krok a vazba mezi nimi se přerušila","research-forge.a0a9a568c3":"Kandidáti, kteří zůstali platní, a ti, které ukončil protipříklad","research-forge.a0c9c40551":"program mění tvar","research-forge.a10a7ad63a":"Co paket opravuje","research-forge.a266f0a07d":"Prozkoumejte kandidátská jádra","research-forge.a2e1cc1b2f":"Může se změnit","research-forge.a2f4a96337":"Kompromis","research-forge.a32a41c9d1":"žádný program, s důvodem","research-forge.a336e6650d":"Dva kandidáti, dva poctivé body zastavení","research-forge.a3c143732a":"problém je opraven před hledáním","research-forge.a3c686e711":"Kategorie","research-forge.a4508fc8ef":"Sémantický vztah","research-forge.a48f8c0cf7":"Pět programů, jedna specifikace","research-forge.a4c745386f":"Čtyři politiky","research-forge.a57b5d2330":"Vyhledávání se může změnit","research-forge.a6067adc3c":"latence, provoz, paměť, registry","research-forge.a618b4be8d":"Dotaz","research-forge.a61c938f35":"Vyhledávání navrhuje","research-forge.a723285355":"Modelováno","research-forge.a79764b5e5":"Několik správných programů, každý s vlastním důkazem","research-forge.a7987d27ae":"Vzdává se jednoho přepisu","research-forge.a898f4eb0d":"Je to stejná volba, jakou každý dělá ohledně trasy přes město. Nejrychlejší, nejlevnější a ta s méně změnami jsou všechny rozumné. Co rozumné není, je tvrdit, že existuje jen jedna odpověď, aniž byste řekli, co optimalizujete.","research-forge.a8b262d32b":"Žádat model o kód a dostat něco, co vypadá správně, je jiný úkol. Není tu nic, co by odpověď musela splňovat, takže není nic, proti čemu by mohla selhat, a člověk, který ji čte, musí dodat veškerý úsudek.","research-forge.a8e5c0ccf3":"Graf, který výsledek ověření skutečně pojmenovává.","research-forge.a91bcce893":"Vždy","research-forge.a94848cbdb":"Do tohoto kroku se dostanou pouze kandidáti, kteří prošli branou.","research-forge.a9d6afeda0":"zpět k návrhu","research-forge.a9f1693ebe":"Každý člen splňuje deklarovaný kontrakt, takže jedinou zbývající otázkou je, jaké náklady přijmete.","research-forge.aa1a2e191d":"UVEDENO NA PRVNÍM MÍSTĚ","research-forge.aa2b80d828":"Hranice","research-forge.aa62568659":"Říci, co není známo, je užitečnější než vyplnit mezeru něčím, co se dobře čte.","research-forge.aa6708d51a":"Byl prokázán podporovaný univerzální vztah.","research-forge.aa88ef980e":"Která podporovaná prostředí ho mohou spustit","research-forge.aa9002c223":"Odznak, otevřený","research-forge.aab9ca1bc6":"Ve třídě","research-forge.ab89d05c4b":"Umístění","research-forge.ab98f5b857":"Pevné","research-forge.ab9a4aae0b":"Nejnižší pohyb","research-forge.aba86cd010":"Politika vybírá","research-forge.abc0c09f1f":"Stroj může změnit, které kroky vykonávají práci, v jakém pořadí probíhají a které mezihodnoty vůbec existují. Dva programy, které nesdílejí žádné z těchto věcí, mohou stále dělat stejnou práci a vyhledávání může preferovat kterýkoli z nich.","research-forge.ac30f0abf3":"Pokud to změní, co program produkuje, není to zlepšení toho programu. Korektnost je to, co kandidátovi získá místo v diskusi o nákladech.","research-forge.acc3156c5b":"Spustit odkaz","research-forge.ad2cecac38":"Text a struktura","research-forge.ad44adccc4":"důkaz posiluje přesné tvrzení","research-forge.ad59e3b102":"Nejširší","research-forge.adfc01e921":"Kandidát může být posuzován pouze proti problému, který byl již stanoven.","research-forge.adfccdc8de":"Forge: co","research-forge.ae2fee1a70":"Sestavujte pouze typově správné větší výrazy.","research-forge.aeb1c76446":"Čtyři kruhy, jedno pravidlo publikování","research-forge.aebc2854f4":"Číselný","research-forge.aeedafb2fe":"selhání se stává trvalým závazkem","research-forge.af3cc2e010":"program, ne cíl","research-forge.af68d81f17":"Chování a omezení, která definovala úspěch.","research-forge.af78a00855":"Jak přímo lze jeho chování ověřit","research-forge.afbab5dc80":"první objevený kandidát si zachovává své místo v historii a opouští hranici","research-forge.aff55d9c0e":"Hlaste nejmenší ověřený kandidát a jeho mez.","research-forge.b0339e3e63":"Synthesis, Cranelift a","research-forge.b048046ec8":"Kandidát s nejnižší latencí může držet větší pracovní sadu. Nejpřenosnější může být pomalejší na stroji před vámi. Ten s nejjednodušším důkazem se může vzdát agresivního přepisu. Lze navrhnout vyvážený bod kolena a návrh je zaznamenán jako politika s připojenou normalizací.","research-forge.b06be2ecea":"Proto Forge publikuje předpoklady vedle tvrzení a proč má recenze jmenované vlastníky. Specifikace, model a cíl spuštění jsou tři samostatné podpisy.","research-forge.b0811e470d":"Kompromis","research-forge.b0a205ebad":"Začněte od povolených vstupů a konstant.","research-forge.b0b01215a0":"Kandidát D","research-forge.b116105199":"Čtyři otázky k vyřešení","research-forge.b1d348384e":"Více než jeden druh lepšího","research-forge.b23977841c":"Protipříklady","research-forge.b26aa65383":"Co slovo ověřeno pokrývá","research-forge.b2bc0c005f":"Zkontrolováno","research-forge.b30077250b":"potvrdit brzy nebo zachovat alternativy","research-forge.b307b88c84":"Přenositelnost","research-forge.b3776d63ad":"Backendy","research-forge.b39a168c1e":"Paket je zapsán jednou a každý výsledek na této stránce odkazuje zpět na verzi, která jej vytvořila.","research-forge.b3c0c45a3e":"Forge odděluje strukturální platnost, konkrétní testování, ohraničené vyčerpávající ověřování, formální verifikaci, nezávislé ověřování a provázání se spuštěním. Kandidát postoupí pouze tehdy, když existují důkazy pro další příčku, a dosažená příčka je součástí výsledku, nikoli ozdobou na něm. Rychlé hledání může držet testované kandidáty, zatímco se stále získává důkaz. Nezávislé ověřování stojí na vlastní příčce, protože se ptá, zda ověřovač, který důkaz nevytvořil, s ním souhlasí.","research-forge.b45b598d0c":"Jedna identita grafu spojuje specifikaci, důkaz, plán a výsledek, který se vrátil.","research-forge.b462217ad5":"Jeden vstup ukazuje, že chování je špatné.","research-forge.b4dad06170":"Technické specifikace","research-forge.b51ba796f2":"Začíná od","research-forge.b5338782b3":"Rozměry, podle kterých je kandidát hodnocen, modelován nebo měřen","research-forge.b568d47f2e":"Vstup","research-forge.b5b0a8f813":"Soustředné vrstvy od veřejné výzkumné otázky přes reprodukovatelný protokol a zveřejněný výsledek až po chráněnou interní metodu","research-forge.b6272cdaf7":"Forge zaznamenává identitu specifikace, relevantní původ kandidáta, protipříklady, použité vztahy ekvivalence, hodnoty cílů, přechody zajištění a politiku výběru. Tento řetězec vysvětluje, proč vybraný program existuje a které alternativy nahradil, a stačí k tomu, aby někdo jiný rekonstruoval tvrzení. Přehrazení nemusí opakovat každou průzkumnou větev, pouze důkazy, na kterých tvrzení stojí.","research-forge.b638127a16":"Ohraničeně úplné","research-forge.b66b54c1d8":"Kandidát jako objekt","research-forge.b6d2f4c9e8":"hledání nemůže rozšířit typový systém","research-forge.b70446abdf":"Požadavky mohou být v konfliktu. Sada příkladů může povolit nekompatibilní chování. Požadovaná záruka může ležet mimo sémantiku, kterou verifikační smlouva představuje. Hledání může dosáhnout svého deklarovaného limitu bez závěru. Forge hlásí každou z těchto situací zvlášť, protože vyžadují čtyři různé reakce a stojí čtyři různé částky na jejich řešení. Konfliktní klauzule jsou sladěny, konkurenční chování je odděleno více důkazy, neuzavřené hledání je rozšířeno a záruka mimo smlouvu je zaznamenána jako ta, kterou nelze odůvodnit, jak je uvedeno.","research-forge.b71f6e67ce":"Prostudujte jedno rozhodnutí o implementaci","research-forge.b74c664479":"Stavy zajištění","research-forge.b78c6b0e99":"projít příklady a splnit podmínku nejsou stejná tvrzení","research-forge.b82b9b1043":"formy jsou kombinovány záměrně","research-forge.b895ceb6b1":"ne-odpověď zabraňuje falešné sebedůvěře","research-forge.b8f5629ab6":"sloupec závazků se mezi iteracemi nikdy nezmenšuje","research-forge.b97a1099a3":"Strojově ověřitelné","research-forge.b9b15e5f94":"Tři spisy","research-forge.ba25b214d8":"každý žádá něco jiného","research-forge.ba3fef96ae":"Důkaz o pěti částech","research-forge.babfc32160":"Alespoň jedno chování splňuje všechny klauzule najednou.","research-forge.bac127c5b7":"Nedominované","research-forge.bb11a8e3f8":"Pravidla","research-forge.bb2fe63e5a":"INPUT","research-forge.bb54db510a":"Přijmout","research-forge.bb9cf14180":"Politika","research-forge.bb9d653f4e":"Výzva","research-forge.bbddd6ecdf":"Které mezilehlé hodnoty existují","research-forge.bc0b16aa7f":"Čtyři ověřené programy přeřazené podle toho, kterou vlastnost požadujete, s vyváženou možností zobrazenou jako preference stejně jako ostatní","research-forge.bc6b9b38a3":"Kroky, které patří k výzkumné metodě Dweve, se zobrazují jako zapečetěné uzly se svými vstupy, výstupy a zveřejněnou identitou. Institucionální transparentnost a výzkumná důvěrnost jsou řešeny jako dvě vlastnosti jednoho řetězce, nikoli jako protiklady.","research-forge.bc7819b34f":"Neznámý","research-forge.bcd3b8580e":"objekt nikdy nemění kategorii","research-forge.bce0641417":"Hledat","research-forge.bd163f2c2d":"Každý vztah nese své vedlejší podmínky. Algebraická restrukturalizace, snižování síly, vektorizace, fúze, změna rozložení a eliminace pohybu jsou legální pouze tehdy, když v tomto experimentu platí podmínky aritmetiky, šířky, zaokrouhlování, účinku a pořadí.","research-forge.bd5d4d39fa":"Uvádí","research-forge.bda89bbff3":"Změna příkladu, rozšíření typu, povolení účinku nebo uvolnění numerické tolerance vytváří jiný výzkumný problém s jinou identitou. Dřívější běh zůstává v záznamu pod svým vlastním paketem, takže dva výsledky nejsou nikdy čteny jako odpovědi na stejnou otázku.","research-forge.bdfebc22bf":"Objektivní vektor","research-forge.be601df25e":"Výzkum","research-forge.beb1ed4753":"veřejné důkazy vedle chráněné metody","research-forge.bef833878c":"seznam případů se mezi koly nikdy nezkracuje","research-forge.bf55421b4a":"Požadované chování není něco, co kontrola pokrývá.","research-forge.bff5c4dd05":"Vyžadovat","research-forge.business.actionCase":"Viz institucionální případ","research-forge.business.actionCooperate":"Projednat výzkumnou spolupráci","research-forge.business.banner.body1":"Dokazuje, že jedna cesta existuje.","research-forge.business.banner.body2":"Nedokazuje, že cesta je nejrychlejší, nejmenší, nejpřenosnější, nejsnáze auditovatelná nebo nejvhodnější pro instituci, která ji musí provozovat.","research-forge.business.banner.eyebrow":"Problém návrhového prostoru","research-forge.business.banner.firstDetail":"Vyhledávání prokázalo, že existuje přípustný kandidát.","research-forge.business.banner.firstLabel":"Jedna vyhovující cesta","research-forge.business.banner.firstStatus":"Platné v rozsahu","research-forge.business.banner.footer":"Dweve Forge, objev ověřených programů","research-forge.business.banner.frontierDetail":"Několik správných programů zůstává pro různé profily cílů.","research-forge.business.banner.frontierLabel":"Nedominované alternativy","research-forge.business.banner.frontierStatus":"Viditelné","research-forge.business.banner.headline":"Správnost je začátek","research-forge.business.banner.headlineAccent":"ne konečná odpověď","research-forge.business.banner.instrument":"Po správnosti","research-forge.business.banner.leftLabel":"První platný kandidát","research-forge.business.banner.limitDetail":"První výsledek neříká nic o blízkých kompromisech.","research-forge.business.banner.limitLabel":"Žádné univerzální optimum","research-forge.business.banner.limitStatus":"Pokračovat v hledání","research-forge.business.banner.policyDetail":"Instituce uvádí, který kompromis utvářel volbu.","research-forge.business.banner.policyLabel":"Zaznamenaná politika výběru","research-forge.business.banner.policyStatus":"Přezkoumatelné","research-forge.business.banner.rightLabel":"Rozhodovací hranice","research-forge.business.banner.tag":"Porovnat","research-forge.business.banner.verdict":"Ponechte alternativy, dokud není politika explicitní.","research-forge.business.banner.verdictLabel":"Rozhodovací pravidlo","research-forge.business.close.body":"Přineste doménový záměr, formální metody, měření hardwaru nebo nezávislý přezkum. Forge poskytuje sdílený výzkumný objekt pro porovnávání objevování programů, dokazování a provádění.","research-forge.business.close.label":"Dweve Forge, výzkumná spolupráce","research-forge.business.close.primary":"Projednat institucionální spolupráci","research-forge.business.close.secondary":"Prozkoumat smlouvu o důkazech","research-forge.business.close.title":"Zpochybněte jedno rozhodnutí.","research-forge.business.eyebrow":"Dweve Forge, objev ověřených programů","research-forge.business.lede":"Dweve Forge je výzkumný projekt, který přeměňuje příklady, omezení a částečné specifikace na řízené hledání platných programů, porovnává nedominované alternativy a uchovává důkazy podporující vybraný výsledek. Specifikace zůstává trvalým aktivem, zatímco implementační volby zůstávají otevřené déle.","research-forge.business.titleAccent":"dokud nerozhodne důkaz","research-forge.business.titleLead":"Ponechte záměr otevřený","research-forge.businessGlyph.ambiguous":"Chování stále nejednoznačné","research-forge.businessGlyph.assurance":"Ujištění pojmenováno","research-forge.businessGlyph.boundary":"Výzkumný program, ne softwarová nabídka","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":"Nalezen protipříklad","research-forge.businessGlyph.execution":"Plán a výsledek propojeny","research-forge.businessGlyph.fixed":"Opraveno","research-forge.businessGlyph.kera":"Provádění Kera","research-forge.businessGlyph.lowLatency":"Nejnižší latence","research-forge.businessGlyph.lowMovement":"Nejmenší pohyb","research-forge.businessGlyph.policy":"Politika výběru","research-forge.businessGlyph.portability":"Nejširší přenositelnost","research-forge.businessGlyph.research":"Výzkum","research-forge.businessGlyph.selected":"Vybraný graf","research-forge.businessGlyph.simpleProof":"Nejjednodušší důkaz","research-forge.businessGlyph.spec":"Chování, hranice a politika zajištění","research-forge.businessGlyph.specFixed":"Specifikace pevná","research-forge.businessGlyph.specLabel":"Neměnná specifikace","research-forge.businessGlyph.subtitle":"Ověřené alternativy před provedením","research-forge.businessGlyph.title":"Rozhodovací list specifikace","research-forge.businessGlyph.tradeoffs":"Kompromisy viditelné","research-forge.businessGlyph.visible":"Viditelné","research-forge.businessHero.titleMiddle":"lepší","research-forge.businessHero.titleSuffix":"software","research-forge.c00cde6a62":"Konečná deklarovaná doména byla pokryta bez selhání.","research-forge.c023fe51a2":"Forge je dostupný prostřednictvím výzkumného partnerského programu Dweve. Před přístupem otestujte ohraničené otázky syntézy programů a dohodněte podmínky hodnocení. Výsledky zůstávají výzkumnými důkazy, nikoli slibem produktu.","research-forge.c040f6e04f":"omezení je uvedeno s výsledkem","research-forge.c0caf528d8":"Vícekriteriální náklady","research-forge.c10a6d0899":"Protichůdné požadavky zjištěné během implementace se stávají zpožděním a přepracováním. Nejednoznačnost zjištěná po nasazení se stává nekonzistentním chováním, které musí někdo sladit. Najít je před tím, než implementace existuje, je nejlevnější místo, kde je najít.","research-forge.c12f928235":"Předání grafu","research-forge.c144b00ba8":"Latence, propustnost a kritická cesta","research-forge.c174fa3158":"Hranice se nepohybuje, když se pohybuje politika","research-forge.c1929c45f3":"Vyhledávání může dokázat, že nic v deklarovaném jazyce nesplňuje požadavek, může selhat při rozhodování otázky v rámci svých teoretických a zdrojových limitů, nebo může zjistit, že dodané důkazy umožňují několik neslučitelných chování.","research-forge.c1fcd5ecff":"Mohlo by to být rychlejší. Mohlo by to být menší. Mohlo by to být nejúhlednější, co kdo pro ten problém vymyslel.","research-forge.c20d749a05":"KOMPROMISY VIDITELNÉ","research-forge.c2184a31d3":"Požadavek je to, co stojí za to si ponechat, a implementace je výsledek, který vytvořil.","research-forge.c297908b88":"Kandidát nemůže být povýšen ovládacím prvkem, pouze důkazem, že existuje další příčka.","research-forge.c29cf0b245":"Kompromisy","research-forge.c2bb6fa0c5":"SPECIFIKACE NEMĚNNÁ","research-forge.c2ea17d5fe":"TŘI POLE","research-forge.c33ef52668":"požadavek ne","research-forge.c3451e6677":"Příklady ukazují očekávané chování na případech, které lidé mohou zkontrolovat. Logické podmínky definují, co musí platit nad rámec těchto případů. Částečný náčrt zachovává bezpečnostní architekturu, rozhraní nebo předepsaný tok řízení, zatímco jedna oblast zůstává otevřená objevování. Společně činí požadavek dostatečně přesným, aby proti němu stroj mohl selhat, což je účel specifikace. Cokoli, co může vyhledávání rozhodnout vaším jménem, patří do stejného dokumentu.","research-forge.c36594e8f5":"minimální v rámci deklarovaného jazyka","research-forge.c3be8bb127":"Jak rychle","research-forge.c3e4b59bd1":"Kolik dat program přesouvá","research-forge.c439038abe":"Nekryto","research-forge.c440d9bf36":"Vyhledávání nemůže zachránit kandidáta změnou cíle.","research-forge.c4cc9c34bd":"Jeden cyklus vylepšování","research-forge.c533db2294":"před zobrazením možností","research-forge.c554cb5d95":"Dweve Research, Nizozemsko","research-forge.c60a3a3cff":"Prohledejte podporovanou doménu pro porušující vstup.","research-forge.c648f0b37b":"Čtyři důvody, proč je odpověď žádný program","research-forge.c69925079f":"špatně na tomto přesném případě","research-forge.c6c9f7cd5c":"Chytrá zkratka","research-forge.c6d954c113":"Nic v deklarovaném jazyce a předpokladech nesplňuje požadavek.","research-forge.c74dddd8a0":"Položky, které odpovídají na pozdější otázku, byly napsány, když bylo rozhodnutí učiněno.","research-forge.c76a21c28e":"Proto může být známá identita přijata v přesné celočíselné oblasti a odmítnuta v oblasti s plovoucí desetinnou čárkou ve stejném grafu. Podmínka zůstává připojena k relaci, takže extrakce nikdy nedědí přepis, na který neměla nárok.","research-forge.c7e00eda62":"tvrzení je minimální v tomto jazyce, při tomto omezení","research-forge.c7f2c2e7d4":"Tři kola","research-forge.c8050fa93f":"Dokazuje, že existuje jedna cesta. To je skutečný výsledek a stojí za to ho mít brzy, protože vám říká, že požadavek lze vůbec splnit v jazyce, který jste deklarovali.","research-forge.c82f0b5250":"křížící se dvojice je kompromis, ne pořadí","research-forge.c855f0a33c":"Nepodporovaná teorie zastaví kandidáta na testováno nebo mimo rozsah a záznam říká, kde. Formální výsledek může pojmenovat sémantický graf, zatímco vydaný artefakt stále čeká na svůj odkaz na provedení. Žádný z těchto stavů není stlačen do jediného odznaku.","research-forge.c932a404bb":"Testujte, zpochybňujte a dokazujte, co důkazy podporují.","research-forge.c93e1581c7":"I malý problém může obsahovat miliony možných programů. Forge se dívá dovnitř operací a hranic, které experiment umožňuje, a různá chování vyhledávání zkoumají různé části tohoto prostoru. Žádné z nich nesmí zjednodušit problém: požadavek stojí mimo vyhledávání a nepohybuje se.","research-forge.c940737ecf":"Forge, výzkumný pohled","research-forge.c968557f4b":"Ověřený graf a důkazy do Kera","research-forge.c9bf3b001c":"nejcennější výsledek","research-forge.c9d8f0eef6":"prořezat před vyhodnocením","research-forge.ca032b5844":"Co to dělá","research-forge.ca046ad257":"Přečtěte si výzkum","research-forge.ca08ca46bd":"Žebřík jistoty","research-forge.ca09c54bff":"Schopnosti","research-forge.ca6d0e3aaa":"Fáze","research-forge.ca7b181648":"Pevné pořadí","research-forge.cb3242398c":"Několik programů zůstává platných","research-forge.cb3888722e":"Ani jedna strana nepřebírá tvrzení té druhé a identita grafu udržuje spojení přesné.","research-forge.cb48a44ca9":"Tři iterace","research-forge.cb4ae000d8":"program zůstává otevřený","research-forge.cb5c0156c2":"Nese vlastní omezení","research-forge.cbb9f1b292":"každý říká něco jiného","research-forge.cbbe214a22":"Přineste specifikaci","research-forge.cc68ebf0f3":"Fronta drží kandidáty, které žádný jiný kandidát nepřekonává ve všech aktivních cílech. Odebrání člena vyžaduje dominanční vztah, který lze prokázat, ne preferenci skrytou v prohledávání. To mění technické srovnání na něco, co může revizní komise přečíst: každý člen splňuje stejnou smlouvu a liší se pouze tím, co stojí.","research-forge.ccfd13401b":"Připněte problém","research-forge.cd27068c9e":"Trvanlivé aktivum","research-forge.cd3d5a59f1":"Deterministické provádění","research-forge.cdaa0de1dc":"Sdílení společných podvýrazů","research-forge.cdbed7e540":"Vyhledávací jazyk","research-forge.cde215073a":"všichni čtyři splňují stejnou smlouvu","research-forge.cdf33799d9":"Záznam o propojení provádění","research-forge.ce3b4e045e":"než se stane trvalým","research-forge.ce9e850988":"vyhledávání hlásí odchylku, místo aby si vybralo jednu z nich","research-forge.cec4b662d3":"Částečný program","research-forge.cecae09ffe":"Stroj najde kandidáta.","research-forge.cf5ed047cf":"Hodnoty cílů a pozice na frontě.","research-forge.cf61965045":"fakta dostupná před tím, než se cokoli vyhodnotí","research-forge.cf88038e56":"Není konečné","research-forge.cf9b77061f":"Otevřené","research-forge.consumer.banner.bodyOne":"Kandidát může být rychlejší, menší nebo snadněji spustitelný.","research-forge.consumer.banner.bodyTwo":"Pokud porušuje specifikaci, není optimalizací toho programu.","research-forge.consumer.banner.checkDetail":"Vyžadujte úroveň důkazů uvedenou v experimentu.","research-forge.consumer.banner.checkLabel":"Zkontrolujte správnost","research-forge.consumer.banner.checkStatus":"Brána","research-forge.consumer.banner.compareDetail":"Do diskuse o kompromisech vstupují pouze přijatelní kandidáti.","research-forge.consumer.banner.compareLabel":"Porovnejte náklady","research-forge.consumer.banner.compareStatus":"Poté porovnejte","research-forge.consumer.banner.eyebrow":"Nepřekročitelná hranice","research-forge.consumer.banner.findDetail":"Prozkoumejte různé povolené struktury programů.","research-forge.consumer.banner.findLabel":"Najděte kandidáty","research-forge.consumer.banner.findStatus":"Hledat","research-forge.consumer.banner.footer":"Dweve Forge, ověřené objevování programů","research-forge.consumer.banner.instrumentTag":"Pevné","research-forge.consumer.banner.instrumentTitle":"Pořadí","research-forge.consumer.banner.stateDetail":"Zapište výsledek a jeho hranice před hledáním.","research-forge.consumer.banner.stateLabel":"Uveďte chování","research-forge.consumer.banner.stateStatus":"Pevné","research-forge.consumer.banner.titleAccent":"pokud to změní odpověď","research-forge.consumer.banner.titleLead":"Chytrá zkratka je k ničemu","research-forge.consumer.banner.verdictLabel":"Pravidlo","research-forge.consumer.banner.verdictValue":"Správnost zajišťuje vstup do diskuse o kompromisech.","research-forge.consumer.close.body":"Veřejné materiály Forge vysvětlují specifikaci, objevené alternativy, protipříklady a to, co výzkum skutečně může dokázat. Forge je aktivní interní výzkum, bez zkušebního softwaru, veřejného balíčku nebo open-source stažení.","research-forge.consumer.close.eyebrow":"Dweve Forge, ověřené objevování programů","research-forge.consumer.close.primary":"Prozkoumejte výzkum Dweve","research-forge.consumer.close.secondary":"Vraťte se k experimentu","research-forge.consumer.close.title":"Sledujte hledání od záměru k důkazům.","research-forge.consumer.counterexample.body":"Kandidát může fungovat na všech dodaných příkladech a přesto selhat jinde. Forge ho může napadnout konkrétním vstupem, který rozdíl odhalí. Tento vstup se stane protipříkladem.","research-forge.consumer.counterexample.eyebrow":"Selhání jako užitečný důkaz","research-forge.consumer.counterexample.footer":"Projití mnoha příkladů stále neznamená, že byl program prokázán jako správný.","research-forge.consumer.counterexample.pillFailure":"Konkrétní selhání","research-forge.consumer.counterexample.pillPermanent":"Trvalý případ","research-forge.consumer.counterexample.pillRetry":"Hledat znovu","research-forge.consumer.counterexample.secondaryLeft":"Neúspěšný případ se připojí k trvalým důkazům. Další kandidát musí splňovat jak dřívější příklady, tak novou hranici.","research-forge.consumer.counterexample.secondaryLeftLabel":"Kandidát se mění","research-forge.consumer.counterexample.secondaryRight":"Selhání může také odhalit nejednoznačnost nebo rozpor v požadavku. Vyjasnění záměru vytvoří novou specifikaci a ponechá dřívější výsledek viditelný.","research-forge.consumer.counterexample.secondaryRightLabel":"Záměr se může změnit","research-forge.consumer.counterexample.sideChallengeDetail":"Dívejte se za přátelské příklady.","research-forge.consumer.counterexample.sideChallengeLabel":"Výzva","research-forge.consumer.counterexample.sideFooter":"Selhání zužuje hledání a vyjasňuje lidský požadavek.","research-forge.consumer.counterexample.sideMetaLabel":"Směr","research-forge.consumer.counterexample.sideMetaValue":"Přísnější každé kolo","research-forge.consumer.counterexample.sideProposeDetail":"Najděte kandidáta, který odpovídá známým případům.","research-forge.consumer.counterexample.sideProposeLabel":"Navrhnout","research-forge.consumer.counterexample.sideRememberDetail":"Přidejte konkrétní selhání k důkazům.","research-forge.consumer.counterexample.sideRememberLabel":"Pamatovat","research-forge.consumer.counterexample.sideRetryDetail":"Hledejte kandidáta, který přežije silnější sadu.","research-forge.consumer.counterexample.sideRetryLabel":"Zkusit znovu","research-forge.consumer.counterexample.sideStatus":"Smyčka","research-forge.consumer.counterexample.sideSubtitle":"Jak slabý kandidát zostřuje otázku","research-forge.consumer.counterexample.sideTitle":"Jedna smyčka protipříkladů","research-forge.consumer.counterexample.titleAccent":"špatně v tomto konkrétním případě","research-forge.consumer.counterexample.titleLead":"Ne jen špatně","research-forge.consumer.counterexample.visualFooter":"Další kandidát musí být lepší, aniž by oslabil požadavek.","research-forge.consumer.counterexample.visualMeta":"Ilustrativní případ","research-forge.consumer.counterexample.visualStatus":"Protipříklad nalezen","research-forge.consumer.counterexample.visualSubtitle":"Tři kandidáti splňují stále přísnější hranici","research-forge.consumer.counterexample.visualTitle":"Neúspěšný případ se stává trvalým závazkem","research-forge.consumer.glyph.evidence.counterexample":"Selhání zaznamenáno","research-forge.consumer.glyph.evidence.examples":"Příklady prošly","research-forge.consumer.glyph.evidence.execution":"Provádění propojeno","research-forge.consumer.glyph.evidence.proof":"Vztah dokázán","research-forge.consumer.glyph.footer":"Stroj nemusí vrátit žádný program.","research-forge.consumer.glyph.header.detail":"Požadavek zůstává pevný, zatímco cesty se mění.","research-forge.consumer.glyph.header.state":"Výzkum aktivní","research-forge.consumer.glyph.header.title":"Experiment s objevováním programů","research-forge.consumer.glyph.path.a.label":"Selže na okrajovém případě","research-forge.consumer.glyph.path.a.state":"Odmítnuto","research-forge.consumer.glyph.path.b.label":"Správně, vyšší náklady","research-forge.consumer.glyph.path.b.state":"Ponechat","research-forge.consumer.glyph.path.c.label":"Správně, jiný kompromis","research-forge.consumer.glyph.path.c.state":"Dokázáno","research-forge.consumer.glyph.request.detail":"Příklady, pravidla a částečný program definují hranici hledání.","research-forge.consumer.glyph.request.label":"Transformujte každý podporovaný vstup a zachovejte stanovený limit.","research-forge.consumer.hero.eyebrow":"Dweve Forge, ověřené objevování programů","research-forge.consumer.hero.lede":"Dweve Forge je výzkumný projekt, který hledá programy splňující příklady, omezení nebo částečné specifikace, zlepšuje platné kandidáty podle explicitních cílů a zaznamenává důkazy podporující každý výsledek.","research-forge.consumer.hero.ledgerLabel":"Výzkumná poznámka","research-forge.consumer.hero.ledgerPill":"Aktivní","research-forge.consumer.hero.ledgerPurpose":"Účel","research-forge.consumer.hero.ledgerPurposeValue":"Objevovat, porovnávat a kontrolovat programy","research-forge.consumer.hero.ledgerStatus":"Stav","research-forge.consumer.hero.ledgerStatusValue":"Aktivní interní výzkum","research-forge.consumer.hero.primary":"Sledovat jeden objevený program","research-forge.consumer.hero.secondary":"Podívat se, co znamená ověřeno","research-forge.consumer.hero.titleAccent":"Nechte stroj hledat, jak na to.","research-forge.consumer.hero.titleLead":"Popište, co se má stát.","research-forge.consumer.intent.body":"Výzkum Forge začíná příklady, pravidly nebo částečně napsaným programem. Příklady ukazují konkrétní případy. Pravidla uvádějí, co musí zůstat pravdivé obecněji. Částečný program zachovává rozhodnutí, která by neměla být předána hledání.","research-forge.consumer.intent.eyebrow":"Výchozí bod","research-forge.consumer.intent.footer":"Jakmile je chování jasné, stroj může prohledávat mnoho možných způsobů, jak ho vytvořit.","research-forge.consumer.intent.pillExamples":"Příklady","research-forge.consumer.intent.pillRules":"Pravidla","research-forge.consumer.intent.pillSketch":"Částečný program","research-forge.consumer.intent.secondaryLeft":"Prompt může požádat o kód a dostat něco, co vypadá věrohodně. Sám o sobě ale nedefinuje úplný standard, podle kterého by tento kód mohl selhat.","research-forge.consumer.intent.secondaryLeftLabel":"Prompt","research-forge.consumer.intent.secondaryRight":"Specifikace určuje chování, hranice a povolené volby. Její změna vytváří jiný výzkumný problém, místo aby zachránila slabého kandidáta.","research-forge.consumer.intent.secondaryRightLabel":"Specifikace","research-forge.consumer.intent.sideExamplesDetail":"Pro tento vstup vytvoř tento výstup.","research-forge.consumer.intent.sideExamplesLabel":"Příklady","research-forge.consumer.intent.sideFooter":"Požadavek je na prvním místě; implementace zůstává otevřená.","research-forge.consumer.intent.sideMetaLabel":"Pevně dané během hledání","research-forge.consumer.intent.sideMetaValue":"Chování a rozsah","research-forge.consumer.intent.sideRulesDetail":"Pro každý podporovaný vstup zachovej tuto vlastnost.","research-forge.consumer.intent.sideRulesLabel":"Pravidla","research-forge.consumer.intent.sideSketchDetail":"Zachovej tuto strukturu a objev chybějící část.","research-forge.consumer.intent.sideSketchLabel":"Náčrt","research-forge.consumer.intent.sideStatus":"Start","research-forge.consumer.intent.sideSubtitle":"Každá poskytuje jiný druh hranice","research-forge.consumer.intent.sideTitle":"Tři způsoby, jak vyjádřit záměr","research-forge.consumer.intent.titleAccent":"před volbou implementace","research-forge.consumer.intent.titleLead":"Popiš chování","research-forge.consumer.intent.visualFooter":"Program mění tvar. Požadavek ne.","research-forge.consumer.intent.visualMeta":"Ilustrativní cesta","research-forge.consumer.intent.visualStatus":"Probíhá výzkum","research-forge.consumer.intent.visualSubtitle":"Ilustrativní veřejný pohled na experiment s objevováním programů","research-forge.consumer.intent.visualTitle":"Jeden požadavek, několik kandidátských cest","research-forge.consumer.proof.body":"Formální výsledek může dokázat, že program splňuje uvedenou vlastnost pro podporované vstupy a sémantiku. Nedokazuje ale, že požadavek byl moudrý, úplný nebo vhodný pro každé reálné prostředí.","research-forge.consumer.proof.eyebrow":"Co by měl odznak říkat","research-forge.consumer.proof.footer":"Někdy je nejsilnějším poctivým výsledkem to, že stroj nedokáže vytvořit program.","research-forge.consumer.proof.pillAssumptions":"Předpoklady viditelné","research-forge.consumer.proof.pillLimits":"Limity viditelné","research-forge.consumer.proof.pillScoped":"Omezené","research-forge.consumer.proof.secondaryLeft":"Program, vlastnost, předpoklady a důkazy zůstávají pohromadě. Pokud se program změní, změní se i vazba důkazu.","research-forge.consumer.proof.secondaryLeftLabel":"Tvrzení","research-forge.consumer.proof.secondaryRight":"Forge je aktivní, nedokončený interní výzkum. Není to produkt, veřejná syntetizační služba ani open-source ke stažení.","research-forge.consumer.proof.secondaryRightLabel":"Hranice výzkumu","research-forge.consumer.proof.sideAssumptionsDetail":"Vstupy a prostředí, na které se tvrzení vztahuje.","research-forge.consumer.proof.sideAssumptionsLabel":"Předpoklady","research-forge.consumer.proof.sideFooter":"Důkaz posiluje přesné tvrzení, ne vágní slib.","research-forge.consumer.proof.sideLimitsDetail":"Co výsledek neprokazuje.","research-forge.consumer.proof.sideLimitsLabel":"Limity","research-forge.consumer.proof.sideMetaLabel":"Nejsilnější poctivý stav","research-forge.consumer.proof.sideMetaValue":"Pojmenovaný, nikdy jen naznačený","research-forge.consumer.proof.sideProgramDetail":"Přesný kandidát, který se kontroluje.","research-forge.consumer.proof.sideProgramLabel":"Program","research-forge.consumer.proof.sidePropertyDetail":"Chování, které je tvrzeno.","research-forge.consumer.proof.sidePropertyLabel":"Vlastnost","research-forge.consumer.proof.sideStatus":"Důkaz","research-forge.consumer.proof.sideSubtitle":"Čtyři části, které musí zůstat pohromadě","research-forge.consumer.proof.sideTitle":"Důkazové tvrzení","research-forge.consumer.proof.titleAccent":"ne správný ve všech možných světech","research-forge.consumer.proof.titleLead":"Ověřeno podle těchto pravidel","research-forge.consumer.proof.visualFooter":"Neznámé, nemožné, nejednoznačné a mimo rozsah zůstávají platnými výsledky výzkumu.","research-forge.consumer.proof.visualMeta":"Ilustrativní důkazy","research-forge.consumer.proof.visualStatus":"Rozsah viditelný","research-forge.consumer.proof.visualSubtitle":"Testování, ohraničené kontroly, formální důkaz a propojení s prováděním jsou různé výsledky","research-forge.consumer.proof.visualTitle":"Žebřík záruk drží své příčky oddělené","research-forge.consumerHero.titleSuffix":"hledání lepších cest","research-forge.d02603176f":"Univerzální","research-forge.d092bf9ea1":"Prozkoumejte výzkum","research-forge.d0f4e7e15e":"graf je drží přesně","research-forge.d105692d52":"Graf vybraných kandidátů","research-forge.d1a475961a":"Omezené úplné prohledávání dokáže najít nejmenší výraz v úzkém jazyce. Řízené zpřesňování pomocí protipříkladů obvykle nachází robustní strukturované programy. Prohledávání vedené omezeními řeší obtížné bitové oblasti. Průzkumné prohledávání dosahuje neobvyklých implementací.","research-forge.d1b06384eb":"Příklady, pravidla nebo částečně napsaný program.","research-forge.d1ed30ebcf":"Pevná hranice","research-forge.d1f8a8cdec":"Slučování je vždy jen tak silné, jak silný je test, který ho ospravedlnil.","research-forge.d1f8e5ea93":"Výběr","research-forge.d2089fb287":"Směrování teorií","research-forge.d2316c0df0":"Pět položek","research-forge.d23276442b":"Problém návrhového prostoru","research-forge.d23c4c8d4e":"Jedna věta, tři použitelné formy","research-forge.d255672f1b":"a zpřesňuje požadavek","research-forge.d286c609a6":"Verze specifikace","research-forge.d2b02aa6ad":"záznam zavazuje obě strany","research-forge.d2bad80400":"Prostý požadavek rozdělený na příklady, pravidlo a náčrt, vedle odpovědi napsané přímo z věty, kterou nemá co ověřit","research-forge.d2d0b16b22":"Odstraňte strukturální duplicity a pozorované duplicity.","research-forge.d2d43bec88":"Cílové back-endy (rozsah vyhodnocení)","research-forge.d35260a00f":"Cíle","research-forge.d362822809":"Kam problém přinést","research-forge.d36f29cacf":"Sladit","research-forge.d3d6314184":"Každý kandidát je přímkou napříč všemi osami, ne bodem na jedné z nich.","research-forge.d3dee74f70":"Formální výsledek a samostatná kontrola tam, kde je k dispozici.","research-forge.d3ec6e1bad":"Sémantický objekt, který Kera přijímá, s připojenými závazky.","research-forge.d4621d18f0":"s uvedenou hranicí","research-forge.d4a74b503a":"Přečtěte si dokumentaci","research-forge.d4ccefcb5e":"žádný ze čtyř nekončí tím, že vytvoří něco věrohodného","research-forge.d50b109f99":"Několik odvození zůstává současně naživu a konečná volba čeká na objektivní důkazy.","research-forge.d51fb63a04":"každý výsledek na něj odkazuje","research-forge.d5383ea7af":"Zaznamenáno","research-forge.d5dc89d194":"U podporovaných kontraktů Kera provádí čisté spuštění opakovaně bitově identicky bez seedu, včetně pokrytých cest rodiny plovoucí čárky. Když program záměrně spotřebovává náhodný stav, je tento stav deklarovaným vstupem a jeho opětovné použití reprodukuje celý běh.","research-forge.d5ec4f1c39":"Proč tento program existuje","research-forge.d5f412e831":"Kera","research-forge.d659989a95":"Forge prohledává jazyk typovaných výpočetních operací. Vstupy, výstupy, tvary, číselné rodiny, efekty, schopnosti, vlastnictví a cílové restrikce rozhodují, které kompozice jsou legální, takže neplatné programy jsou vyloučeny strukturálně, nikoli generovány a opravovány po vyhodnocení. Jazyk je zvolen s paketem a pro běh uzavřen.","research-forge.d66c44dfdf":"Nemožné","research-forge.d6a6f2deb1":"Co smyčka dělá","research-forge.d71df112ac":"Co může prohledávání dělat","research-forge.d769ded7e8":"Kandidát","research-forge.d79c0b71d1":"jehož první správný program nestačí","research-forge.d7e5b39755":"Nejednoznačnost se stane viditelnou dřív, než se stane kódem. Dva kandidáti mohou splnit všechny dodané příklady a přesto se neshodnout na vstupu, který nikdo nezapsal. Forge tuto neshodu hlásí a žádá o další požadavek, místo aby si jednu z chování tiše vybral.","research-forge.d7e94eb0fb":"Každá organizace spoléhá na malé, kritické části kódu. Forge se ptá, zda prohledávání syntézou programů může navrhnout kandidátské implementace podle deklarované specifikace a plánu měření. Zpráva za rok 2025 dokumentuje experiment, nikoli připravenost na produkci; žádný publikovaný benchmark nestanoví optimální nebo nejrychlejší verzi.","research-forge.d835dab5b4":"přesné celé číslo","research-forge.d90c9bd5a7":"velikost 2 až 4","research-forge.d9f6acb036":"extrakce probíhá na konci","research-forge.da09c06014":"Forge začíná behaviorálním kontraktem, který se nehýbe. Prohledávání může navrhnout tisíce implementací a příklady, protipříklady a formální dotazy rozhodují, které z nich zůstanou. Výstupem je typovaný kandidát programu s odvozením, objektivním vektorem a uvedenou úrovní záruky.","research-forge.da7a712c59":"Co musí program dělat","research-forge.daec3d5393":"Protipříklady, důkazy a přechody záruk.","research-forge.db1c784524":"Reference","research-forge.dc131e9db4":"Co paket ukotvuje","research-forge.dc16ac61b4":"jedna osa nemůže seřadit hranici možností","research-forge.dc5b5aba63":"zpřísňuje požadavek","research-forge.dcd69b02b3":"Specifikace je konzistentní","research-forge.dd00b8f82f":"Pojmenovaná záruka","research-forge.dd3c9b9d09":"Neopravujte pořadí přepisování","research-forge.dd3e8f4841":"Testy ustavují chování na případech, které byly spuštěny. Vyčerpávající ohraničená kontrola pokrývá deklarovanou konečnou doménu. Formální verifikace dokazuje zakódovaný vztah za uvedených předpokladů. Provázání spuštění váže výsledek ke grafu a plánu, které skutečně běžely. Forge hlásí, kterého z nich kandidát dosáhl, protože rozhodnutí založené na špatném je rozhodnutím založeným na špatných důkazech. V tomto žebříčku je pět příček a kandidát drží vždy právě jednu z nich.","research-forge.de135d6b61":"čistá oblast","research-forge.de56d45fd4":"a čeho se nesmí dotknout","research-forge.de9e9925af":"části, které musí zůstat pohromadě","research-forge.dfda3a3599":"Přezkoumatelné","research-forge.e0078f1adb":"Nesmí přidat přístup k souborům nebo síti, který nikdy nebyl povolen. Nesmí změnit druh čísla, které odpověď používá. Nesmí zmírnit požadavek jen proto, že slibný kandidát ho téměř splnil.","research-forge.e03608577a":"Kontrola hranic","research-forge.e048b8a355":"Jak se záruky skládají prostřednictvím optimalizace a plánování.","research-forge.e15760689d":"Zpřesnit","research-forge.e192f8980b":"Statické modely řadí kandidáty dříve, než cokoli běží. Kalibrované cílové profily tyto odhady zpřesňují. Naměřené běhy je potvrzují nebo opravují. Každý zůstává označen, takže předpokládaná latence se nikdy nezobrazí na místě, kde by měla být naměřená.","research-forge.e24f8562eb":"implementace se stává výsledkem","research-forge.e29a79fe0c":"Recenze","research-forge.e2f9cea1dd":"co každý formulář řeší a co neřeší","research-forge.e31ae17fe2":"Co ponechává otevřené","research-forge.e340683de2":"Deklarované konkrétní případy prošly.","research-forge.e341bf4b5e":"Úplnost patří deklarovanému prostoru a zpráva uvádí, který prostor to byl.","research-forge.e380a981e1":"Dvě technické sekvence","research-forge.e3a3474f57":"Ekvivalentní zdrojové řetězce mohou popisovat stejný výpočet a podobně vypadající zdroj může skrývat různé účinky. Práce na grafu činí strukturální sdílení, porovnávání kandidátů, vázání důkazů a provenienci přesnými, místo aby byly odvozovány z textu po každé transformaci.","research-forge.e3aa756f4f":"Tři pohledy","research-forge.e3f3e0b2d5":"Neodpověď s připojeným důvodem je rozhodnutí, na kterém může organizace jednat už dnes.","research-forge.e3f4660921":"Když hledání najde několik správných programů, musí někdo říct, který kompromis je důležitý. To je rozhodnutí a Forge ho zaznamenává jako takové, spolu s programy, které nevybral, a důvodem, proč každý z nich přešel.","research-forge.e40786cd04":"graf je pojmenován, ne zdroj","research-forge.e43a425d4c":"Jeden neúspěšný případ","research-forge.e4709d4a03":"Něco v deklarovaném jazyce splňuje požadavek.","research-forge.e4ec169f06":"Tři iterace, jeden požadavek se zpřesňuje","research-forge.e5a5debd01":"a řídí další investici","research-forge.e5e6eefa7c":"každý může pojmenovat jiného nejlepšího kandidáta","research-forge.e5fa3a8592":"Přidejte důkazy, které oddělují konkurenční chování.","research-forge.e6737991ff":"Hledání kandidátů","research-forge.e6c167fd27":"ČLEN","research-forge.e6f72dbc9e":"Dobře utvořené přes provádění propojené se nikdy nesmíchají.","research-forge.e70fb2879c":"které mění odpověď","research-forge.e713d42aa6":"PŘEDMĚT","research-forge.e73791d2ee":"Záznam je navržen tak, aby ho mohl číst někdo, kdo tam nebyl. Jmenuje verzi specifikace spíše než větev, graf kandidátů spíše než soubor a relaci dominance spíše než preferenci, takže recenzent se může zeptat, proč ne kandidát B, a dostane odpověď.","research-forge.e78c82b9d8":"Ekvivalentní programový prostor","research-forge.e792eed957":"Vyjmenovat podle typu a velikosti","research-forge.e79545edad":"Forge může najít program, najít několik, najít protipříklad, který jeden ukončí, nebo zjistit, že v povoleném prostoru nefunguje vůbec nic. Kterékoli z toho může nastat v jediném běhu.","research-forge.e7c6bfda5f":"Příklady, omezení a náčrty","research-forge.e7eaf3097f":"NEROZHODNUTO","research-forge.e83744eb1b":"Jeden graf napříč stackem Dweve","research-forge.e89c5a1fe5":"Vyžádat demo","research-forge.e8c9206319":"Uvedete chování","research-forge.e93a01e74c":"Vstupy a výstupy","research-forge.e9a46a96e9":"Nejednoznačné","research-forge.e9c366b4f3":"Požadavek","research-forge.e9e1bb076f":"Důkaz, graf, plán a identita výsledku jsou svázány dohromady.","research-forge.ea2f183ae8":"Selhání, které jmenuje přesný vstup, naučí hledání více než selhání, které jmenuje skóre.","research-forge.ea66222972":"Definujte chování, jazyk kandidátů, vektor cílů a důkazy, které potřebujete. Forge to může proměnit v řízený experiment hledání, porovnávání a ověřování.","research-forge.ea66d3cd71":"Formálně ověřeno","research-forge.eae192773b":"Vytvořeno","research-forge.eb01bf04c9":"Příklady","research-forge.eb5d2f4a58":"JIT","research-forge.eb65476556":"odmítnutí před vyhodnocením nic nestojí","research-forge.eb86bd10d0":"Otestujte a formálně dotazujte přeživší.","research-forge.ebc93602b0":"Program výzkumného partnerství","research-forge.ebd1b8a0ed":"Správnost a náklady zůstávají oddělené","research-forge.ebf002ed26":"Co musí každý povolený vstup vytvořit nebo zachovat?","research-forge.ec00edb305":"Stav měření","research-forge.ec80d62108":"Tříosý graf kompromisů s dominovanými kandidáty šedě, volič politiky vybírající jeden nedominovaný člen a ovládací prvek, který přidává cíl a překresluje hranici","research-forge.ec8c6779f3":"Odvození","research-forge.eca98aa4dd":"Stálá invariant","research-forge.ecc4622e4a":"Záměr jako aktivum","research-forge.eccd8c22c7":"Případy","research-forge.ed03c68d9c":"Částečně","research-forge.ed625e27bc":"odpověď se čte ze záznamu, ne znovu se z něj staví","research-forge.ed834ee730":"Dva programy, každý příklad, jeden nesouhlas","research-forge.ed868fa2d4":"Co jedna odpověď řeší","research-forge.edd8fb596d":"Co organizace chce","research-forge.ee531c138e":"jedna identita napříč životním cyklem","research-forge.ee6e0d9004":"co vrací Kera","research-forge.eebc8ec4db":"Největší pracovní sada","research-forge.eebfc58277":"Obvykle existuje více než jedna dobrá odpověď a říci, kterou jste zvolili, je součástí odpovědi.","research-forge.ef4e3a4971":"Co se může ještě lišit","research-forge.ef73fdd1c8":"Čtyři případy","research-forge.f04208c0f4":"vnější tři kruhy lze zkoumat bez otevření nejvnitřnějšího","research-forge.f061352d1c":"Rodina, šířka, zaoblení a platná obálka chyb.","research-forge.f0aa98e438":"Problém je nejprve zapsán","research-forge.f128a0033d":"Forge porovnává platné kandidáty podle počtu operací, kritické cesty, paměťového provozu, pracovní sady, tlaku na registry, velikosti kódu, odhadované energie, přenositelnosti, složitosti důkazu a vhodnosti cíle. Které z nich jsou aktivní, patří do experimentálního balíčku a jsou zvoleny před měřením jakéhokoli kandidáta, takže srovnání nelze po získání výsledků upravovat.","research-forge.f1513553a0":"Pět kandidátů implementujících stejnou specifikaci, každý s jinou strukturální siluetou a cílovou stuhou, přičemž první objevený kandidát je označen jako dominovaný","research-forge.f19a088441":"Pole tvarů kandidátských programů ve třech stavech kolem pevného rámce požadavků uprostřed, který nikdy nemění velikost","research-forge.f1e6269a35":"Kandidát Forge je typovaný sémantický graf. Jeho uzly uchovávají operace, závislosti, hodnoty, efekty, vlastnictví a číselné závazky a vyhledávání přidává, odebírá a znovu propojuje oblasti, zatímco rozhraní zůstává dobře tvarované. Syntaxe zdroje je jedním pohledem na tento objekt, nikoli jeho identitou, což je důvod, proč se k němu může vázat důkaz a přežít změnu pravopisu.","research-forge.f21eba9d4c":"Chování, které je o něm tvrzeno.","research-forge.f2b83c0462":"Zkontrolovat výstup kandidáta","research-forge.f3263fc33a":"Které vstupy, efekty a prostředí jsou v rozsahu?","research-forge.f33b37791c":"jeden pevný požadavek","research-forge.f34faaf18c":"Co zůstává pro běh pevné","research-forge.f3717fe94b":"Tři spojení, jeden typovaný jazyk","research-forge.f3b8596ff9":"Náčrty","research-forge.f3e0a2c003":"Operace, přechod stavu a každý efekt, který je mu povolen.","research-forge.f44f712120":"metoda zůstává výzkumná","research-forge.f4b90ff6c9":"enumerativní, CEGIS, GP, MCTS","research-forge.f4c0773264":"Typy, efekty, vlastnictví a rozhraní jsou platné.","research-forge.f5330c10d4":"Dva systémy, jeden objekt","research-forge.f539273fc2":"Prošel deklarovanými konkrétními případy.","research-forge.f53a569905":"Institucionální problém","research-forge.f591672335":"od začátku do konce","research-forge.f5def394f5":"Přesný kandidát, který byl zkontrolován.","research-forge.f61f151c35":"Popište, co se stane","research-forge.f6c1c2d45c":"vybraný kandidát si ponechává politiku, která jej vybrala","research-forge.f6fbfa37a0":"Omezený efekt","research-forge.f7313a2c50":"Většina systémů, které píší kód, je požádána, aby pokračovala v textu věrohodným způsobem. Forge je požádán, aby splnil popis toho, co musí program dělat. Hledá implementace, odmítá ty, které selžou na konkrétním vstupu, porovnává ty, které přežijí, a přesně uvádí, jak silně byl výsledek zkontrolován.","research-forge.f740162265":"Diffovatelné","research-forge.f793bcd5e3":"Vybrané aktuální politikou","research-forge.f7bce3aeb0":"Tři druhy stejnosti","research-forge.f7fcfa132e":"Ověřeno vždy znamená ověřeno proti něčemu uvedenému.","research-forge.f85d540ea4":"Selhávají také jinak. Kandidát může projít všemi dodanými příklady a přesto porušit kvantifikovanou podmínku, kterou měly příklady ilustrovat. Záznam tento rozdíl pojmenovává, takže projití testovací sady není později nikdy čteno zpět jako důkaz.","research-forge.f8ad81d4ed":"Dva programy mohou dělat přesně stejnou práci a přesto se lišit v tom, jak se s nimi žije. Jeden skončí dříve. Jeden přesouvá méně dat. Jeden běží na více druzích strojů. Jeden je prostě snazší zkontrolovat. Zlepšení kteréhokoli z těchto obvykle něco stojí na jiném, takže Forge si ponechává ty dobré, místo aby prohlašoval jediného vítěze.","research-forge.f915e592e0":"Dostatečně ustálené, aby to bylo jasně řečeno: neměnná specifikace, jeden typovaný fond kandidátů napájený několika vyhledávacími chováními, protipříklady jako trvalé závazky, hranice místo skrytého skóre, pojmenované příčky jistoty a grafová identita, která přežije předání do Kera.","research-forge.f91cf3695e":"co opouští Forge a co vrací Kera","research-forge.f942052ae1":"První správný program","research-forge.f95d9699ab":"ne definice nejlepšího","research-forge.f9743247fa":"Přečtěte si dokumentaci","research-forge.f97f6d5c34":"Druh čísla v odpovědi","research-forge.f9917655d9":"Ověřené a odmítnuté kandidáty, které byly důležité.","research-forge.f9d589b5e4":"Štítek pojmenovává příčku a záznam vedle něj pojmenovává rozsah, který tato příčka pokrývá.","research-forge.fa6b511877":"Nesmí se změnit","research-forge.fa7f633b0c":"Tři kandidátské spisy zastavené na různých příčkách jistoty, každý otevírá důkazy za svým štítkem, s povýšením zobrazeným jako nedostupné bez důkazů","research-forge.fa8d0afff2":"a vykreslit zdroj na okraji","research-forge.fb588797f2":"Software, který píše","research-forge.fba63933d7":"dokazování ustavuje chování","research-forge.fbe8d4180f":"Jedno semeno, mnoho forem","research-forge.fc5fed48be":"Prohledat graf","research-forge.fc7583ec76":"Neměnná specifikace","research-forge.fca77b7e3a":"Na první pohled","research-forge.fca8a06b17":"Forge zaznamenává, který druh stejnosti ospravedlnil každé sloučení, takže levná deduplikace během vyhledávání není později nikdy čtena zpět jako sémantický výsledek.","research-forge.fd2145e1f8":"Pořadí, které se nikdy nemění","research-forge.fd9cfb5232":"Několik vyhledávacích chování produkuje jeden druh typovaného kandidáta.","research-forge.fdd0dfedc0":"Platí čtyři věci","research-forge.fe03c35158":"Sémantika","research-forge.fe0863e1b3":"Pět úrovní jistoty","research-forge.fe08eef5c7":"Kroky, které patří k interní metodě Dweve, se v řetězci zobrazují jako zapečetěné uzly. Každý z nich publikuje své vstupy, výstupy a svou identitu, takže řetězec zůstává propojený, zatímco strategie v něm zůstává součástí výzkumu.","research-forge.fe17f86199":"Prostor návrhu","research-forge.fe8b95b52a":"Vybraný graf pohybující se z Forge do Kera po jednom pruhu, se sousedními systémy Dweve, které čtou stejný objekt, a s vracející se identitou výsledku","research-forge.fec325ce2f":"Přesouvá méně dat","research-forge.fef04acdce":"co přežije při každé kandidátské velikosti","research-forge.ff52cebd1d":"Konečná deklarovaná doména byla vyčerpána.","research-forge.ff63942f4e":"Řetězec, který může recenzent projít","research-forge.ff75e0dce3":"Nejasné","research-forge.ffa7344f37":"Veřejný materiál Forge vysvětluje specifikaci, objevené alternativy, protipříklady, které některé z nich ukončily, a to, co výzkum může skutečně dokázat.","research-forge.technicalHero.titleSuffix":"Z3","section_st_a2_split-spec-sheet.7c9a7c0610":"Detail","section_st_a6_split-scenario-triad.f75fd3a884":"Žádné runtime závislosti","section_st_a6_split-scenario-triad.143ac4ef35":"Jeden binární soubor","section_st_a6_split-scenario-triad.c61f134d87":"Tři povrchy","section_st_a6_split-scenario-triad.215475056e":"KDE BĚŽÍ","section_st_a6_split-scenario-triad.a794a586f0":"Připraveno pro uzavřenou místnost","section_st_a6_split-scenario-triad.42d52c32ea":"Lokální model","section_st_a6_split-scenario-triad.fe6168e59f":"Bez sítě","section_st_a6_split-scenario-triad.7d93f83c3e":"Kód připojený přes svazek","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 instalace","section_st_a6_split-scenario-triad.f600b9e709":"Jeden binární soubor","section_st_a7_split-connector-grid.4e6822a6d4":"Horké načítání","section_st_a7_split-connector-grid.19e35f0609":"Nastaveno v TOML","section_st_a7_split-connector-grid.d9de50b343":"Inventář řízený volajícím","section_st_a7_split-connector-grid.8be1bb51b7":"KONEKTORY","section_st_a8_split-scaling-profile.7e0861e04c":"Nastavitelné v TOML","section_st_a8_split-scaling-profile.56d6732417":"Strop na projekt","section_st_a8_split-scaling-profile.27a454915b":"Aktivní body odrážejí souběžné agenty na úroveň.","section_st_a8_split-scaling-profile.0ea215ea0d":"POZADÍ","section_st_a8_split-scaling-profile.9fc6fb7e03":"TEAMS","section_st_a8_split-scaling-profile.018d2cd1a5":"PARALELNĚ","section_st_a8_split-scaling-profile.16623c5d4a":"ŘETĚZCE","section_st_a8_split-scaling-profile.0fb79c96ed":"Sólo → Tým → Síť","section_st_a8_split-scaling-profile.068f6b3ecc":"ROZSAH TÝMU","section_st_a8_split-scaling-profile.53ebc572b4":"Síť","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":"Spuštění nástroje","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žadavek uživatele","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 HLUBKY","section_st_c2_dual-loop-flow.9d29573ea6":"nástroj / krok","section_st_c2_dual-loop-flow.08ab1ac55a":"plán / přeplánovat","section_st_c5_integration-spoke.55d0677ac3":"Všechny konektory vedou přes stejnou vrstvu auditu a oprávnění.","section_st_c5_integration-spoke.c29eb7e425":"Místní 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":"Místní","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čínáme","toc-rail.f5cbdf6bfb":"Obsah"}