{"aura-ask-grid.af0854de67":"Aura","aura-business-sides.a0853da24b":"Műszaki adatlap","aura-business-visuals.40417391c5":"Aura · feloldja","aura-business-visuals.271973aefe":"xMidYMid meet","aura-business-visuals.3e91add48a":"BOARD","aura-showcase.eyebrow":"Dweve platform","aura-showcase.subtitle":"Kódolási ügynök és operátori segítség. A bemutató mérőszámok illusztratívak.","aura-showcase.pillTools":"25+ eszköz","aura-showcase.pillRunning":"fut","aura-showcase.pillAnalysing":"kódbázis elemzése","aura-showcase.capabilityToolsTitle":"25+ eszköz","aura-showcase.capabilityToolsBody":"Terminál, keresés, lint, teszt, git és egyebek.","aura-showcase.capabilityMemoryTitle":"Szemantikus memória","aura-showcase.capabilityMemoryBody":"Megjegyzi a kódbázis és a csapat kontextusát.","aura-showcase.capabilityAgentsTitle":"Több ügynökös összehangolás","aura-showcase.capabilityAgentsBody":"Speciális ügynökök együttműködnek a különböző területeken.","aura-showcase.guaranteeAuditTitle":"Naplózás","aura-showcase.guaranteeAuditBody":"Minden lépés időbélyeggel van rögzítve.","aura-showcase.guaranteeGuardrailsTitle":"Korlátok","aura-showcase.guaranteeGuardrailsBody":"A szabályzatok, ellenőrzések és tesztek mindig futnak.","aura-showcase.guaranteeApprovalTitle":"Kódváltozások jóváhagyással","aura-showcase.guaranteeApprovalBody":"Diffek áttekintése, változtatások kérése, végső jóváhagyás.","aura-showcase.guaranteeReplayTitle":"Determinisztikus visszajátszás","aura-showcase.guaranteeReplayBody":"Bármely munkamenet bitre pontosan visszajátszható, ha valamit ellenőrizni kell.","aura-showcase.workflowUnderstand":"Megértés","aura-showcase.workflowUnderstandCaption":"retry.ts olvasása, időtúllépési hiba nyomon követése","aura-showcase.workflowPlan":"Tervezés","aura-showcase.workflowPlanCaption":"Guard kivonása + újrapróbálkozások korlátozása","aura-showcase.workflowImplement":"Implementálás","aura-showcase.workflowImplementCaption":"retry.ts + types.ts javítva","aura-showcase.workflowTest":"Tesztelés","aura-showcase.workflowTestCaption":"28 teszt, 94% lefedettség","aura-showcase.workflowVerify":"Ellenőrzés","aura-showcase.workflowVerifyCaption":"Lint és typecheck futtatása...","aura-showcase.workflowAudit":"Audit","aura-showcase.workflowAuditCaption":"Összefoglaló írására vár","aura-showcase.footer":"Autonóm ügynökök, amelyek kódot írnak és nyomot hagynak","aura-showcase.testsPassing":"sikeres","aura-showcase.testsFailing":"sikertelen","aura-showcase.modified":"módosítva","aura-showcase.af0854de67":"Aura","aura-showcase.73989d9c59":"Fut","aura-showcase.f9e94338d0":"Kódbázis elemzése","aura-showcase.d7a484140f":"Munkafolyamat","aura-showcase.287fda8114":"Egységes","aura-showcase.80e13549b4":"Lefedettség","aura-showcase.b71cc78b34":"isRetryableError kivonva","aura-showcase.c37a8a9e2b":"hálózati időtúllépések, 5xx válaszok és idempotens-biztos\n                    feltételek kezelésére. Tiszta segédfüggvény, teljesen egységtesztelve.","aura-tech-middles.7fba7d244f":"Gyors útvonal","aura-tech-middles.1be47ef71c":"Keresztmetszeti","aura-tech-middles.92096d78df":"Bejövő","aura-tech-middles.8e05a902ed":"Kimenő","aura-tech-middles.49a66c994d":"Beépített ügynökök","aura-tech-middles.a60792e996":"Külső ciklus","aura-tech-middles.0dfd4db698":"Belső ciklus","aura-tech-middles.bbd88bff92":"Bejövő kérés","aura-tech-middles.a618b4be8d":"Lekérdezés","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":"Blokk","aura-tech-middles.271973aefe":"xMidYMid meet","page-breadcrumb.c766e66518":"Útvonal","page-toc.7e439c353e":"Ezen az oldalon","res-forge-action-instrument.089b6f0342":"Kiváltó:","res-forge-action-instrument.97c89a4d66":"Művelet","res-forge-ambiguity-board.af13a94202":"az eredmény, és egyként\n          van rögzítve.","res-forge-ambiguity-board.e9a46a96e9":"Kétértelmű","res-forge-ambiguity-board.1ee9387ca8":"Háromféleképpen válaszolhat egy személy. A keresés ezek közül egyiket sem veszi figyelembe önmagában.","res-forge-ambiguity-board.f275049b4b":"Melyikre gondoltál?","res-forge-ambiguity-board.e1f6a95de4":"üres sorozat","res-forge-ambiguity-board.39f54f4f92":"Bemenet nincs megadva","res-forge-ambiguity-board.3636a0be7f":"egyetért","res-forge-ambiguity-board.140f86aae5":"bemenet","res-forge-ambiguity-board.5a3eea8643":"Minden megadott példa","res-forge-ambiguity-board.fd50372bde":"Az öt megadott példa és hogy a két jelölt hogyan válaszol rájuk","res-forge-ambiguity-board.86c03753f3":"jelentse a legkisebb összeget egy sorozatban","res-forge-ambiguity-board.e9c366b4f3":"Követelmény","res-forge-ambiguity-board.957a3c6b10":"szűkítse a tartományt","res-forge-ambiguity-board.b0567c7519":"adjon hozzá feltételt","res-forge-ambiguity-board.7713f29af2":"adjon hozzá példát","res-forge-ambiguity-board.5472c41b95":"az üres sorozatot a megengedett bemeneten kívüliként értelmezi","res-forge-ambiguity-board.2597c3398a":"hiba","res-forge-ambiguity-board.9adfc74130":"2. jelölt","res-forge-ambiguity-board.72e8350f75":"az üres sorozatot semleges összegként értelmezi","res-forge-ambiguity-board.170d4a4827":"1. jelölt","res-forge-assurance-ladder.7607387940":"amit nem állapít meg","res-forge-assurance-ladder.204b9b0c88":"amit feltételezett","res-forge-assurance-ladder.f03d859ccc":"amit ellenőriztek","res-forge-assurance-ladder.6b3fa46450":"két jelölt, két őszinte megállási pont, mindkettő úgy jelentve, ahogy van","res-forge-assurance-ladder.ed682e5934":"NEM A Q-BÓL KÖVETKEZTETVE","res-forge-assurance-ladder.bdad2aeeb8":"Biztosítási fokozatok","res-forge-assurance-ladder.9a9f9e5d26":"EGYETLEN FOKOZAT SEM KÖVETKEZTETETT","res-forge-assurance-ladder.8259f9a8e2":"formális elmélet a jelenlegi szerződésen kívül","res-forge-assurance-ladder.4f7ee515f7":"végrehajtáshoz kötöttként jelentve","res-forge-assurance-ladder.0d9389b742":"Bármilyen viselkedés olyan célponton, amelyet a rekord nem nevez meg.","res-forge-assurance-ladder.246b796ef8":"Hogy a rögzített azonosítók azok, amelyeket a futtatás előállított.","res-forge-assurance-ladder.69ded617f9":"a gráf, a terv, az artefaktum és az eredmény egy rekordot oszt meg","res-forge-assurance-ladder.5102f2ad33":"azonosság végponttól végpontig kötve","res-forge-assurance-ladder.49d89b6ce4":"VÉGREHAJTÁSHOZ KÖTÖTT","res-forge-assurance-ladder.a1cce5c1a6":"Bármely tulajdonság, amelyet a szerződés nem kódolt, és bármely kibocsátott artefaktum.","res-forge-assurance-ladder.a7d0feec4e":"A kódolt szemantika és azok a feltételezések, amelyeket a csomag rögzített.","res-forge-assurance-ladder.fce451ff2c":"a feltételezések rögzítve és felsorolva vannak","res-forge-assurance-ladder.c830a6c3be":"bizonyított szimbolikus tulajdonság","res-forge-assurance-ladder.da528b9287":"FORMÁLISAN ELLENŐRZÖTT","res-forge-assurance-ladder.d4c1c6915e":"Viselkedés a korláton túl, amelyet soha nem kerestek.","res-forge-assurance-ladder.99d127dcae":"Hogy a megadott tartomány az, amelyen belül az eredményt használni fogják.","res-forge-assurance-ladder.d8a8ea038d":"a tartomány az állítással együtt van megadva","res-forge-assurance-ladder.4538c7d77c":"véges tartomány, lefedve","res-forge-assurance-ladder.dfa6e659c8":"KORLÁTOZOTTAN ELLENŐRZÖTT","res-forge-assurance-ladder.1412ce6f4c":"Viselkedés bármely bemeneten a rögzített halmazon kívül.","res-forge-assurance-ladder.a1fde5a17c":"Hogy a megadott esetek azt a viselkedést képviselik, amely a kutatót érdekli.","res-forge-assurance-ladder.df4854fc18":"az esetek az eredménnyel együtt vannak rögzítve","res-forge-assurance-ladder.36cba7e6ad":"konkrét esetek","res-forge-assurance-ladder.b5516f2280":"TESZTELT","res-forge-assurance-ladder.c0169d217f":"Semmi a viselkedésről bármely bemeneten.","res-forge-assurance-ladder.da65feb01c":"Csak annyi, hogy a csomag megnevezte azt a nyelvet, amelyből a jelölt készült.","res-forge-assurance-ladder.6903a5abc9":"a megadott nyelv zárt","res-forge-assurance-ladder.676886a349":"strukturális érvényesség","res-forge-assurance-ladder.68d222a4f0":"JÓL MEGFORMÁLT","res-forge-assurance-ladder.85e08ba525":"Hogy a bizonyítás, a gráf, a Kera terv és az eredmény azonossága egymásra vonatkozik.","res-forge-assurance-ladder.5e68702137":"A támogatott szimbolikus tulajdonság, bizonyítva a kódolt szemantika felett.","res-forge-assurance-ladder.9c8a0471a5":"Minden érték egy véges megadott tartományban, hiba nélkül.","res-forge-assurance-ladder.77345a75bc":"Minden konkrét eset, amelyet a csomag megadott, lefuttatva és összehasonlítva.","res-forge-assurance-ladder.8c4857d4f9":"Típusok, alakzatok, hatások, tulajdonjog és a megadott interfész.","res-forge-badge-opened.9a3d81d562":"A jelvény pontosan egy programhoz tartozik","res-forge-badge-opened.3d1307a7ff":"Vissza a sima szerkezeti címkéhez","res-forge-badge-opened.bac2685fbc":"Egy lépés megváltozott","res-forge-badge-opened.aed3b8c6a7":"Ellenőrizve","res-forge-badge-opened.bf2bc5e115":"Ugyanaz a jelvény, miután egy lépés megváltozott","res-forge-badge-opened.d62d8e0dde":"Vegyél el ebből az ötből bármelyiket, és már más állítás lesz.","res-forge-badge-opened.eb38f1807a":"A jelvény és az öt rész, amelyeket állít","res-forge-badge-opened.98987f9e01":"add vissza az eredményt","res-forge-badge-opened.613ac981db":"kerekítsd másképp","res-forge-badge-opened.25f1a0d208":"vedd le a leolvasást","res-forge-badge-opened.16b22f5e52":"Semmit nem mond a tizedes aritmetikáról.","res-forge-badge-opened.349be220c7":"Formális eredmény, és annak külön ellenőrzése.","res-forge-badge-opened.17b29d4546":"Csak egész számok, és semmi a programon kívül.","res-forge-badge-opened.7d77d99854":"Minden egész számra igaz a megadott tartományban.","res-forge-badge-opened.7112a3df4e":"Pontosan ez a program, lépésről lépésre.","res-forge-boundary-instrument.e29c5de6a0":"Egy sor megosztott. Minden más felelősség pontosan a határ egyik oldalán helyezkedik el.","res-forge-boundary-instrument.c6dda4f283":"tulajdonolt","res-forge-boundary-instrument.d18aac96b9":"megosztott","res-forge-boundary-instrument.1ac443dbd4":"nem tulajdonolt","res-forge-business-glyph.161d1b9d9a":"Egy specifikáció","res-forge-business-glyph.ab98f5b857":"Rögzített","res-forge-business-glyph.82b6d04b0e":"A követelmény, amely nem mozdul","res-forge-business-glyph.b5bf8067cf":"Jelöltek","res-forge-business-glyph.7e1d88fa7c":"objektív vektor","res-forge-business-glyph.45d74a7136":"dominált","res-forge-business-glyph.239aff5852":"a fronton","res-forge-business-glyph.f476109f39":"kétértelmű","res-forge-business-glyph.473161067f":"Kiválasztási szabályzat","res-forge-business-glyph.7eff74a5a8":"rögzített, nem rejtett","res-forge-business-glyph.c3b9a01442":"késleltetés","res-forge-business-glyph.b727a735e7":"mozgás","res-forge-business-glyph.1a7d89d441":"célilleszkedés","res-forge-business-glyph.ef64363d23":"bizonyíték","res-forge-business-glyph.efe124888c":"elnevezett garancia","res-forge-business-glyph.b086634a92":"látható kompromisszumok","res-forge-business-glyph.ca2bc19088":"A Kera végrehajtja","res-forge-business-glyph.f735a5ba22":"Kutatási program, nem szoftverajánlat","res-forge-candidate-fan.b6871fa0fc":"A sziluettek szerkezetiek, nem források. A szalaghosszak relatív pozíciók egy\n            határon.","res-forge-candidate-fan.8641796596":"A jelölt E-t a jelölt D dominálja az aktív célhalmazon","res-forge-candidate-fan.d769ded7e8":"Jelölt","res-forge-candidate-fan.45d74a7136":"dominált","res-forge-candidate-fan.100ec4462d":"bizonyíték","res-forge-candidate-fan.1a7d89d441":"célilleszkedés","res-forge-candidate-fan.b727a735e7":"mozgás","res-forge-candidate-fan.714eea0f4c":"idő","res-forge-candidate-fan.73ea3f356f":"Dominált","res-forge-candidate-fan.82f8a46f55":"beágyazott fa","res-forge-candidate-fan.416bfd329b":"A határon","res-forge-candidate-fan.00c93cd155":"két sávos szétválás","res-forge-candidate-fan.a70e321a36":"kompakt blokk","res-forge-candidate-fan.f259a41862":"széles legyező","res-forge-candidate-fan.8503665914":"Először talált","res-forge-candidate-fan.e2a3a58a40":"egy hosszú lánc","res-forge-choice-board.2f98d2f5be":"A kiegyensúlyozott is egy preferencia, és annak is van rögzítve.","res-forge-choice-board.ce025222b1":"Mind a négy helyes, tehát ez preferencia, nem pedig rangsor.","res-forge-choice-board.48e09e45c5":"Helyes","res-forge-choice-board.13f66243ef":"Előnyben részesítés","res-forge-choice-board.55559438c9":"B adja fel a legkevesebbet bármelyik egyes mérőszám tekintetében.","res-forge-choice-board.03342dbb85":"Kiegyensúlyozott","res-forge-choice-board.3cd298fe82":"D ellenőrzési útja a legrövidebb.","res-forge-choice-board.baf123fc17":"Legvilágosabb","res-forge-choice-board.58adc98abc":"C a támogatott gépek legszélesebb körén fut.","res-forge-choice-board.b2df292ee2":"Legszélesebb","res-forge-choice-board.7987c4ffa8":"B mozgatja a legkevesebb adatot, és tovább tart.","res-forge-choice-board.4e76f5796f":"Legkarcsúbb","res-forge-choice-board.cda4a6b217":"A fejeződik be leghamarabb, és munka közben a legtöbb adatot tartja.","res-forge-choice-board.4cb3bb0fc4":"Leggyorsabb","res-forge-choice-board.ed798211fb":"D lemond egy újraírásról, hogy egyszerű legyen ellenőrizni.","res-forge-choice-board.2a318223e9":"D program","res-forge-choice-board.69a71f0df6":"C több adatot mozgat, hogy odaérjen.","res-forge-choice-board.d7782ce200":"C program","res-forge-choice-board.018761680d":"B-nek tovább tart befejezni.","res-forge-choice-board.d2307ff43a":"B program","res-forge-choice-board.4c06d2baf8":"A munka közben a legtöbb adatot tartja.","res-forge-choice-board.2be70eef66":"A program","res-forge-choice-board.97876b8380":"Ellenőrzés","res-forge-choice-board.2940ff1e5f":"Gépek","res-forge-choice-board.89c8a2851d":"Memória","res-forge-choice-board.6c82e6dd86":"Idő","res-forge-choice-instrument.e786244260":"Elfogadott költség","res-forge-choice-instrument.fd9a9f965e":"Relatív modellezett késleltetés","res-forge-choice-instrument.24d3e4fdd9":"Erősség","res-forge-choice-instrument.6853c98a6f":"Tag","res-forge-conflict-board.0e565b0b3e":"Ezen a táblán egyetlen sáv sem végződik generált tartalék kóddal. Mindegyik egy elnevezett eredménnyel és a következő lépés tulajdonosával zárul.","res-forge-conflict-board.bb54db510a":"Elfogadás","res-forge-conflict-board.09c3f0d154":"nem szerepel az ellenőrzési szerződésben","res-forge-conflict-board.75e6b42fc5":"Hatókörön kívül","res-forge-conflict-board.281dd83602":"Kibővítés","res-forge-conflict-board.8a97b9af81":"elmélet és költségkeret korlát","res-forge-conflict-board.bc7819b34f":"Ismeretlen","res-forge-conflict-board.3e0fb17cab":"Tisztázás","res-forge-conflict-board.7835f9c578":"elutasítja a köteget","res-forge-conflict-board.9522606498":"semleges összeget ad vissza","res-forge-conflict-board.e9a46a96e9":"Kétértelmű","res-forge-conflict-board.d36f29cacf":"Egyeztetés","res-forge-conflict-board.9a064eb243":"nem létezik jelölt az L nyelvben","res-forge-conflict-board.5f20d0f3ac":"Kielégíthetetlen","res-forge-conflict-board.151864867d":"Egy követelmény hat záradéka","res-forge-conflict-board.426475873e":"az eredmény egy rögzített falióra ablakon belül érkezik meg","res-forge-conflict-board.6933c35154":"egy javító bejegyzés csökkentheti az összeget","res-forge-conflict-board.4bf7985a78":"az eredmény az utolsó egységig pontos","res-forge-conflict-board.55dca06fb3":"egy üres köteg elfogadásra kerül","res-forge-conflict-board.5b3e0d86e8":"az összeg soha nem csökken, ahogy bejegyzések kerülnek hozzáadásra","res-forge-conflict-board.33f78f4681":"minden összeg a megadott tartományon belül marad","res-forge-consumer-glyph.9154742cfc":"A feladat egy mondatban","res-forge-consumer-glyph.b7d5d68aa8":"Minden leolvasást a biztonságos tartományon belül tart","res-forge-consumer-glyph.5a29585e3f":"Kísérletek","res-forge-consumer-glyph.6bd1f59b85":"kettő hibázik egy eseten","res-forge-consumer-glyph.059c3755e1":"kettő megérkezik","res-forge-consumer-glyph.d3f5d23e46":"egy pecsétet visz","res-forge-consumer-glyph.6bb9173137":"keres","res-forge-consumer-glyph.50814a267d":"sok lehetséges programot","res-forge-consumer-glyph.64c675f85c":"elutasít","res-forge-consumer-glyph.7403925825":"bármit, ami egy eseten elbukik","res-forge-consumer-glyph.c1a77ef9ed":"megmondja, milyen erősen ellenőrzött","res-forge-consumer-glyph.691b10181f":"és hol áll meg az ellenőrzés","res-forge-consumer-glyph.100ec4462d":"bizonyíték","res-forge-consumer-glyph.88acf54a65":"néha nincs program","res-forge-consumer-glyph.72dc433046":"A válasz lehet, hogy nincs program","res-forge-cost-vector.140b63310c":"C jelölt","res-forge-cost-vector.2437a7ecbd":"Bizonyíték célkitűzésenként","res-forge-cost-vector.25b7302067":"Összehasonlítás, amely átvihető egy másik kísérleti csomagra.","res-forge-cost-vector.26d24d71f0":"Memóriaforgalom","res-forge-cost-vector.3e39972526":"Késleltetés","res-forge-cost-vector.405bdec664":"Nincs mérés","res-forge-cost-vector.4b1dda27e1":"Mit nem jelent a vektor","res-forge-cost-vector.555486354d":"Kódméret","res-forge-cost-vector.5d0b1f6647":"A két vonal keresztezi egymást, ezért egyik jelölt sem önmagában a válasz.","res-forge-cost-vector.66374d941d":"Hardveren mérve","res-forge-cost-vector.89a596e251":"Az üres cella az állítás: a bizonyítási komplexitást modellezték, de soha nem mérték.","res-forge-cost-vector.8a4da1dcc8":"Olyan hely, ahol a modell kimenete helyettesítheti a mérést.","res-forge-cost-vector.ab8dd4df08":"Drágább","res-forge-cost-vector.ac46a8c74c":"Bizonyítási komplexitás","res-forge-cost-vector.ad638eff4a":"Négy célkitűzés, két jelölt, egy kísérlet","res-forge-cost-vector.b0b01215a0":"D jelölt","res-forge-cost-vector.bf8197e03c":"Relatív pozíciók egy kísérleten, a magasabb drágább.","res-forge-cost-vector.cd05967fea":"Modellezve bármely futtatás előtt","res-forge-cost-vector.ec8e6defbf":"Egyetlen pontszám, amely alapján a két jelölt rangsorolható.","res-forge-cost-vector.f4cfc474fa":"Olcsóbb","res-forge-counterexample-loop.aca21ce064":"új specifikációs identitást hoz létre","res-forge-counterexample-loop.fb8953469c":"ELŐFELTÉTEL HOZZÁADÁSA","res-forge-counterexample-loop.7e5559029b":"a futtatás ugyanazon identitás alatt folytatódik","res-forge-counterexample-loop.89ad46cbd8":"AZ ESET HOZZÁADÁSA","res-forge-counterexample-loop.9001aab10f":"KÉT JOGOS VÁLASZ EGY HIBA ESETÉN","res-forge-counterexample-loop.8888c622ac":"amit az ellenőrtől kértek","res-forge-counterexample-loop.ec6e54733d":"az oszlop soha nem veszít el sort","res-forge-counterexample-loop.2a117d0937":"BIZONYÍTÉK, AMIT A KÖVETKEZŐ JELÖLTNEK TELJESÍTENIE KELL","res-forge-counterexample-loop.da7195483c":"Válasszon egy iterációt a finomítási ciklusból","res-forge-counterexample-loop.a0c4d76862":"A harmadik jelölt minden rögzített kötelezettséget teljesít. Az ellenőr nem talál sértő bemenetet a támogatott tartományon belül, és egy bizonyítást ad vissza a feltételezéseivel együtt felsorolva.","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ÁLISAN ELLENŐRIZVE, feltételezések felsorolva","res-forge-counterexample-loop.02b8a8db00":"minden x-re i32-ben, plusz mindkét rögzített eset","res-forge-counterexample-loop.30f7f19326":"A második jelöltnek a példákat és a túlcsordulási esetet együtt kell teljesítenie. A szorzás előtt kiszélesíti a köztes értéket, és az ellenőr visszaad egy második esetet, amelyet a specifikáció soha nem rögzített: egy üres bemenetet.","res-forge-counterexample-loop.02dc309df7":"MEGTÁMADVA, ellenpélda találva","res-forge-counterexample-loop.9ab3ad07a9":"minden x-re i32-ben, plusz a rögzített eset","res-forge-counterexample-loop.47d7508d9a":"Az első jelölt teljesíti a három megadott példát. Az ellenőr az egész i32-t átvizsgálja, és visszaad egy konkrét bemenetet, ahol a méretezett szorzat elhagyja a deklarált tartományt.","res-forge-counterexample-loop.ad5fa3b2c6":"minden x-re i32-ben","res-forge-counterexample-loop.d1c8b37b24":"x = üres bemenet","res-forge-counterexample-loop.b412089d87":"x = 2147483647, túlcsordulás","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":"ezen a lapon semmi sem sűríti a négy célkitűzést egyetlen számba","res-forge-decision-record.d327f7b3ba":"Nincs egyetlen rangsorolási pontszám","res-forge-decision-record.6a7eee59c0":"Nem kiválasztott, és miért","res-forge-decision-record.3e7c118949":"Kiválasztó:","res-forge-decision-record.1918daaba9":"Kiválasztott tag","res-forge-decision-record.974ff8bb6e":"Célkitűzés-készlet","res-forge-decision-record.e38c2194b4":"formálisan ellenőrzött","res-forge-decision-record.ea2dfcc9cc":"Biztosítéki küszöb","res-forge-decision-record.1ccf5d25df":"Specifikáció","res-forge-decision-record.5a445661ea":"dominált:","res-forge-decision-record.f950982dd0":"Minden szabályzat alatt azonos","res-forge-decision-record.e6f8a915dc":"A határvonal","res-forge-decision-record.473161067f":"Kiválasztási szabályzat","res-forge-decision-record.1a7d89d441":"célilleszkedés","res-forge-decision-record.b3c5533e86":"memóriamozgás","res-forge-decision-record.544852fd7a":"legegyszerűbb bizonyítás","res-forge-decision-record.6bf0b2c0d8":"hosszabb auditút, ehelyett szélesebb célilleszkedést nyer","res-forge-decision-record.fdd18306eb":"C tag","res-forge-decision-record.ee96b43256":"hosszabb auditút, ehelyett kisebb mozgást nyer","res-forge-decision-record.1e19ce513c":"B tag","res-forge-decision-record.7ad441b0c0":"hosszabb auditút, mint a kiválasztott tagé az aktív készleten","res-forge-decision-record.d04e27e317":"A tag","res-forge-decision-record.fec4a6c489":"Egy szabályozott program ugyanazt a határvonalat olvassa a bizonyíték tengelye mentén, és a D tagot választja.","res-forge-decision-record.32cba0b9da":"legközvetlenebb auditút","res-forge-decision-record.f88efb9bc7":"D tag","res-forge-decision-record.47942077ae":"Legegyszerűbb bizonyítás","res-forge-decision-record.e9647ad29d":"kevesebb támogatott célon fut, a szélességet az auditútért cseréli","res-forge-decision-record.baede38a31":"kevesebb támogatott célon fut, a szélességet a mozgásért cseréli","res-forge-decision-record.7b357b2d93":"kevesebb támogatott célon fut, mint a kiválasztott tag","res-forge-decision-record.2a6987fbaf":"Egy vegyes hardveren elosztott állomány ugyanazt a határvonalat olvassa a cél tengelye mentén, és a C tagot választja.","res-forge-decision-record.462746df39":"legszélesebb célilleszkedés","res-forge-decision-record.ad59e3b102":"Legszélesebb","res-forge-decision-record.6235c63244":"több adatot mozgat, és ehelyett rövidebb levezetést tart meg","res-forge-decision-record.709e1b623c":"több adatot mozgat, több támogatott célra elosztva","res-forge-decision-record.7efb4f14c6":"több adatot mozgat, mint a kiválasztott tag az aktív készleten","res-forge-decision-record.26929cd71c":"Egy memóriaforgalom által korlátozott telepítés ugyanazt a határvonalat olvassa a mozgás tengelye mentén, és a B tagot választja.","res-forge-decision-record.993033f0b5":"legalacsonyabb memóriamozgás","res-forge-decision-record.4e76f5796f":"Legkarcsúbb","res-forge-decision-record.344f41f998":"magasabb modellezett késleltetés, és a rövidebb auditút nem a tengely","res-forge-decision-record.ed3d6e1e77":"magasabb modellezett késleltetés, és a szélességét itt nem fizetik meg","res-forge-decision-record.0be3560065":"magasabb modellezett késleltetés, mint a kiválasztott tagé az aktív készleten","res-forge-decision-record.b8b9888522":"Egy mérnöki csapat egyetlen célgéppel a késleltetés tengelye mentén olvassa a határvonalat, és az A tagot választja.","res-forge-decision-record.ffefb7fa98":"legalacsonyabb modellezett késleltetés","res-forge-decision-record.4cb3bb0fc4":"Leggyorsabb","res-forge-equivalence-space.638d0226a9":"csak relatív pozíciók, mért értékek nélkül","res-forge-equivalence-space.b727a735e7":"mozgatás","res-forge-equivalence-space.e8c39c4d7e":"műveletek","res-forge-equivalence-space.4619486033":"kinyert alak","res-forge-equivalence-space.f42512d469":"Kinyerési cél","res-forge-equivalence-space.92149cf8ce":"SEED","res-forge-equivalence-space.217cb1c2eb":"Egy kifejezés négy egyenértékű osztályra bővítve, a kiválasztott kinyerési célhoz vezető út kiemelve, és egy megtagadott él megrajzolva, de soha nem kiemelve","res-forge-equivalence-space.ccce87f620":"Egy kifejezés egyenértékű alakok hálózatává bővítve, az éleken feltételekkel","res-forge-equivalence-space.27fa456ce7":"A hordozhatóság érdekében történő kinyerés az erősségcsökkentést és az elrendezésváltást veszi át. Több műveletet futtat, mint az algebrai alak, és a támogatott célok legszélesebb körét éri el.","res-forge-equivalence-space.27d7e452b1":"(a << 1) + a, tömörítve","res-forge-equivalence-space.feba5b9c56":"A mozgatás érdekében történő kinyerés ugyanazt az algebrai lépést viszi tovább a fúziós osztályba. Kevesebb műveletet futtat, mint az elrendezési alak, és a három közül a legalacsonyabb memóriamozgatást tartja fenn.","res-forge-equivalence-space.37226e169c":"fuse(a + a + a)","res-forge-equivalence-space.a2f4cd4d38":"A késleltetés érdekében történő kinyerés az algebrai alakot veszi át, és ott megáll. A legkevesebb műveletet futtatja, és több adatot mozgat, mint a fúziós alak, valamint jogosult a bizonyított szélességi feltételre.","res-forge-equivalence-space.4b10d3e274":"3 * a","res-forge-equivalence-space.dfb1d5b6c2":"HORDOZHATÓSÁG","res-forge-equivalence-space.37f756c7d0":"MOZGATÁS","res-forge-equivalence-space.49d6c10ece":"KÉSLELTETÉS","res-forge-equivalence-space.8e43c13f74":"f32 újracsoportosítás megtagadva","res-forge-equivalence-space.13d2c4a154":"i32 szélesség bizonyítva","res-forge-equivalence-space.dcc4e6c574":"ELRENDEZÉSI OSZTÁLY","res-forge-equivalence-space.69688a961b":"FÚZIÓS OSZTÁLY","res-forge-equivalence-space.16cbdc05fc":"ERŐSSÉGI OSZTÁLY","res-forge-equivalence-space.dbb0f90765":"ALGEBRAI OSZTÁLY","res-forge-equivalence-space.bc109fb076":"hordozható","res-forge-equivalence-space.7aca22de0b":"tömörített","res-forge-equivalence-space.1f08a3216a":"fúziós","res-forge-equivalence-space.b0c659fe95":"folyamatos","res-forge-equivalence-space.28e1e451f0":"f32 újracsoportosítás","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":"A promóció bizonyítékot igényel, nem ellenőrzést. Ez a lehetőség ennek a táblának minden állapotában elérhetetlen, ez a szabály, amelyet megfogalmazunk.","res-forge-evidence-cards.61c57736e7":"Promóció","res-forge-evidence-cards.7d903d3344":"A promóciós szabály","res-forge-evidence-cards.8fc2a131ae":"egy csomópont megváltozott, és a címke visszatér a jól formált állapotba","res-forge-evidence-cards.4acf3ac41d":"Jelölti dossziék","res-forge-evidence-cards.65748fb5d3":"ugyanannak a gráfnak a lebegő régiója, amelyet ez a kódolás nem ábrázol","res-forge-evidence-cards.d274f5b4e3":"Mi nem bizonyított","res-forge-evidence-cards.8f4f743d7f":"pontos egész szám szemantika és egy régió, amelyet a csomag tisztaként deklarál","res-forge-evidence-cards.7d37b7550c":"Milyen feltételezések mellett","res-forge-evidence-cards.2bae06de12":"minden bemenet, amelyet a formális elmélet ki tud fejezni","res-forge-evidence-cards.e700afa7f9":"Milyen tartományon","res-forge-evidence-cards.8be740fd8c":"a kódolt reláció a teljes támogatott tartományon","res-forge-evidence-cards.b76e542d96":"Mit ellenőriztek","res-forge-evidence-cards.906c590060":"egy támogatott univerzális reláció bizonyítást nyert a megadott feltételezések mellett","res-forge-evidence-cards.ea66d3cd71":"Formálisan ellenőrzött","res-forge-evidence-cards.b7330133c1":"R jelölt","res-forge-evidence-cards.8e950fc545":"bármely bemenet a megadott halmazon kívül, beleértve a kvantifikált feltételt is","res-forge-evidence-cards.72d0fc35c6":"a csomaggal szállított referencia-viselkedés, a saját tartományán belül","res-forge-evidence-cards.2c8e59076b":"a megadott bemenetek, egyenként","res-forge-evidence-cards.961d36c1e2":"a specifikációba írt konkrét esetek","res-forge-evidence-cards.593aeb47dc":"a deklarált konkrét esetek teljesültek, és rajtuk kívül semmi másra nem történt állítás","res-forge-evidence-cards.919003799d":"Tesztelt","res-forge-evidence-cards.24f43cdd11":"Q jelölt","res-forge-evidence-cards.8af32eb207":"viselkedés egy célprofilon, amelyet a végrehajtási hivatkozás nem nevez meg","res-forge-evidence-cards.d7201bf2e3":"a numerikus család és a csomag által engedélyezett hatások, mindkettő rögzítve","res-forge-evidence-cards.dfaa1686c4":"a deklarált bemeneti tartomány egy támogatott célprofilon","res-forge-evidence-cards.707e2a56c9":"a bizonyított reláció, majd a terv és az artefaktum, amely végrehajtásba vitte","res-forge-evidence-cards.f092d6fe39":"a gráf, a terv, az artefaktum és az eredmény azonossága összekötve marad","res-forge-evidence-cards.32d888fecc":"Végrehajtás összekapcsolva","res-forge-evidence-cards.0483882b1c":"P jelölt","res-forge-experiment-packet.7a6aad1d4c":"új kísérlet, külön rekord","res-forge-experiment-packet.aad6b5ae20":"CSOMAGAZONOSSÁG","res-forge-experiment-packet.bbcc172a1e":"HA BÁRMELY MEZŐ VÁLTOZIK","res-forge-experiment-packet.f5ca7850da":"a futás elején lezárva","res-forge-experiment-packet.1f7febf95f":"BEJELENTETT SZABÁLYZAT","res-forge-experiment-packet.39b2c01e18":"NYELV LEZÁRVA","res-forge-experiment-packet.c2bb6fa0c5":"SPECIFIKÁCIÓ MEGVÁLTOZTATHATATLAN","res-forge-experiment-packet.4484cb6fa9":"ismeretlen jelentés","res-forge-experiment-packet.feaf4dd4e6":"korlát: méret <= 6","res-forge-experiment-packet.5aa50aebf7":"formális, ahol támogatott","res-forge-experiment-packet.31be469709":"SZABÁLYZAT","res-forge-experiment-packet.e1e3e98714":"kódméret","res-forge-experiment-packet.b3c5533e86":"memóriamozgatás","res-forge-experiment-packet.e64e22b150":"CÉLOK","res-forge-experiment-packet.48aef70526":"teljes sorrend rögzítve","res-forge-experiment-packet.294793bfad":"kettes komplemens, 32 bit","res-forge-experiment-packet.1e9edfb9ee":"SZEMANTIKA","res-forge-experiment-packet.9c5c96b457":"nincs külső hatás","res-forge-experiment-packet.d835dab5b4":"pontos egész szám","res-forge-experiment-packet.2a3ffd9ebb":"NYELV","res-forge-experiment-packet.486c4f6f95":"1 vázlat, 2 lyuk","res-forge-experiment-packet.9254dc6ec8":"1 univerzális reláció","res-forge-experiment-packet.dbeac903da":"4 példa","res-forge-experiment-packet.32082e06e3":"SPECIFIKÁCIÓ","res-forge-forms-instrument.b050566d50":"egyáltalán nem","res-forge-forms-instrument.d680340c0b":"részben","res-forge-forms-instrument.ad22e7e15b":"eldönti","res-forge-forms-instrument.7cb8793606":"nem dönti el","res-forge-forms-instrument.ed5a4b874a":"részben eldönti","res-forge-four-silences.a2b701e0b3":"Nem készül program, és az ok meg van nevezve.","res-forge-four-silences.5faa59d4bc":"Eredmény","res-forge-four-silences.5647cada0f":"Mi változtatná meg","res-forge-four-silences.7661e6591f":"Mi történt","res-forge-four-silences.1189b54fc7":"Mit kértek","res-forge-four-silences.c648f0b37b":"Négy ok, amiért a válasz: nincs program","res-forge-four-silences.2637ce69f5":"A PROGRAM","res-forge-four-silences.f61fa98a3b":"A MODELL","res-forge-four-silences.cbbef8ce7e":"KÍVÜL","res-forge-four-silences.ce75fc2aec":"MEGADOTT KORLÁT","res-forge-four-silences.3a339a1749":"2. SZABÁLY","res-forge-four-silences.35a7d11e05":"1. SZABÁLY","res-forge-four-silences.8cc9c3c016":"Vissza ahhoz, amire az állítás vonatkozik","res-forge-four-silences.971c87e299":"Hozd a szolgáltatást a modellbe, vagy szűkítsd az állítást.","res-forge-four-silences.88868a0c58":"A viselkedés egy része azon a határon kívül van, amit az ellenőrzés le tud írni.","res-forge-four-silences.181032c74d":"kérdezd meg egy külső szolgáltatástól a korlátot","res-forge-four-silences.407dfebcf1":"Vissza több hellyel","res-forge-four-silences.97cd9b5795":"Hosszabb futás, vagy más módszer.","res-forge-four-silences.33af89d7fc":"A keresés elérte a megadott korlátot, és megállt, mielőtt eldöntötte volna a kérdést.","res-forge-four-silences.086f7cbb23":"egy szabály minden támogatott bemenetről","res-forge-four-silences.74864a1ff8":"Vissza egy döntésért","res-forge-four-silences.7c78667c01":"Adj meg még egy példát.","res-forge-four-silences.fd58916c0c":"Két különböző viselkedés egyezik mindhárom példán, és eltér a negyedik bemeneten.","res-forge-four-silences.96dee44862":"3-ból 9","res-forge-four-silences.9179befc0c":"2-ből 4","res-forge-four-silences.3d47eae588":"1-ből 1","res-forge-four-silences.35f6e4ab6c":"Vissza ahhoz, aki a szabályokat írta","res-forge-four-silences.5c332290c5":"Lazítsd az egyik szabályt.","res-forge-four-silences.ece7f203f5":"A két szabály szemben áll egymással. Egy negatív bemenet nem elégítheti ki mindkettőt egyszerre.","res-forge-four-silences.b25d65ea16":"add vissza a bemenetet változatlanul","res-forge-four-silences.a4d3a2c877":"mindig pozitív számot adj vissza","res-forge-four-silences.20cb7eef2c":"A modellen kívül","res-forge-four-silences.c439038abe":"Nem fedett","res-forge-four-silences.04ae6467a0":"Nincs következtetés","res-forge-four-silences.280c5e7fc6":"Két értelmezés","res-forge-four-silences.3fe459f958":"Semmi sem illik","res-forge-graph-asset.49281c01cf":"a biztosíték visszatér a jól formázotthoz","res-forge-graph-asset.670f6bdd9a":"új jelölt identitás","res-forge-graph-asset.197e419ad3":"ÚJ GRÁFIDENTITÁS","res-forge-graph-asset.33dd31d4b3":"MÓDOSÍTSD A MEGJELÖLT CSOMÓPONTOT","res-forge-graph-asset.d7b94d76cf":"EGY CSOMÓPONT, MINDHÁROM MEGJELENÍTÉSBEN MEGJELÖLVE","res-forge-graph-asset.990742f8b4":"pufferek","res-forge-graph-asset.1bdbf6a26d":"clamp, store out","res-forge-graph-asset.e9e90fc64f":"scale, mul, add","res-forge-graph-asset.851967b4a3":"load x, k, lo","res-forge-graph-asset.46599c6b1e":"az operátor nevek egyeznek a csomópont nevekkel","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":"UGYANAZ AZ OBJEKTUM","res-forge-graph-asset.31e8d812fa":"ADATFOLYAM","res-forge-graph-asset.891bbd450e":"KIFEJEZÉS","res-forge-graph-asset.e7bd56e1ec":"GRAPH","res-forge-graph-asset.30a5d0d91f":"Ugyanaz a szemantikus gráf csomópontgráfként, kifejezésként és adatfolyamként megjelenítve,\n              egy csomópont mindhárom megjelenítésben megjelölve és egyetlen szabállyal összekötve","res-forge-graph-asset.0be82d1c87":"Egy szemantikus gráf háromféleképpen megrajzolva, gráfként, kifejezésként és adatfolyamként, a clamp csomópont mindháromban megjelölve","res-forge-graph-asset.da528b9287":"FORMÁLISAN ELLENŐRIZVE","res-forge-graph-asset.894f6d1562":"GRÁFIDENTITÁS","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":"Nincs mihez viszonyítani","res-forge-intent-cards.f2b3a1f895":"Közvetlenül a mondatból írva","res-forge-intent-cards.8af3e09e73":"Ugyanaz a mondat közvetlenül megválaszolva","res-forge-intent-cards.ee3c9325a5":"Ezek elbukhatnak, ez a lényeg","res-forge-intent-cards.a014f9c662":"A forma megmarad, a réseket keresik.","res-forge-intent-cards.d40fae93b9":"Két rés","res-forge-intent-cards.32fd056d3d":"Vázlat","res-forge-intent-cards.5b6d56b37e":"Minden olvasáskor ellenőrizve, amit a szabály meg tud nevezni.","res-forge-intent-cards.43a980aaf8":"olvasáskor a válasz 0 és 100 között marad, és soha nem mozdul el egynél\n                  több lépéssel.","res-forge-intent-cards.d8784ae2ea":"Minden","res-forge-intent-cards.57f6dcedb1":"Egy sor","res-forge-intent-cards.78e1790e29":"Szabály","res-forge-intent-cards.85ee9e64bf":"A megadott olvasásokon ellenőrizve.","res-forge-intent-cards.ef73fdd1c8":"Négy eset","res-forge-intent-cards.eb01bf04c9":"Példák","res-forge-intent-cards.77d979bc52":"Három forma, amit a mondat felvehet","res-forge-intent-cards.b784f64740":"Három formára válik szét, és mindegyik ellenőrizhető.","res-forge-intent-cards.6802fdd79e":"Amit kértek","res-forge-intent-cards.650c85708e":"hiányzó lépés","res-forge-intent-cards.d2fb792999":"korlátozza, mennyit ugorhat","res-forge-intent-cards.d2fde1a28f":"tartsa a tartományon belül","res-forge-intent-cards.25f1a0d208":"olvassa le az értéket","res-forge-intent-cards.94407bb3ee":"„Tarts minden olvasást a biztonságos tartományon belül, és soha ne hagyd ugrani.”","res-forge-intent-modes-instrument.fd197e80cc":"A form is chosen, not merged. The record keeps which one carried the claim.","res-forge-intent-modes-instrument.a6c44a9033":"Covers","res-forge-intent-modes-instrument.abd6628786":"Three ways to state what a program should do","res-forge-intent-routes.5170330dcc":"Mindkét sáv ugyanazt a követelményt hagyja maga után. Csak az egyik van még nyitva a rajz alján.","res-forge-intent-routes.544852fd7a":"legegyszerűbb bizonyítás","res-forge-intent-routes.3e7c118949":"Kiválasztotta:","res-forge-intent-routes.9a976fc228":"Kiválasztva","res-forge-intent-routes.239aff5852":"a határon","res-forge-intent-routes.be601df25e":"Kutatás","res-forge-intent-routes.f577430e54":"új projekt","res-forge-intent-routes.f6ef754e2d":"Lock-in pont","res-forge-intent-routes.7b2d03931b":"Hagyományos","res-forge-intent-routes.f18b41890d":"viselkedés, korlátok és kockázatok, egyszer leírva","res-forge-intent-routes.e9c366b4f3":"Követelmény","res-forge-intent-routes.eb9ceb1149":"ellenpélda","res-forge-intent-routes.462746df39":"legszélesebb célilleszkedés","res-forge-intent-routes.120e0af75a":"legalacsonyabb mozgás","res-forge-intent-routes.cd3e7bf034":"optimalizációs projekt","res-forge-intent-routes.92be6abbc0":"egy kódbázis","res-forge-intent-routes.9732c542fc":"implementáció megírva","res-forge-intent-routes.27df60a6a2":"architektúra kiválasztva","res-forge-kera-boundary.1ccf5d25df":"Specifikáció","res-forge-kera-boundary.29a184b65c":"gráf","res-forge-kera-boundary.2fa9505626":"artefaktum","res-forge-kera-boundary.37a5301a88":"eredmény","res-forge-kera-boundary.3bd7b119dd":"minden nem dominált tag","res-forge-kera-boundary.4aca16af35":"Ellenőrzési eredmény","res-forge-kera-boundary.61792020d0":"Célfront","res-forge-kera-boundary.646e287869":"a bizonyítás és annak feltételei","res-forge-kera-boundary.6f8f7df48d":"FORGE","res-forge-kera-boundary.700bb94783":"redukciók","res-forge-kera-boundary.7bc555991d":"rögzített","res-forge-kera-boundary.7c1df38fca":"ELLENŐRZÖTT SZEMANTIKUS GRÁF","res-forge-kera-boundary.807a40a32f":"visszamutat a gráfra","res-forge-kera-boundary.8b36233e89":"ellenőrzött szemantikus gráf plusz kötelezettségek","res-forge-kera-boundary.8cd3def21e":"ezen az oldalon nincs célkibocsátó","res-forge-kera-boundary.970c175475":"célprofil","res-forge-kera-boundary.9c31467d05":"A kapu ezen oldalán tartva","res-forge-kera-boundary.a30f1285d5":"VÉGREHAJTÁSI HÁLÓZAT","res-forge-kera-boundary.b727a735e7":"mozgás","res-forge-kera-boundary.bed97175b0":"terv","res-forge-kera-boundary.c9ff38c8bb":"a rögzített kutatási probléma","res-forge-kera-boundary.cce55e4309":"sorrend","res-forge-kera-boundary.d4f766efab":"Három tartás, egy objektum átmegy","res-forge-kera-boundary.efe0c41bcb":"KERA","res-forge-loop-instrument.1e76c7e5b8":"Egy ellenpélda hurok, négy szakasz","res-forge-pareto-frontier.e2ee360818":"ENERGIACÉL HOZZÁADÁSA","res-forge-pareto-frontier.b0e56d1efe":"a görbe rögzített, csak a szabályzat változik","res-forge-pareto-frontier.787ca603fd":"a határ az objektumkészlethez tartozik","res-forge-pareto-frontier.d0eeccbe8d":"kiválasztó:","res-forge-pareto-frontier.173d916846":"energia","res-forge-pareto-frontier.1a7d89d441":"célilleszkedés","res-forge-pareto-frontier.b727a735e7":"mozgás","res-forge-pareto-frontier.c3b9a01442":"késleltetés","res-forge-pareto-frontier.3404b13cac":"objektumkészlet","res-forge-pareto-frontier.e38c2194b4":"formálisan ellenőrzött","res-forge-pareto-frontier.bf984aca27":"biztosítéki küszöb","res-forge-pareto-frontier.03d6a194f4":"specifikáció","res-forge-pareto-frontier.33ca7f61b6":"ENERGIAMEGTÉRÜLÉS","res-forge-pareto-frontier.0acbd1c769":"MEMÓRIAMOZGÁS","res-forge-pareto-frontier.4b93d5e7ea":"KÉSLELTETÉS, JOBBRA NÖVEKVŐ","res-forge-pareto-frontier.43bf415954":"Kereskedelmi diagram a késleltetés és a memóriamozgás között, a célilleszkedés jelölőméretként\n                ábrázolva, négy nem dominált tag a határgörbével összekötve, és hét dominált\n                jelölt, mindegyik az őt domináló taghoz kapcsolva","res-forge-pareto-frontier.f2b023979d":"xMinYMid meet","res-forge-pareto-frontier.473161067f":"Kiválasztási szabályzat","res-forge-pareto-frontier.7c1e368123":"A kiegyensúlyozott térd szabályzat szintén a C jelöltet választja, más érveléssel: ez az a pont, ahol a nagyobb késleltetés feladása már nem hoz jelentős mozgáscsökkenést. Az, hogy két szabályzat ugyanazt a tagot választja, tény ezen a határon, és a rekord továbbra is megnevezi, melyik szabályzat választotta.","res-forge-pareto-frontier.b7aedb3b70":"A legegyszerűbb bizonyítás szabályzat a D jelöltet választja. Lemond egy agresszív átírásról, így az ellenőrzési kötelezettsége a legkisebb a négy közül.","res-forge-pareto-frontier.5614e2e73d":"A legkisebb mozgás szabályzat a B jelöltet választja. Ennek a leg hosszabb a kritikus útja a négy közül, ami a legkevesebb adat mozgatásának ára.","res-forge-pareto-frontier.14826696ec":"A leggyorsabb szabályzat az A jelöltet választja. Ez tartja a legnagyobb munkakészletet a határon, és a rekord ezt a kiválasztás mellett tárolja, nem pedig egy pontszámba rejti.","res-forge-pareto-frontier.c65681bb2d":"célilleszkedés: legszélesebb","res-forge-pareto-frontier.b097d0ac54":"mozgás: közepes","res-forge-pareto-frontier.05da02c2f2":"késleltetés: közepes","res-forge-pareto-frontier.d0b64e1eec":"célilleszkedés: közepes","res-forge-pareto-frontier.144e5e5e83":"mozgás: alacsonyabb","res-forge-pareto-frontier.aa828b0585":"késleltetés: magasabb","res-forge-pareto-frontier.e3a088e260":"célilleszkedés: szűk","res-forge-pareto-frontier.6fc0d51b39":"mozgás: legalacsonyabb","res-forge-pareto-frontier.1b565dbd5d":"késleltetés: legmagasabb","res-forge-pareto-frontier.79c0f24c30":"mozgás: legmagasabb","res-forge-pareto-frontier.83504b708a":"késleltetés: legalacsonyabb","res-forge-pareto-frontier.37671e6ba6":"Kiegyensúlyozott térd","res-forge-pareto-frontier.47942077ae":"Legegyszerűbb bizonyítás","res-forge-pareto-frontier.8703111807":"Legszélesebb cél","res-forge-pareto-frontier.0b2147fd0a":"Legkisebb mozgás","res-forge-pareto-frontier.4cb3bb0fc4":"Leggyorsabb","res-forge-pareto-frontier.7e6396c2ce":"A legszélesebb cél szabályzat a C jelöltet választja. A támogatott célok legszélesebb halmazán fut, és a két szélsőség között helyezkedik el mindkét ábrázolt tengelyen.","res-forge-programme-boundary.97af50dd3d":"A kapu átlépi a három publikált gyűrűt, és a mag határánál megáll. A külső három\n          vizsgálható a legbelső megnyitása nélkül.","res-forge-programme-boundary.9ba1f67469":"Kutatási program, nem szoftverajánlat","res-forge-programme-boundary.f72e361ba7":"Publikáció-ellenőrzés","res-forge-programme-boundary.108e9b7f90":"kutatási módszerként kezelve","res-forge-programme-boundary.88306943fe":"Módszer","res-forge-programme-boundary.68836c550e":"Mag","res-forge-programme-boundary.175267da12":"elméleti útválasztás","res-forge-programme-boundary.15e58bec8d":"költségvetés-elosztás","res-forge-programme-boundary.b32f31d61d":"határpozíció","res-forge-programme-boundary.6f3c47977c":"hatókörrel mért mérés","res-forge-programme-boundary.ff7fc62f3f":"biztosítékállapot","res-forge-programme-boundary.500aadccf6":"kiválasztott jelölt","res-forge-programme-boundary.5faa59d4bc":"Eredmény","res-forge-programme-boundary.6840659e94":"ismeretlen kezelése","res-forge-programme-boundary.3404b13cac":"célkészlet","res-forge-programme-boundary.78a3386c55":"erőforrás-korlát","res-forge-programme-boundary.90f54b8f1b":"engedélyezett nyelv","res-forge-programme-boundary.c445f7aab5":"specifikációs korpusz","res-forge-programme-boundary.1ed77c3f7f":"Protokoll","res-forge-programme-boundary.aba4559466":"megnevezett korábbi technika","res-forge-programme-boundary.0c447c79ec":"kutatási kérdés","res-forge-programme-boundary.002ff59811":"Kérdés","res-forge-programme-instrument.a725020675":"Állapot","res-forge-programme-instrument.dc4e08a408":"Követelés","res-forge-proof-parts-instrument.ba3fef96ae":"Öt részből álló bizonyítás","res-forge-provenance-chain.040c236a24":"kilenc csomópontból négy, és nincs köztük lezárt lépés","res-forge-provenance-chain.0ca6a997b6":"MIT KELL VISSZAADNIA EGY VISSZAJÁTSZÁSNAK","res-forge-provenance-chain.7c0a292070":"A MÁRKA PONT JELÖLI AZT A CSOMÓPONTOT, AMELYET A VISSZAJÁTSZÁSI SÁVNAK ÉRINTENIE KELL","res-forge-provenance-chain.763ad25abd":"lezárt: r:1c62e08","res-forge-provenance-chain.da528b9287":"FORMÁLISAN ELLENŐRZÖTT","res-forge-provenance-chain.9106ca2738":"KIVÁLASZTVA","res-forge-provenance-chain.416eb4fbb0":"határvonal","res-forge-provenance-chain.8e016346a6":"EKVIVALENCIA-OSZTÁLY","res-forge-provenance-chain.97d9eb838e":"cx 2","res-forge-provenance-chain.21fedfd21e":"jelölt 2","res-forge-provenance-chain.2ce3ff82d2":"kimenet: jelölt 2","res-forge-provenance-chain.656b15a358":"bemenet: jelölt 1 plusz cx 1","res-forge-provenance-chain.a65edb573d":"KUTATÁSI LÉPÉS","res-forge-provenance-chain.b0b7ba4666":"PRIVÁT","res-forge-provenance-chain.6495ecf841":"cx 1","res-forge-provenance-chain.7312546346":"jelölt 1","res-forge-provenance-chain.32082e06e3":"SPECIFIKÁCIÓ","res-forge-provenance-chain.4ee56d08c0":"Balról jobbra haladó származtatási gráf: specifikáció, két jelölt, két ellenpélda,\n              egy lezárt belső lépés, egy ekvivalencia-osztály, egy határvonal és a kiválasztott ellenőrzött\n              eredmény","res-forge-provenance-chain.e259f512bc":"Származtatási gráf a specifikációtól a kiválasztott ellenőrzött jelöltig, egy belső lépés lezárva, de kapcsolva","res-forge-provenance-chain.191f8b1087":"VÉGREHAJTÁSI KÖTÉS","res-forge-provenance-chain.88be68d35d":"ELLENŐRZÉSI EREDMÉNY","res-forge-provenance-chain.bdd7fdaa13":"JELÖLT 2","res-forge-provenance-chain.608c5b40ac":"SPECIFIKÁCIÓ v1","res-forge-record-timeline.0794c4ea35":"Meghozott döntés","res-forge-record-timeline.0f9c9e32f9":"Egy verzió, soha nem ág neve","res-forge-record-timeline.314d8e79c0":"Miért nem a B jelöltet választották?","res-forge-record-timeline.39ab49c337":"A pontos hibát okozó bemenet, megőrizve","res-forge-record-timeline.4868056615":"Ezen a soron semmi sem származik commit üzenetekből.","res-forge-record-timeline.4bd9342a8a":"Három bejegyzés válaszol erre, és egyiket sem kell rekonstruálni.","res-forge-record-timeline.59d432b5cb":"Összehasonlított alternatívák","res-forge-record-timeline.6546ec1158":"Egy felülvizsgáló jóval később érkezik","res-forge-record-timeline.6833948a23":"Akkor írva","res-forge-record-timeline.7d1e2e97e8":"Megfogalmazott követelmény","res-forge-record-timeline.90726e413a":"Megválaszolja a kérdést","res-forge-record-timeline.aaddcdd4a5":"Kutatási módszer, lezárva","res-forge-record-timeline.ccf3d548fe":"Visszaolvasva","res-forge-record-timeline.de805f67e3":"Öt jelölt, egy dominancia reláció","res-forge-record-timeline.e4a8371aea":"A feljegyzés, balról jobbra olvasva","res-forge-record-timeline.e8412cdd3e":"A szabályzat, és a mögötte álló felhatalmazás","res-forge-record-timeline.eeb026e98f":"Rögzített ellenpélda","res-forge-record-timeline.f4452aa131":"A fok, és az a kör, amelyet az a fok lefed","res-forge-record-timeline.f65fb0cd45":"Elért biztosíték","res-forge-search-field.f6d08e6875":"Relatív hosszúságok, nem darabszámok","res-forge-search-field.e9fd9a1eaa":"Mi van a mezőben","res-forge-search-field.fbd8250bed":"UNCHANGED FOR THE WHOLE RUN","res-forge-search-field.6a38722b12":"A KÖVETELMÉNY","res-forge-search-field.dbd3e24a6c":"A jelölt programformák mezője három állapotban, egy rögzített követelménykeret körül a középpontban","res-forge-search-field.0c596f1034":"xMidYMid slice","res-forge-search-field.7be0fdc4e0":"Megépítve, majd elkapva","res-forge-search-field.9545c5f30a":"Megbukott egy eseten","res-forge-search-field.e247bbc42c":"Soha meg nem építve","res-forge-search-field.3d7da15c51":"Típus által elutasítva","res-forge-search-field.70c98ed3c6":"Ellenőrizhetővé téve","res-forge-search-field.35633f30dd":"Megfelel a szabályoknak","res-forge-search-field.50c026300b":"Befogadva","res-forge-silence-instrument.3bc40f4b2a":"Négy eredmény, amelyek program nélkül térnek vissza","res-forge-size-lattice.a82ce62110":"SZÉLESEBB NYELV, ÚJ KÍSÉRLET","res-forge-size-lattice.74ed41aa02":"MINIMÁLIS AZ L NYELVEN BELÜL, 5-ÖS VAGY KISEBB MÉRETBEN","res-forge-size-lattice.4ca63f9c2e":"NEM KERESETT, NEM IGÉNYELT","res-forge-size-lattice.b79d0fac18":"MEGHIRDETETT KORLÁT","res-forge-size-lattice.5e265fa4aa":"ELŐSZÖR ELLENŐRZÖTT","res-forge-size-lattice.92664d7dff":"megfigyelés, nem bizonyíték","res-forge-size-lattice.950b23b925":"megfigyelt duplikátumként összeomlott","res-forge-size-lattice.a615e7ad1a":"típus szerint elutasítva, értékelés előtt","res-forge-size-lattice.6f389bc568":"befogadva","res-forge-specification-desk.65d9989d71":"A BIZONYÍTÉKFORMULÁK NEM FELCSERÉLHETŐK","res-forge-specification-desk.166b5a63b2":"mind a négy példán megfelel","res-forge-specification-desk.26a9ba5602":"x = -9","res-forge-specification-desk.5099050f90":"AZ AZ ESET, AMELY ELKÜLÖNÍTI ŐKET","res-forge-specification-desk.561f36ce2f":"egy futtatható válasz, a maga korlátaival","res-forge-specification-desk.ca24d384c1":"az orákulum tartománya: csak 0 és 100 között","res-forge-specification-desk.3cee30a3ad":"HIVATKOZÁS","res-forge-specification-desk.0d99250013":"a szerkezet rögzített, két típusozott lyuk nyitva","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":"VÁZLAT","res-forge-specification-desk.c597bbdbc1":"minden bemenet, amit az elmélet ki tud fejezni","res-forge-specification-desk.15ac2f23db":"minden x-re a támogatott tartományban:","res-forge-specification-desk.61ed10966f":"MEGKÖTÉSEK","res-forge-specification-desk.0ec3e255af":"négy eset, pontosan ellenőrizve","res-forge-specification-desk.9659699670":"PÉLDÁK","res-forge-specification-desk.191f4bd034":"skálázott értéket szoríts be egy deklarált tartományba","res-forge-specification-desk.4ad49a4ec4":"EGY TRANSZFORMÁCIÓ","res-forge-specification-desk.d9b48caf78":"a monotonitást sérti az orákulum tartományán kívül","res-forge-stack-path.4d5fa1b006":"Minden rendszer ugyanazt az objektumot olvassa, nem pedig annak másolatát, és ez tartja a specifikációt, a bizonyítást, a tervet és az eredményt egyetlen identitáson.","res-forge-stack-path.86506efb99":"az eredmény identitása visszatér ahhoz a gráfidentitáshoz, amelyből indult","res-forge-stack-path.c83a5945cb":"ahol a program ellenőrzött állapotot tart fenn","res-forge-stack-path.55561848ab":"Aion","res-forge-stack-path.17ed2b5e88":"ahol a fizikai rendszer modellje része a specifikációnak","res-forge-stack-path.1699ca16fb":"FMI és Twin","res-forge-stack-path.d5f412e831":"Kera","res-forge-stack-path.3ab11b75ca":"Forge","res-forge-stack-path.11e7686a81":"Gráfidentitás","res-forge-stack-path.8e246a1e8d":"Nincs célkibocsátó a Forge lemezen.","res-forge-technical-glyph.be601df25e":"Kutatás","res-forge-technical-glyph.91a9d5d08f":"Specifikáció megváltoztathatatlan","res-forge-technical-glyph.c2237a2d15":"Kísérleti csomag","res-forge-technical-glyph.03d6a194f4":"specifikáció","res-forge-technical-glyph.e11523c5ff":"nyelv","res-forge-technical-glyph.7b7f9366a3":"célkitűzések","res-forge-technical-glyph.f3753f1b6b":"biztosíték","res-forge-technical-glyph.9d78bc179c":"típusos gráfrégió","res-forge-technical-glyph.2b90fe2fea":"idő, mozgás, méret","res-forge-technical-glyph.a8a172a738":"megkérdőjelezve","res-forge-technical-glyph.e1d96de67b":"Jelöltkészlet","res-forge-technical-glyph.6f389bc568":"elfogadva","res-forge-technical-glyph.a503bc1da2":"elutasítva","res-forge-technical-glyph.880949479a":"tesztelve","res-forge-technical-glyph.ec734b6515":"ellenőrizve","res-forge-technical-glyph.61792020d0":"Célfront","res-forge-technical-glyph.096280facb":"egy kiválasztva","res-forge-technical-glyph.9985d73a38":"Biztosítéklétra","res-forge-technical-glyph.83ced341c8":"jól formált","res-forge-technical-glyph.e38c2194b4":"formálisan ellenőrzött","res-forge-technical-glyph.275ed0c2c7":"végrehajtáshoz kapcsolt","res-forge-technical-glyph.49794a5e29":"Kiválasztott jelölt","res-forge-technical-glyph.9e955c5620":"ellenpéldák megtartva","res-forge-technical-glyph.74ef6c0061":"Átadás a Kera részére","res-forge-technical-glyph.bed97175b0":"terv","res-forge-technical-glyph.37a5301a88":"eredmény","res-forge-technical-glyph.96a6bf1d97":"ellenőrzött gráf","res-forge-technical-glyph.b8d8aaff0a":"bizonyíték csatolva","res-forge-technical-glyph.100ec4462d":"bizonyíték","res-forge-technical-glyph.416eb4fbb0":"front","res-forge-technical-glyph.dd4fb84f32":"az ismeretlen eredmény","res-forge-technical-glyph.3137db7c8b":"Az ismeretlen, a kielégíthetetlen és a kétértelmű eredmények","res-forge-technical-glyph.d5f412e831":"Kera","res-forge-technical-glyph.00f6d27f5f":"DWEVE FORGE","res-forge-three-tries.ca6f569d32":"A bal oldali listából soha semmi nem kerül eltávolításra","res-forge-three-tries.48fce8a80b":"Három kísérlet ugyanarra a problémára","res-forge-three-tries.8805376577":"A 3. kör mindent tartalmaz, amit az első két kör talált, és még egy esetet.","res-forge-three-tries.da17ea9bb5":"Az esetlista, körről körre","res-forge-three-tries.8cc87a2190":"nincs hozzáfűznivaló","res-forge-three-tries.36d5623704":"majd bebizonyította","res-forge-three-tries.0f0b41cfe8":"Minden eseten átment","res-forge-three-tries.1e35a52de1":"3. kísérlet","res-forge-three-tries.3b26ea5e3d":"üres lista","res-forge-three-tries.b8575badd2":"üres listán","res-forge-three-tries.09fef5d8d9":"Sikertelen","res-forge-three-tries.969a17cecc":"2. kísérlet","res-forge-three-tries.15d3c90fb9":"a lehető legnagyobb szám","res-forge-three-tries.f88b9a4765":"a lehető legnagyobb számon","res-forge-three-tries.ff31d219ef":"1. kísérlet","res-forge-three-tries.f65e38d46b":"egy elemből álló lista","res-forge-three-tries.e8741ca2e3":"már rendezett lista","res-forge-three-tries.9450ac4e17":"rövid lista","res-forge-three-tries.4d944a9d7e":"3. kör","res-forge-three-tries.fa2b87ffe2":"2. kör","res-forge-three-tries.f7648d3834":"1. kör","res-forge-type-sockets.13fff86afe":"Két művelet, egy illesztés","res-forge-type-sockets.2251b5f821":"Korlátlan egészek","res-forge-type-sockets.338ce27565":"Három kompozíció egy típusos nyelvhez","res-forge-type-sockets.3d7da15c51":"Elutasította a típus","res-forge-type-sockets.50c026300b":"Elfogadva","res-forge-type-sockets.5e5da2cd3c":"Hálózati hozzáférés","res-forge-type-sockets.681bcaf5e4":"Ezen a táblán egy elutasítás nem kerül semmibe, mert még semmit sem értékeltek rajta.","res-forge-type-sockets.7303a0d112":"Elutasította a képesség","res-forge-type-sockets.73841deb9d":"Lezárva ehhez a futáshoz","res-forge-type-sockets.76123e0c4c":"A második művelethez olyan képesség kell, amelyet a csomag nem adott meg, így az a keresési téren kívül esik.","res-forge-type-sockets.93c6a1f183":"Socket","res-forge-type-sockets.a1369155ac":"Fájlhozzáférés","res-forge-type-sockets.b4ae90c7f4":"A két socket nem találkozik, így ebből a párból soha nem áll össze jelölt.","res-forge-type-sockets.b957ab83e5":"A kimeneti típus megfelel a bemeneti típusnak, így a jelölt összeáll és értékelhető.","res-forge-type-sockets.c7303935a3":"Nem ellenőrzött aliasing","res-forge-type-sockets.d3f0610632":"Eredmény","res-forge-type-sockets.dbe18d2e48":"A nyelv a csomaggal együtt van kiválasztva, és nem bővül a keresés futása közben.","res-forge-type-sockets.eb8606da6a":"Felkínált kompozíció","research-forge.00274e0e63":"visszautasítva, hibás szerződés","research-forge.002ff59811":"Kérdés","research-forge.005a8c4891":"Hozz domain szándékot, formális módszereket, hardveres mérést vagy független felülvizsgálatot. A Forge közös kutatási objektumot biztosít a programfelfedezés, a bizonyítás és a végrehajtás összehasonlításához.","research-forge.008fef2a92":"Keresés az engedélyezett műveleteken belül.","research-forge.01038388dc":"A nem válaszok láthatók maradnak","research-forge.0109e7127b":"LEHETETLEN","research-forge.0143790011":"tervezés és végrehajtás","research-forge.019d4e8e82":"Ami igaz marad","research-forge.01f66c63e3":"A párok közül kettő nem állítható össze, és a nyelv ezt mondja ki.","research-forge.01fc285874":"Felelősségek a Forge-gal és a Kera-val szemben","research-forge.02ff5bf386":"Szabályzat felülvizsgálata","research-forge.0303c4bacd":"öt mező rögzítve az első jelölt előtt","research-forge.030afc5361":"A Forge megőrizheti a követelmény verzióját, a számító jelölteket, az ellenpéldákat, a biztosítéki átmeneteket, az objektív határvonalat és a szabályzatot, amely kiválasztotta az egyik tagot. Két évvel később a rekord még mindig megválaszolja azt a kérdést, amelyet egy felülvizsgáló valójában feltesz, ami nem az, hogy mi épült, hanem hogy miért utasították el az alternatívákat. A nyom egy irányba fut, és minden lépés visszafelé is követhető: a követelmény, amely meghatározta a sikert, a hitelesített és elutasított jelöltek, amelyek számítottak, az ellenpéldák és biztosítéki átmenetek, az objektív értékek, amelyek a határvonalra helyezték az egyes jelölteket, és a felhatalmazás, amely kiválasztotta az egyiket. Egyik sem a döntés mellett él. Vele utazik.","research-forge.03102018f1":"A jelölt szerkezetileg érvényes.","research-forge.03128bed90":"Ellenőrzés","research-forge.0393c06f67":"JELÖLT","research-forge.0397a076c3":"Előfeltétel hozzáadása legitim lépés, és új specifikációs azonosságot hoz létre, nem pedig a régi szerkesztését. A korábbi kísérlet a rekordban marad a hozzá kapcsolt hibával. A kutatói közösség az általános javaslat, kihívás, finomítás mintát CEGIS-nek nevezi.","research-forge.03bec6ab74":"Három forma","research-forge.04126cee0d":"A négy középen találkozik, így az egyik felé haladás általában valami másba kerül.","research-forge.0428abce3e":"Korlátos ellenőrzés","research-forge.0432a371aa":"Biztosítéki szabályzat","research-forge.04731f0ef3":"Csak egy tengely, relatív modellezett késleltetés. A sáv hossza nem átfogó rangsor.","research-forge.04ae6467a0":"Nincs következtetés","research-forge.04bf9ee3c6":"nem maradt ki az elszámolásból","research-forge.04e9b5cd14":"sok levezetés él itt együtt","research-forge.04fa443e7b":"Leghosszabb kritikus út","research-forge.05005f366c":"Forge kutatás","research-forge.05625954d2":"bárhogyan is megy a keresés","research-forge.05d1c23f1f":"a hiba szűkíti a keresést","research-forge.05db5a7f8a":"A specifikációs verzió, amelynek minden jelöltnek meg kellett felelnie","research-forge.065d4a5b25":"Mindegyik ugyanolyan típusú, típusos jelöltet hoz létre, és ugyanabba az összehasonlításba kerül. A szervezet ezért programokat hasonlít össze, nem keresési módszereket, és a módszer, amely megtalálta a jelöltet, nem ad előnyt a döntésben.","research-forge.07a688568e":"Célobjektum","research-forge.0820b32b20":"Tesztelés","research-forge.08b22e1ba0":"Egy szerződés","research-forge.08cfb3e0f2":"Specifikáció felülvizsgálata","research-forge.09496b01f9":"Átadás","research-forge.09a3354e63":"Mellékfeltételek","research-forge.09d053226c":"Kövess egy keresést","research-forge.0a3eb3abd3":"Belső kalibráció","research-forge.0a5e7a0583":"Határ","research-forge.0a799711ad":"A normalizálás keresést takarít meg","research-forge.0ab39d71e2":"Ekvivalencia","research-forge.0ade2ace0d":"Minden ellenpélda","research-forge.0ae18773cb":"Kutatási asszisztens","research-forge.0b101a23a3":"Asszociatív átcsoportosítás","research-forge.0b81fbebb5":"Optimalizálás később","research-forge.0ba4e46484":"Egy gráf","research-forge.0bc357c912":"NEM LEFEDETT","research-forge.0c19b6603f":"Egy jövőbeli felülvizsgáló a rekordból tekinti át a döntést, nem pedig a commit üzenetekből rekonstruálja.","research-forge.0c6c9b91c5":"Ismered azt az érzést, amikor egy feladatnak lehet egyszerűbb megvalósítása? A Forge ezt a kérdést kutatási munkafolyamattá alakítja: adj egy korlátos specifikációt, keress jelölt programokat, és rögzítsd az ellenőrzéseket és méréseket. A 2025-ös jelentés egy kísérletet dokumentál, nem pedig éles használatra kész eredményt vagy publikált benchmarkot.","research-forge.0d358c9749":"Két teszt, két erősség","research-forge.0db809cc66":"Biztosíték","research-forge.0e26aaf414":"Modell felülvizsgálat","research-forge.0e3c434842":"Tesztelt, korlátos, bizonyított","research-forge.0ef3858209":"Korlátos ellenőrzések rögzítve","research-forge.0f1e49f0bf":"A példák korlátozzák a viselkedést a megadott bemeneteken. A logikai feltételek korlátozzák minden bemenetet, amelyet a formális elmélet ki tud fejezni. A vázlat megőriz egy architektúrát, amelyet a kutató nem hajlandó átadni a keresésnek, és típusos lyukakat hagy benne. A referencia-viselkedés végrehajtható orákulumot biztosít, és magával hozza az orákulum saját tartományát. A Forge rögzíti, hogy melyik forma támogatta az egyes következtetéseket, ahelyett, hogy minden bemenetet egyenlő erősségű specifikációként kezelne.","research-forge.109bff6e75":"A specifikáció, nem a kódbázis","research-forge.1178a4ffb4":"Keresés újra","research-forge.1181c3f399":"A csomag azt is megmondja, mikor kell megállni: az erőforrás-korlátot, a biztosítéki küszöböt, amelyet a jelöltnek el kell érnie ahhoz, hogy bekerüljön a határvonalra, és azt, hogy a futás mit jelent, ha semmi sem éri el. A keresés, amely program nélkül ér véget, még mindig eredménnyel zárul.","research-forge.11c14ce16a":"A szervezet ezután a szándékot birtokolja, nem pedig annak egy kifejezését, és meg tudja mondani, miért választottak egy adott megvalósítást. A követelmény lesz a tartós eszköz, a megvalósítás pedig olyan eredmény, amelyet újra ki tud számítani, ha a prioritások változnak.","research-forge.11dd823248":"For this input, produce this output.","research-forge.12c8d914cc":"What the result does not establish.","research-forge.13792d7c2a":"PROOF HAS A BOUNDARY","research-forge.140b63310c":"Candidate C","research-forge.1462811ad5":"a candidate that looks convincing","research-forge.151978bff3":"the record names the specification, the threshold and the policy every time","research-forge.15c2d33108":"Research integration under evaluation","research-forge.15f1b08e56":"a proof, a bound or a stated limit","research-forge.16181ed76f":"Permitted operations, types, effects and numerical semantics","research-forge.161fa759f7":"In a finite declared language, search can build candidates by increasing size and refuse invalid compositions before any of them run. Candidates that behave identically on the current evidence can be collapsed to save work, while the equivalence claim itself waits for verification. When the method covers every well formed candidate up to the stated bound, the first verified program establishes size minimality inside that language and that bound. Widening the operation set produces a different experiment with its own answer.","research-forge.169f619e4f":"The honest badge carries its boundary, and the boundary is the most useful part of it.","research-forge.16a3fa00e3":"The supported symbolic property was proved under stated assumptions.","research-forge.16ec74fc0a":"CLEAR","research-forge.171ca0385a":"Behaviour","research-forge.173315f506":"no lane on this board ends with generated fallback code","research-forge.17405ade0e":"Assurance with a scope","research-forge.17a86caa5b":"Obligation","research-forge.17b8b28e9e":"never treated as interchangeable","research-forge.17ecf461a5":"The problem is satisfiable","research-forge.1822a38ec8":"four reasons to keep searching","research-forge.189ee02d36":"Honest non-delivery","research-forge.18d60fce22":"Named assurance rung and its scope","research-forge.18dd2ccb59":"Five parts","research-forge.18e9128279":"Naming the outcome keeps the problem where it belongs. Contradictory requirements go back to whoever wrote them. An unclear case goes back for a decision. An unsettled search goes back with a larger budget or a different method.","research-forge.18f906f6da":"Kept forever","research-forge.192ad837e6":"A recorded policy, not a hidden score","research-forge.19626a1e65":"Anything that fails one case","research-forge.1a23a7cddc":"Forge finds","research-forge.1a66b5eeb6":"Partner access","research-forge.1bb360f468":"Bounded","research-forge.1bb90c04d2":"A failure that produces a concrete input is worth more to the search than a failure that produces a score.","research-forge.1bf39cee63":"Faster, smaller, leaner","research-forge.1bff62bf9b":"The method ran out of room. A different method or a longer run may settle it.","research-forge.1c013851a3":"What the record holds","research-forge.1c56ea452a":"Four specification cards describing the same small transformation, with the single case where two of them disagree","research-forge.1c56fd19d7":"One open case","research-forge.1c82340479":"the claim can be scrutinised","research-forge.1c875de71f":"That is a governance property as much as a technical one. The moment where two readings of a requirement diverge is exactly where a stakeholder decision belongs, and it is far cheaper before an implementation has been built around one of them.","research-forge.1c9bbc4b77":"Keep the alternatives until the policy is written down.","research-forge.1cb61a389f":"a changed field is a new experiment, not a corrected one","research-forge.1ccf5d25df":"Specification","research-forge.1cdd46cd0e":"Read research","research-forge.1d17812687":"Four inputs, four different guarantees","research-forge.1d2c6fe888":"all five, or none","research-forge.1d444e826a":"Kera runs","research-forge.1d9b3bd5d3":"Lowest latency","research-forge.1d9d3e69fa":"Rust, C, Verilog","research-forge.1e269ebac7":"One transformation","research-forge.1e748c3e4b":"change a node and you have a new candidate, with the proof binding following the node","research-forge.1ecdc691a8":"the greyed route produces something readable, and nothing to check it against","research-forge.1ed77c3f7f":"Protocol","research-forge.1fd9da00a7":"The policy and the authority that selected one candidate.","research-forge.2030fae2a7":"Three ways to say it","research-forge.2040757c11":"Cranelift, native perf measurement","research-forge.2041447f84":"search only","research-forge.206009c4a7":"Five policies","research-forge.20cb7eef2c":"Outside the model","research-forge.2154ca1eb7":"Each of those is a result with a different next step. Forge records the strongest state it can justify and names what would have to change to move past it.","research-forge.21a0ffd68c":"the open questions are on the page","research-forge.21efbc283d":"Speed, memory, reach and evidence","research-forge.220b9c622c":"Synthesise","research-forge.2354ab0ba0":"mielőtt programot javasolna","research-forge.235bfff3a2":"Egy kutatási program","research-forge.236656bf91":"Hatáskörök","research-forge.23d4ef785c":"5-ös méret","research-forge.243dcbef8c":"tervezés és kibocsátás alatt","research-forge.24a264b83c":"Két jelölt, négy célkitűzés","research-forge.24c0bda2ba":"Legközvetlenebb ellenőrzési út","research-forge.24cb5be0b0":"a döntés megőrzi az indokait","research-forge.24d50592b7":"Célkitűzések","research-forge.2550b1dcad":"Felelősség","research-forge.25754f1c93":"kutatási program, nem szoftverajánlat","research-forge.258195bb3d":"Egyetlen identitás","research-forge.25c843b80e":"Ez a nyelvet egyszerre két dologgá teszi. Egyrészt hatékonysági mechanizmus, mert a tér nagy részét soha nem kell kiértékelni. Másrészt a szándék határa, mert előre rögzíti, hogy a gép mihez nyúlhat.","research-forge.25fa97aa1a":"Nem mondja meg, hogy ez az út a leggyorsabb, a legkarcsúbb, a leghordozhatóbb, a legkönnyebben ellenőrizhető vagy az, amelyet a szervezet üzemeltetni tud. Ezek külön kérdések, külön bizonyítékokkal.","research-forge.261c22b85c":"Egy mérnöki szervezet általában jóval azelőtt elkötelezi magát egy megvalósítás mellett, hogy meg tudná mondani, hogy az a kialakítás a leggyorsabb vagy a legkönnyebben ellenőrizhető. A Forge olyan sorrendet vizsgál, ahol a specifikáció a tartós érték, a megvalósítás pedig egy keresési eredmény, amely között egy rögzített szabályzat választ.","research-forge.26369471c9":"Pontos egyenértékűség, korlátos numerikus reláció vagy hatásegyenértékűség, mindegyik verifikációval megállapítva.","research-forge.267f81bab8":"Amit a program elérhet","research-forge.277b67c1e8":"és amire szüksége lenne","research-forge.27f11f9fe1":"egy lezárt csomópont akkor is közzéteszi a bemeneteit, a kimeneteit és az identitását","research-forge.27fab35201":"Egy megnevezett nem-válasz hasznosabb, mint egy plauzibilis program.","research-forge.280c5e7fc6":"Két olvasat","research-forge.281dd83602":"Kiterjesztés","research-forge.282bd862f4":"B jelölt","research-forge.2877a09f30":"több válasz is ésszerű lehet","research-forge.287b80caae":"a helyesség nem választ","research-forge.294b4c06ac":"A jelölt tér","research-forge.296e71a0fb":"Jelöltek méret szerint egy korlátos nyelvben, mutatva az elfogadott, elutasított és összeomlott állapotokat, az első ellenőrzött jelöltet, valamint az állítás által hordozott deklarált korlátot","research-forge.297f419e18":"Amit nem tehet: nem gyengítheti a viselkedést, nem adhat hozzá olyan hatást, amelyet a csomag nem deklarált, és nem alakíthat át egy megoldatlan bizonyítási állapotot sikeressé. Az optimalizáció szabadság egy határon belül.","research-forge.29c69b4a35":"vagy könnyebben ellenőrizhető","research-forge.29fea3a06d":"Amit megállapít","research-forge.2a03a4b73a":"El nem döntött","research-forge.2a729227ad":"Egy kifejezés kibővítve egyenértékű formák hálózatává, az éleken feltételekkel, és három kinyerési célpont, amelyeket a tér létrehozása után választanak ki","research-forge.2a965a37b7":"Ez szakpolitikai döntés, és ki kell mondani, nem pedig kikövetkeztetni.","research-forge.2a965accf1":"A legkisebb program, amelyet a nyelv megenged","research-forge.2ad40f7952":"Kompromisszumok mint irányítási objektum","research-forge.2b27b7aec8":"Bizonyítékvezérelt","research-forge.2b3a5e307c":"Szemantikai","research-forge.2b7d95b8c6":"Melyik kompromisszumot akarja","research-forge.2b9c801e9e":"a kiválasztás explicit szakpolitika marad","research-forge.2bdb5e4d73":"A Forge egy kiválasztott szemantikai gráffal és annak bizonyítékával zárul. A Dweve Kera megkapja ezt a gráfot, megtervezi a támogatott végrehajtást, és kibocsátja a célterméket, a műveleti jelentéssel, hatásokkal, tulajdonjoggal, numerikus szerződéssel és bizonyítási kötelezettségekkel a kézbesítés során. Ugyanez a fegyelem köti a Forge-ot a Dweve stack többi részéhez: az Aionhoz, ahol a program ellenőrzött állapotot tart, a Reedhez és a Selvedge-hez a környező rendszermunkához, valamint az FMI-hez és a Twin-hez, ahol a fizikai rendszer modellje a specifikáció része.","research-forge.2c8c94c95f":"nem csak az, ami megépült","research-forge.2c9ebecf8b":"Keresési összehangolás","research-forge.2cb597863b":"Egy gyors program, amely hibás, továbbra is hibás.","research-forge.2cd3174fc9":"az eredmény dönti el a következő kérdést","research-forge.2cff331976":"Felfedezés és bizonyítás fent","research-forge.2d24e0a549":"És néha","research-forge.2d3231ce48":"Kétértelműség","research-forge.2da600bf94":"Verzió","research-forge.2daa013c1b":"Tipizált szemantikus gráf, nem forrásszöveg","research-forge.2dd3547872":"teljes a korlátban","research-forge.2dfcf898a3":"Összehasonlítás","research-forge.2e140f6f42":"Szakpolitikai kiválasztás","research-forge.2ea3bb9377":"Csatlakozzon kutatási partnereinkhez","research-forge.2f24ebaee0":"Metszés","research-forge.2f65736593":"(a * 2) + a","research-forge.2f81a22de0":"Hozzáférés","research-forge.2f89346f05":"Lebegőpontos átcsoportosítás","research-forge.2f906454d9":"Minden forma más kérdésre válaszol, és a kutatási jegyzőkönyv rögzíti, hogy melyik hordozta az állítást.","research-forge.30833f759b":"Tervezés és leszállítás","research-forge.3107902192":"Öt jelölt","research-forge.310e8151df":"a leírástól a bizonyítékig","research-forge.31139f400a":"minimális <= 5","research-forge.3146c89579":"melyik felelősség melyik oldalon van","research-forge.3179a54130":"Példák, szabályok és egy részleges program, nem a lépések","research-forge.31c2157a1c":"Egyetlen szemantikus gráf, amely gráfként, kifejezésként és adatfolyamként is megjelenik, azonossága mindháromban változatlan, és egy csomópont módosításának hatása is látható","research-forge.320ce22925":"Erős, állításokhoz","research-forge.3218fcc602":"Bizonyítás-kompozíció","research-forge.32438a2b70":"Az automatikus felfedezés munkába állítása","research-forge.32d888fecc":"Végrehajtáshoz kötött","research-forge.32ec2eb506":"Típusvezérelt","research-forge.32fd056d3d":"Vázlat","research-forge.32fe9f5bda":"Mag","research-forge.331a390a95":"Jegyezd fel, hogy a garancia a megfogalmazott formában nem igazolható.","research-forge.332fafafd4":"Több program is optimális","research-forge.337cd4ef85":"és utána védeni","research-forge.3407af8c74":"A formák erősítik egymást. A példák olvashatóvá teszik a logikai szerződést. A megszorítások megakadályozzák, hogy egy jelölt túlilleszkedjen a bemutatott esetekre. A vázlat rögzíti a biztonsági struktúrát, miközben az aritmetika vagy adatfolyam egy régión belül nyitva marad a felfedezésre.","research-forge.3554ae9f37":"Egy gráf bizonyítása nem automatikusan bizonyítéka tetszőleges fordítói kimenetnek, ezért a végrehajtás-kötés rögzíti a gráfot, a tervet, az artefaktumot és az eredményt együtt. A Forge így tanulmányozhatja a felfedezést anélkül, hogy azt állítaná, hogy ő az emitter tulajdonosa.","research-forge.356258d8cf":"A helyesség belépőt ad a kompromisszumos megbeszélésbe.","research-forge.357a580465":"bővítés feltételekkel","research-forge.3631815377":"amely megtartja","research-forge.3647998e09":"relatív modellezett késleltetés egy frontieren","research-forge.3662b6cd93":"Az optimalizáció szabadság egy határon belül, amelyet először írtak le.","research-forge.3678b75177":"Bizonyítási horgony","research-forge.3697e2badd":"Ugyanaz a frontier, négy védhető válasz","research-forge.3750b1e26e":"Egy követelmény","research-forge.378b19c94c":"és univerzális tulajdonságok","research-forge.37a1d3ddee":"Keresési lépték","research-forge.37b658da82":"mi van megállapítva és mi marad nyitott","research-forge.37d9b94afa":"Egy ellenőrző végig tudja követni a láncot elejétől a végéig anélkül, hogy egyetlen lezárt csomópontot is megnyitna.","research-forge.37e5ec20ed":"A csend számít","research-forge.37e8f995e7":"Egy megnevezett nem-válasz konkrét pontot ad az intézménynek, amelyre reagálhat. Megmondja, melyik záradék ütközik, melyik viselkedés volt meghatározatlan, melyik elmélet nem volt elérhető, vagy melyik költségvetés fogyott el, és ezért minek kellene változnia.","research-forge.3856f4eb7c":"A módszer nem jutott következtetésre az elméleti és erőforrás-korlátai között.","research-forge.387b54720d":"Az a fok, amelyet egy eredménynek el kell érnie, hogy számítson","research-forge.38b07c05cf":"Egy biztosítéki létra két jelölttel, akik különböző fokokon állnak, és egy fiók, amely megmutatja, mit ellenőrzött, mit feltételezett és mit nem állapít meg mindegyik fok","research-forge.391bc6cb44":"A bizonyítás megtartja a határát","research-forge.396c19de10":"Négy mód, ahogy egy követelmény ellenáll egy programnak","research-forge.39727bd48f":"vissza a szintézishez","research-forge.3977816414":"a bizonyíték dönt","research-forge.39d6a0ddc5":"Mely döntéseket hozhatja meg a keresés az Ön nevében?","research-forge.39fdec1194":"Tesztek","research-forge.3a06f841f3":"Tesztelve van a kapott példákon túl is.","research-forge.3a4be7155b":"Alternatívák","research-forge.3ab11b75ca":"Forge","research-forge.3b08754530":"A Forge a viselkedés leírásából indul, nem pedig kódkérésből. Adhatsz neki kidolgozott példákat, általánosan érvényes szabályokat, vagy egy részben megírt programot, amelynek a trükkös részeit nyitva hagytad. Bármelyik ad valamit, amihez a gép mérhető, és amihez láthatóan elbukhat.","research-forge.3b0896e4b0":"Támogatott Kera-szerződések esetén a tiszta végrehajtás mag nélkül bitazonosan ismétlődik, beleértve a lefedett lebegőpontos család útvonalait is. Ahol egy program szándékosan véletlen állapotot fogyaszt, az az állapot deklarált bemenet, és újrahasználata reprodukálja a teljes futást.","research-forge.3b8be5e1a9":"szélesség bizonyítva","research-forge.3bb1fa9d93":"egy pont a térben","research-forge.3bb59d3903":"Megállapított","research-forge.3bcf82f6df":"A késleltetés egy dimenzió","research-forge.3bdab018c4":"A „Ellenőrzött” mindig rendelkezik egy második résszel: e szabályok alatt, ezekre a bemenetekre.","research-forge.3bf08a84f1":"MOVE","research-forge.3bf4aa62c6":"Egy gráf, két terv, egy azonosság","research-forge.3c37add762":"Jól formált","research-forge.3d3349e560":"amit az intézmény a keresés előtt eldönt","research-forge.3d85b7b35e":"Négy kis eset, mindegyik más okból végződik program nélkül, megmutatva, mit kértek, mi történt és mi változtatná meg","research-forge.3d8dc8dd37":"Egyszerűbb ellenőrzési utat hordoz","research-forge.3d9d45c6fc":"és a rossz modellt bizonyítani","research-forge.3dbbac272c":"Ellenpéldák és bizonyítási állapot","research-forge.3e0fb17cab":"Tisztázás","research-forge.3e39972526":"Késleltetés","research-forge.3e9492ab1e":"A gráf, a terv, az artefaktum és az eredmény kötve marad.","research-forge.3f1ea4240e":"A feltételezések a végeredmény részét képezik, nem pedig apró betűs lábjegyzetet. Egy bizonyítás, amely pontos egész számokról szól, semmit nem mond a tizedes törtekről. Egy bizonyítás, amely egy önálló számításról szól, semmit nem mond egy olyan szolgáltatásról, amelyről soha nem tudta, hogy létezik.","research-forge.3f2151a870":"Egyes és hatos méretek","research-forge.3fd8fb2e1a":"Azok a műveletek, típusok, alakzatok, hatások és képességek, amelyeket egy jelölt használhat.","research-forge.3fe459f958":"Semmi sem illik","research-forge.40100e1934":"Nem dominált jelöltek","research-forge.4025ca409c":"Vállald a teljesítményed","research-forge.408f0af557":"Származtatási gráf a specifikációtól a kiválasztott bizonyításig, a belső módszerlépések lezárva, de összekapcsolva, és a rövidebb út, amelyet egy visszajátszásnak ténylegesen reprodukálnia kell","research-forge.40d33b38ad":"Egyik sem utólag hozzáadott kikötés. Ez a végeredmény tartalma, ezért a rekord ugyanoda helyezi a fokozatot és annak hatókörét, és ezért nem tudja egyetlen vezérlés sem előléptetni.","research-forge.40f800b699":"A határ az objektív halmazhoz tartozik, amely létrehozta. Az energia hozzáadása a csomaghoz visszahozhat egy korábban dominált jelöltet, ami a kérdés tulajdonsága, nem pedig bármely program változása.","research-forge.4141bac3ca":"és hagyd, hogy a program változzon","research-forge.418cdd48b7":"Megfigyelt esetek","research-forge.41978064b8":"Beszéljétek meg az együttműködést","research-forge.41a3ff09e5":"Állapítsd meg a viselkedést","research-forge.4288fa85e0":"Mi eldöntött és mi nyitott","research-forge.42c7f4ea4d":"A keret nem mozdul","research-forge.42e742546a":"és a tesztelés nem bizonyítás","research-forge.43093ca0db":"Bizonyítási hatókör, szerkezeti egyszerűség, bizonyíték költsége","research-forge.435e8ecece":"egy program ritkán nyeri meg mind a négyet","research-forge.436fb3032c":"Következtetés","research-forge.437b348524":"Az a sorrend, ahogyan bekövetkeznek","research-forge.437bcb1511":"Energia","research-forge.439f7b365e":"Kutatási dokumentumok","research-forge.43d54e530d":"A kódolt követelmény megfelel-e annak, amit a szervezet valójában akar?","research-forge.43d8879a8c":"a végrehajtási kapcsolat az, ami a bizonyítást ahhoz köti, ami valójában lefutott","research-forge.4412dd5d66":"A lehetetlen és az eldöntetlen jelentésre kerül, nem pedig kóddá alakításra.","research-forge.4475dded01":"Egy implementáció","research-forge.44ab85a252":"Eredet","research-forge.450d52d3ef":"Keresések","research-forge.4585404748":"egy jelölt, amely a tesztelésnél megáll, teszteltként kerül jelentésre","research-forge.45aaefd6f4":"Négy felülvizsgálat","research-forge.4646f9193d":"A jól formált nem tesztelt","research-forge.4651a34e4d":"Hatókör","research-forge.466fc49274":"Megtartás","research-forge.46ed5f573e":"Lásd a kutatást","research-forge.4719d38f14":"Több viselkedés is kielégíti a rendelkezésre álló bizonyítékot, és máshol eltérnek.","research-forge.472643c4ca":"Egy jelölt csak akkor dominál egy másikat, ha minden aktív objektívban nem rosszabb, és legalább egyben jobb. A dominált jelöltek elhagyják az aktív határt. A megmaradók mind védhető válaszok ugyanarra a specifikációra, és a köztük való választás olyan politikai döntés, amelyet a rekord megőriz, nem pedig olyan számítás, amelyet a keresés csendben elvégez.","research-forge.472bff45c9":"Egy forma egy nagyobb, egyenlő viselkedésű térben.","research-forge.473161067f":"Kiválasztási politika","research-forge.47942077ae":"Legegyszerűbb bizonyítás","research-forge.47b74866d6":"Helyesség ellenőrzése","research-forge.47bcc2a36a":"Néha két dolog, amit kértek, nem lehet egyszerre igaz. Néha a példák két különböző viselkedést engednek meg, és nincs mód megmondani, melyikre gondoltak. Néha a probléma egyszerűen nehezebb, mint amennyit a módszer a rendelkezésre álló idő alatt meg tud oldani. A Forge mindegyiket annak jelenti, ami, és megmondja, minek kellene változnia. Egy tisztázatlan eset általában inkább egy további példát igényel, mint nagyobb költségvetést.","research-forge.47cda15a5a":"Kera: hogyan","research-forge.47da6f0838":"Összeállítás","research-forge.48298eb992":"A keresés helyettesítheti a műveleteket, átszerkesztheti az adatfolyamot, összeolvaszthat régiókat, eltávolíthat mozgást, és olyan implementációhoz juthat, amelyre egyetlen kutató sem gondolt. Mindez megengedett, és nagyrészt ez a lényeg.","research-forge.483bf2075c":"Közzétett","research-forge.4901e146cd":"Költség összehasonlítása","research-forge.490d255908":"a követelmény marad a stabil objektum","research-forge.49df3ec7de":"Több támogatott gépen fut","research-forge.4a828b8ab7":"Kutatás, Forge","research-forge.4ab1a4f190":"Az elsőként érkezett jelöltnek nincs külön jogosultsága a döntésben a saját bizonyítékán kívül.","research-forge.4aebc33326":"Négy felülvizsgálat egy állítás előtt","research-forge.4b01608cdc":"A keresés soha nem szerkeszti meg a csomagot, hogy megmentse a jelöltet.","research-forge.4b1960c2fb":"Egy rendszer, amely nyomás alatt van, hogy kódot állítson elő, kódot fog előállítani. Ez egy megválaszolatlan kérdést egy olyan programmá alakít, amelyet valakinek mostantól karban kell tartania, és a bizonytalanság nem tűnik el, hanem nehezebben látható helyre költözik.","research-forge.4bca6a7cdb":"Ahol egy program kezdődik","research-forge.4c175158a6":"Kapcsolt eredmény","research-forge.4c1e9313aa":"Egy medence","research-forge.4c39a99d3d":"Öt fokozat","research-forge.4c6bdedadc":"a forrás vetület marad","research-forge.4cb3bb0fc4":"Leggyorsabb","research-forge.4d0ff72eb2":"Milyen szintű tesztelést vagy bizonyítást kell elérnie az eredménynek?","research-forge.4d6864f9a3":"Négy élvonalbeli választás","research-forge.4d7f210eef":"Három jelölt egy olyan esetlistával szemben, amely minden körben egy újabb hibás bemenettel bővül, és soha nem távolítanak el belőle semmit","research-forge.4db6c46b80":"minden rendszer ugyanazt az objektumot olvassa, nem pedig annak egy másolatát","research-forge.4e4bed5372":"Soha","research-forge.4e76f5796f":"Legkarcsúbb","research-forge.4e90808185":"Négyféleképpen végződhet egy futás","research-forge.4e9a44aeb4":"Mondd meg, minek kell történnie","research-forge.4ec9cc4f2f":"Ellenőrzött programfelderítés","research-forge.4f9c4e1fdb":"Egy első helyes jelölt bizonyítja, hogy a probléma kielégíthető. Lehet nagy, lassú, memóriaigényes, nehezen ellenőrizhető, vagy egyetlen végrehajtási környezethez kötött. A Forge ezt bizonyítékként kezeli, nem válaszként, és tovább keres azokat a családokat, amelyekhez egy másik keresési viselkedés jutott volna el elsőként.","research-forge.4faae9b4e9":"különböző állítások","research-forge.4fe6240efb":"A végrehajtási cél egyezik-e a bizonyított szemantikával?","research-forge.500d19ed3e":"A következő jelöltnek ki kell elégítenie az erősebb halmazt.","research-forge.505ddba0dc":"a gép elmondja, amit tud","research-forge.506f370762":"a feltételjelvény egy élen eldönti, hogy a kinyerés használhatja-e","research-forge.50e944749f":"WIDE","research-forge.50f771745f":"Hogy jó megvalósítás-e","research-forge.512f83ac42":"Három jelölt egy növekvő kötelezettséghalmazzal szemben, azzal az ellenpéldával, amely mindegyiket lezárta, és a hiba két legitim kezelésével","research-forge.516f075235":"Négy helyes program, négy módja annak, hogy melyiket részesítsük előnyben","research-forge.5183317474":"Szabadság","research-forge.52550c8d07":"A rekord megválaszolja, miért","research-forge.528d188e2a":"A bizonyítás megkövetelt szintje","research-forge.52e68a873a":"Korlátok","research-forge.531e01782f":"Oldd fel az ellentmondó követelményeket, amelyeket a bizonyítás feltárt.","research-forge.536a08d31b":"FAST","research-forge.541a19b522":"A határ teszi pontossá az állítást. Egy gráf bizonyítása annak a gráfnak a bizonyítása, ezért a végrehajtási kapcsolat rögzíti a gráfot, a Kera tervet, az artefaktumot és az eredményazonosságot együtt, nem feltételezve, hogy a bizonyítás az outputtal utazott.","research-forge.546130711a":"Dweve kutatási program","research-forge.54a351154f":"A minimalitás behatárolt állítás. Azokra a műveletekre, típusokra és struktúrákra vonatkozik, amelyeket a csomag megengedett, egészen addig a méretig, ameddig a futás eljutott. Nem mond semmit olyan nyelvről, amelyet a kísérlet nem deklarált, és a műveletkészlet bővítése új kísérletet eredményez, a saját válaszával.","research-forge.550d4ccba7":"Numerikus család, rendezés, állapotmodell és a futás által feltételezett külső feltételek.","research-forge.551fea67e6":"A leírás az elsődleges, a megvalósítás pedig ameddig csak lehet, nyitott kérdés marad.","research-forge.5521ea4314":"egy cél hozzáadása dominált jelöltet adhat vissza, ami a kérdésről szóló tény","research-forge.5549dc87d0":"Nem minden specifikáció","research-forge.5601f89af7":"egy jelölt, amely egyszerűen jónak tűnik","research-forge.563591cebc":"Milyen gyorsan fejeződik be a program","research-forge.56abd17a41":"Amikor semmi sem jön vissza","research-forge.577d56824d":"HÁROM LÉPÉS","research-forge.58357eb5f1":"az erősebb állításokhoz erősebb bizonyíték kell","research-forge.584e0ea86c":"a vektor leírja a kompromisszumot","research-forge.58c379fdea":"Méret szerint minimális","research-forge.59df8e27c4":"Tartsd meg a követelményt","research-forge.5a0ba3bb83":"Szerződés","research-forge.5a2827f530":"Négy gyűrű","research-forge.5a314063cc":"hogyan élesíti a kérdést egy gyenge jelölt","research-forge.5ab1aaea94":"NEM EGYÉRTELMŰ","research-forge.5b1142d090":"Költségvetés-elosztás","research-forge.5b141d8cb7":"Ellenőrizve ezen szabályok szerint","research-forge.5b2a7fb11c":"Felfed","research-forge.5b3facb840":"Négy egyenlő súlyú család, és a csomag dönti el, melyek aktívak.","research-forge.5b5d8a5af8":"Rögzítsd a konkrét esetet és a tulajdonságot, amelyet megtört.","research-forge.5b6a58fb9f":"Olcsó, kereséshez","research-forge.5b78187e47":"nem minden világban helyes","research-forge.5b8955c7bc":"A program megtalálása","research-forge.5b92885b2d":"Egy mérnöki csapat választhatja a legalacsonyabb késleltetésű tagot. Egy szabályozott program választhatja a legtisztább biztosítékutat. Egy vegyes hardveren futó telepítés választhatja a legszélesebb célilleszkedést. Mindhárom ugyanabból az ellenőrzött halmazból választ.","research-forge.5c1be9b227":"Az állítás visszajátszható","research-forge.5c262f33db":"Vége:","research-forge.5c46a60955":"Hogyan van felosztva a munka","research-forge.5c9d4874c3":"Milyen bemenetekre és milyen környezetre terjed ki az állítás.","research-forge.5ce01f3b67":"A program azt publikálja, amit a bizonyítékai alátámasztanak, és a kutatási módszerét kutatásként kezeli.","research-forge.5dfcf1dcc0":"Egy identitás, három megjelenítés","research-forge.5dfe750940":"Megvizsgálható","research-forge.5e0d7f4f07":"A Forge egy Dweve kutatási projekt. Belső keresési portfóliója, formális érvelési megvalósítása, transzformációs tudása, célkalibrációja és összehangolása ennek a kutatásnak a része. Amit a program publikál, az a kérdés, a protokoll, az eredmény és annak biztosítéki állapota, azon a közzétételi szinten, amelyet a bizonyítékok alátámasztanak. Az együttműködés egy korlátozott szintéziskérdéssel kezdődik. Öt állítást követnek nyomon az állapotukkal, három lezárt, kettő még nyitott, és a nyitottak az oldalon vannak, nem pedig kimaradnak az elszámolásból.","research-forge.5e22dbb195":"Három párosítás","research-forge.5e3db9c4c0":"Ellenpélda vezérelte finomítás","research-forge.5eb51a7a2a":"Kövesse a bizonyítékokat, ne csak a programot, amely kikerült.","research-forge.5eede4abda":"Legszélesebb célilleszkedés","research-forge.5f174de1cc":"Bizonyíték","research-forge.5f20d0f3ac":"Kielégíthetetlen","research-forge.5f94916c54":"Lásd az intézményi esetet","research-forge.5faa59d4bc":"Eredmény","research-forge.5ff1729499":"mielőtt megmondaná, hogyan","research-forge.603a007e8b":"és a lehetőségek bezárulnak","research-forge.60508aeb3d":"Hová vigyük a kérdést","research-forge.60539e2c57":"Hol van a kockázat","research-forge.6066a49124":"Ez a bemenet csatlakozik a halmazhoz, amelyet minden jelöltnek teljesítenie kell.","research-forge.60e5c23b14":"Típusos","research-forge.616d1d1b2a":"Öt preferencia","research-forge.61792020d0":"Objektív határ","research-forge.61988aaea3":"A kísérleti csomag","research-forge.61a0ae3b84":"Korlátok","research-forge.61ad50a9b9":"Cél","research-forge.61c2d00a1e":"Specifikációs formák","research-forge.61d0fdeb05":"A deklarált interfész, annak típusai és alakjai.","research-forge.61e2187199":"Az első érvényes program után","research-forge.625ba6f153":"FIT","research-forge.62c4bc1315":"Két sáv ugyanabból a követelményből","research-forge.6320f96544":"hagyja, hogy a gép megtalálja, hogyan","research-forge.636f4e740e":"ritkán a teljes válasz","research-forge.63ed4981dc":"Pareto","research-forge.63f0dfcfef":"Egy követelmény záradékokra bontva, négy sávval, amelyek megmutatják, mely záradékok eredményeztek kielégíthetetlen, kétértelmű, ismeretlen vagy hatókörön kívüli eredményt, és az egyes záradékok által kért műveletet","research-forge.64269f9bd2":"TIME","research-forge.647c656679":"Két jelölt egyezhet szövegként, egyezhet, ha a gráfjaikat normalizálják, vagy ugyanazt a megfigyelhető viselkedést elégíthetik ki a deklarált szerződés alapján. Ez három különböző állítás, és csak az utolsó mond valamit arról, hogy mit csinál a program.","research-forge.649ed30fda":"A hatókör az állítással utazik. Az egzakt egész szám szemantika feletti bizonyítás nem tanúsítja a lebegőpontos viselkedést. A tiszta függvény bizonyítás nem fedi le a külső szolgáltatást, amelyet soha nem deklaráltak. A bizonyítás után módosított ellenőrzött gráf egy új jelölt, amelyhez még nincs bizonyítás.","research-forge.64bcb871de":"Egy ellenpélda többet fedhet fel, mint egy implementációs hiba. Felfedhet egy elhagyott előfeltételt, egy olyan él esetet, amelyet senki sem döntött el, vagy a követelmény két olyan olvasatát, amelyek mindketten konzisztensek voltak a példákkal. A feljegyzés megnevezi, hogy a kutató melyiket változtatta meg.","research-forge.64c0978f0e":"Nyitott, és a program létezésének oka: milyen nagy lehet egy ellenőrzött gráfrégió hasznosan, mely specifikációs formák pontosak egy gép számára és használhatók egy személy számára, hogyan komponálódnak a részleges bizonyítások optimalizáláson és tervezésen keresztül, és mely célok igényelnek mért hardver-visszajelzést.","research-forge.64d22c2e4e":"A Forge rögzíti a kutatási problémát, mielőtt bármilyen jelölt létezne. Egy csomag megnevezi a specifikációt, a megengedett műveleteket és típusokat, a hatásokat és numerikus szemantikát, a cél dimenziókat, a keresési korlátokat és a biztosítási politikát, amelyet egy eredménynek el kell érnie. Egy jelölt csak egy már megfogalmazott problémával szemben ítélhető meg, ami a csomagot a helyesség részévé teszi, nem pedig a körülötte lévő konfigurációvá. A csomag azt is megmondja, mikor kell abbahagyni: az erőforrás-korlátot, a biztosítási küszöböt, amelyet egy jelöltnek el kell érnie, és azt, hogy a futás mit jelent, ha semmi sem éri el.","research-forge.64f4056c85":"Politika látható","research-forge.657c02a2ae":"A követelmény rögzítve marad","research-forge.664243d1c2":"Specifikációs formák azzal szemben, hogy mit rendeznek el","research-forge.66b4132999":"Beszéljen meg egy szintézis kérdést","research-forge.66c7af05f3":"A Forge ellenőrizhetővé teszi a feltételezéseket, és az emberek továbbra is birtokolják azokat.","research-forge.66c95e7fc7":"Lezárt","research-forge.66cd84bcef":"a formák jönnek és mennek, és a keret a közepén ugyanaz marad","research-forge.6703a68b0c":"a politika megnevezi a tagot","research-forge.6767e55d00":"Első érvényes","research-forge.681b5b5ae1":"Rendelkezésre állás","research-forge.6848ce552e":"Kimenetek","research-forge.68ad9d9693":"Ami rögzítve marad","research-forge.693f74e1e9":"A Forge és Kera határ","research-forge.6978e0d16d":"Egyáltalán nincs program lehet a becsületes eredmény","research-forge.6989b87ddb":"Ezért a hurok csak szigorúbb lesz. Minden kör azzal kezdődik, amit az előző körök megállapítottak, plusz az új eset, így egy jelölt soha nem nyerhet azzal, hogy elfelejt egy korábbi kudarcot.","research-forge.699425d26b":"Olvassa el a módszert","research-forge.69da6fa492":"A példák magyaráznak","research-forge.6a33efdc4e":"A kísérleti csomag mezőnként összeállítva, az azt azonosító identitással és bármely mező megváltoztatásának következményével","research-forge.6a455d1ff6":"Minden támogatott bemenetre tartsa ezt igaznak.","research-forge.6a54f54941":"A keresés válaszol","research-forge.6aa0b7e952":"a különböző intézmények különbözőképpen választanak","research-forge.6ab0b8903c":"Numerikus jelentés","research-forge.6b1716c3e5":"soha megbocsátóbb","research-forge.6b2284f302":"Térdpont","research-forge.6b6ae4c323":"a kötelezettséghalmaz csak nő","research-forge.6b6f62925d":"Néha az ellenpélda mond valamit a kérésről, nem a programról. Két szabály ellentmondhat egymásnak, vagy egy él esetről kiderülhet, hogy senki sem döntötte el. Ezt érdemes korán tudni.","research-forge.6b7b6dcbaa":"Egy gráf, négy szerep","research-forge.6bc457b374":"Keressen egy jelöltet, amely minden ismert esetet kielégít.","research-forge.6bcf5a7776":"Egy határ, nem egyetlen pontszám","research-forge.6c4b5393b9":"és a korlátok döntenek","research-forge.6c61bbcebe":"Bizonyított","research-forge.6c82e6dd86":"Idő","research-forge.6c8dd48ed8":"Mérési terv","research-forge.6c9b8325ab":"egyetlen fok sem következtetett","research-forge.6c9c88fe2f":"A viselkedésváltozások leírása megváltoztatja ezt a kapcsolatot. Célt ad a keresésnek, amelyet el kell találnia, módot arra, hogy elkapják, ha elhibázza, és utána feljegyzést arról, hogy pontosan mely esetekkel szemben ellenőrizték az eredményt.","research-forge.6cc1fdfb05":"A tesztelt, a korlátos és a bizonyított különböző állítások ugyanarról a programról.","research-forge.6cd40b6ae3":"A követelmények kívánt viselkedésként, korlátokként és kockázatokként kezdődnek. A fejlesztés ezekből egy architektúrát és egy implementációt hoz létre, és attól a pillanattól kezdve minden alternatíva átírás, migráció vagy optimalizációs projekt. A választás valószínűleg ésszerű volt, amikor megszületett, és olyan időpontban született, amikor még senki sem hasonlíthatta össze azokkal a lehetőségekkel, amelyeket kizárt.","research-forge.6d058a6f22":"nem általános ígéret","research-forge.6d3a0e2f30":"A típusok először metszenek","research-forge.6d525b7156":"Végrehajtás","research-forge.6d5ef04ce2":"bizonyítás, korlát vagy deklarált határ","research-forge.6d84ceaf60":"Kinyerés","research-forge.6db87cb08f":"Leggyorsabb modellezett","research-forge.6dfe9d2cfa":"Forge, az egyszerű nézet","research-forge.6e3f1d3672":"Négy mód a szándék kifejezésére","research-forge.6ef75c79a0":"Egy visszajátszásnak nem kell minden felfedező ágat reprodukálnia. Azt a bizonyítékot kell reprodukálnia, amelyen az állítás alapul: a specifikációt, a kiválasztott jelöltet, az ellenőrzési eredményt és a végrehajtási kötést. Minden más keresési előzmény, nem pedig bizonyíték.","research-forge.70bcce6545":"Több útvonal","research-forge.70cbd1d6b1":"Javasolt","research-forge.7173d0cb0f":"az ismeretlen, a kielégíthetetlen és a kétértelmű eredmények","research-forge.718eb2ad28":"Erősségcsökkentés eltolásra","research-forge.71e541f178":"Egy teszt a programot olyan bemeneteken futtatja, amelyeket valaki választott. Egy bizonyítás minden bemenetről érvel, amelyet az írott specifikáció lefed. Mindkettő hasznos, és különböző kérdésekre válaszolnak. Amikor a Forge azt mondja, hogy egy jelölt ellenőrzött, a mondatnak van egy második fele: ellenőrizve ehhez a tulajdonsághoz, ezekre a bemenetekre, ezekkel a feltételezésekkel. Öt résznek kell együtt utaznia ahhoz, hogy ez a mondat jelentéssel bírjon: a pontos program, amelyet ellenőriztek, a tulajdonság, amelyet állítanak róla, a feltételezések, a bizonyíték és azok a korlátok, amelyeket az eredmény nem állapít meg.","research-forge.722e234a05":"Jelöltek keresése","research-forge.72637278c6":"amit a Forge átad","research-forge.729c82e196":"Egyetlen objektum halad át a teljes életcikluson, így semmit sem kell minden szakaszban újra származtatni a szövegből.","research-forge.72aeb780b2":"Hová megy tovább a keresés","research-forge.72e6f70d7c":"az eredmény visszamutat a gráfra","research-forge.7305b76252":"az erősebb bizonyíték erősebb címkét érdemel","research-forge.73128a8f5b":"a követelmény az első","research-forge.734e643f73":"Négy tengely","research-forge.734ee26abf":"Sok család","research-forge.736500a024":"felfedezés és bizonyítás","research-forge.73710d0053":"Négy dolog nem változik az eredménnyel, és ezek az okai annak, hogy az eredményt el tudja olvasni az is, aki nem futtatta a keresést.","research-forge.73e5abe068":"és a módszer privát marad","research-forge.740141dd76":"Korlátos ellenőrzések és tulajdonságtesztek","research-forge.746a18b508":"Formázás, operandus-sorrend és a normalizált gráf. Elég ahhoz, hogy megakadályozza a keresést abban, hogy kétszer végezze el ugyanazt a munkát.","research-forge.757b8815d3":"Egy keret","research-forge.75be5b7552":"Mit publikál a rekord","research-forge.75c9be68d0":"Elutasítások","research-forge.75e6b42fc5":"Hatókörön kívül","research-forge.762b81621f":"Az a fok, amelyet egy jelöltnek el kell érnie ahhoz, hogy bekerüljön a határvonalra.","research-forge.7701124587":"Annak bizonyítása, hogy egy deklarált nyelven belül nem létezik kisebb helyes program, az a kérdés, amelyet a szuperoptimalizálási kutatási hagyomány vizsgál. Ez a korlátos keresés ennek a kérdésnek az az esete, amelyet a Forge el tud végezni és ellenőrizni.","research-forge.7777053d27":"Szándékosan tévedni","research-forge.77809a4225":"x86-64, RISC-V, WASM, Vulkan GPU","research-forge.779df62acf":"Négy állandó kötelezettségvállalás","research-forge.77e466696d":"A megengedett térben egyetlen program sem tudja megtenni. Változtasd meg az engedélyt vagy a kérést.","research-forge.77ed933da8":"Objektív vektor és határvonal-pozíció","research-forge.7800ae62d5":"Nem csak rossz","research-forge.78546ce4c3":"A kért hatás nincs reprezentálva az ellenőrzési szerződésben.","research-forge.79919ce9fd":"Hatások és képességek","research-forge.79b38792f6":"Négy objektív család","research-forge.79b3e4bb6e":"Sok jelölt","research-forge.7a36809fc6":"A Forge más sorrendet vizsgál. Tartsd tovább expliciten a követelményt. Hagyd, hogy több implementáció versenyezzen egy deklarált nyelven belül. Állapítsd meg a támogatott viselkedési állításokat, mielőtt a teljesítmény- és telepítési kompromisszumok között választasz.","research-forge.7a67d7aba8":"Reprezentálva vannak a környezet, a hatások és a numerikus szabályok?","research-forge.7b2d03931b":"Hagyományos","research-forge.7ba8740951":"Melyik politika választott ki egy tagot, és ki állt mögötte","research-forge.7bec3a8510":"Megáll itt:","research-forge.7c04a5cf0e":"A költségek vektora határvonalat hoz létre, ami különböző objektum, mint a rangsor.","research-forge.7c1e14bb08":"nem távolítja el az emberi ítélőképességet","research-forge.7c3f4fda21":"1. méret","research-forge.7d448f8882":"Egy jelöltkészlet","research-forge.7d58a74832":"Egy jelölt átmehet minden példán, amit megmutattak neki, és mégis hibás lehet valahol, ahol senki sem nézte. A Forge egy konkrét bemenetet keres, amely felfedi a különbséget. Ez a bemenet egy ellenpélda, és amint létezik, csatlakozik azokhoz az esetekhez, amelyeket minden későbbi jelöltnek teljesítenie kell. A mögötte lévő ciklus rövid. Egy jelöltet javasolnak, megkérdőjelezik a kapott példákon túl, egy bemenet felfedi a hibás viselkedést, és ezt a bemenetet megtartják. Ezután a keresés újraindul a nagyobb halmaz ellen. Bizonyítással, korláttal vagy megadott határral ér véget, és soha nem olyan jelölttel, amely egyszerűen jónak tűnik. Ebből a halmazból soha semmit nem távolítanak el, ezért a harmadik próbálkozás többet jelent, mint az első.","research-forge.7d5f9141fc":"A mérés még megállapításra vár","research-forge.7db1bb6632":"Származtatás bizonyítékként","research-forge.7df7e32344":"a jelvény csak a fokozatot nevezi meg","research-forge.7e2e54dae8":"Kiegyensúlyozott töréspont javasolható. A javaslatot rögzítjük azzal a normalizációval, amely létrehozta, így a felülvizsgáló láthatja, hogy ez politika, nem pedig aritmetikai szükségszerűség.","research-forge.7e309ec303":"Teljesítményhipotézis, nem benchmarkolt","research-forge.7e5a975b6a":"Identitás","research-forge.7e826f7af3":"TRUST","research-forge.7ea014de7b":"Bizonyíték","research-forge.7ea35b3515":"Ugyanaz az objektum négy szerepet tölt be anélkül, hogy kategóriát váltana. Keresés közben jelölt, feltárás közben egy ekvivalenciaosztály tagja, a bizonyítás által megnevezett alany, és az a bemenet, amelyre a Kera tervez. Egy identitás hordozza mind a négyet.","research-forge.7f2b6cf0fd":"Egy jelöltnek teljesítenie kell az eddig összegyűjtött bizonyítékokat. Ezután egy ellenőrző keres a támogatott tartományban olyan bemenetet vagy állapotot, ahol az megsérti a teljes specifikációt. Minden talált ellenpélda állandó kötelezettségként csatlakozik a bizonyítékhalmazhoz, így a következő jelöltnek mindent teljesítenie kell, amit a korábbiak, és az új esetet is. A hurok csak szigorúbb lesz. Bizonyítással, korláttal vagy bejelentett határral áll le, és soha nem áll le olyan jelölttel, amely csak meggyőzőnek tűnik. Előfeltétel hozzáadása megengedett, de ez új specifikációs identitást nyit, nem pedig a régit szerkeszti.","research-forge.7f59a1f1d5":"Döntés","research-forge.7f5e7b5182":"Négy intézményi cselekvés","research-forge.7f87260e69":"Előre írva, visszafelé olvasva","research-forge.7fc3a8b99e":"A kutatási terv egy DSL-t kombinál tipizált kifejezéseken, felsoroló, CEGIS, genetikus programozás és MCTS kereséssel, e-gráf egyenlőség-telítettséggel, Cranelift-alapú méréssel, valamint Z3/CVC5 ellenőrzésekkel korlátos kötelezettségekre. A többcélú keresés figyelembe veszi a késleltetést, a műveletszámot, a memóriát és a regiszterterhelést; a célkódgenerálás magában foglalja az x86-64, RISC-V, WASM, Vulkan GPU és Verilog rendszereket. A feladat- és tesztszámok, a keresztgazdagép-gyorsítások és a termelési teljesítmény validációs munka marad.","research-forge.7fda8c3a33":"Három jelölt, három őszinte címke","research-forge.7fdf663e3a":"Teljesítményhipotézis, nem benchmarkolt","research-forge.7fef09721e":"Dweve Forge, ellenőrzött programfelderítés","research-forge.80302bf5ea":"Korlátos ellenőrzések és keresés","research-forge.80446347ed":"Forma","research-forge.80d70e543d":"Frontier és kiválasztás","research-forge.814de3b8b2":"Négy frontier-tag","research-forge.8179013356":"Forgalom, munkahalmaz, átvitel és lokalitás","research-forge.81eccd6085":"Négy ok a hallgatásra","research-forge.81f08b5724":"sokkal azután, hogy az emberek továbblépnek","research-forge.8208f3f27b":"A sorrend","research-forge.82319c5d9e":"A transzformációk sorozatban történő alkalmazása egy korai döntést hoz, amely kizárhat egy későbbi javítást. A Forge olyan kompakt reprezentációkat vizsgál, amelyek egyszerre sok ekvivalens formát tartanak, így több transzformációs út is együtt él a kinyerésig. Sok átírás együttes reprezentálása, nem pedig egyetlen sorrend elkötelezése, az a megközelítés, amelyet a kutatási irodalom egyenlőség-telítettségnek nevez.","research-forge.8252f95ddf":"egy csomópont megváltoztatása egy ellenőrzött gráfban visszavezeti a jelöltet a jólformáltsághoz","research-forge.825d89212b":"Transzformációs tudás","research-forge.8283b9d96c":"Nincs fázissorrend","research-forge.82c24c3687":"A program szabadon változtathatja az alakját, és az, amit teljesítenie kell, nem.","research-forge.8301a503f4":"A két érvényes olvasat közötti nézeteltérés kérdésként jelenik meg, nem pedig a keresés oldja fel.","research-forge.8368699cf6":"Sok lehetséges program","research-forge.8375a2c337":"Három próbálkozás, egy növekvő esetlista","research-forge.837b910e11":"amíg a politika ki nem választ egyet","research-forge.83908aa381":"Típus, alak, reprezentáció és az a numerikus szerződés, amely szabályozza.","research-forge.83ea53e5ec":"Sok egyenlő forma, három érdemes kinyerni","research-forge.8597c90c68":"Kutatási tesztek (hatókör)","research-forge.864c38bd34":"Ahol nem létezik mérés, a cella üres marad. Az üres cella állítás a bizonyítékokról, és ha modellkimenettel töltjük ki, csendben becslést alakítana eredménnyé.","research-forge.8682d73e62":"Program","research-forge.869cb36316":"A rögzített specifikáció egy javasolt megvalósítása.","research-forge.8703ca90ce":"Tulajdonjog, memóriatér és a vonatkozó célkorlátozások.","research-forge.870d4e66fc":"a rekord megnevezi a hatókört","research-forge.87805aff07":"Egyáltalán nincs program","research-forge.879bb91dae":"egyik fél sem veszi át a másik állítását","research-forge.87d0c490e0":"Azok a költségdimenziók, amelyeket ez a kísérlet összehasonlít, és amelyeket bármely jelölt mérése előtt választanak ki.","research-forge.88306943fe":"Módszer","research-forge.8831be6339":"Amikor nem jelenik meg program","research-forge.887b3d18f0":"A Forge birtokolja a specifikációt, a jelöltkeresést, az ekvivalencia-feltárást, az objektív frontiert és az ellenőrzést. A Kera a Dweve gráf-natív rendszer nyelve és Direct Computation alapja, és a tervezést, a leengedést, a cél-specifikus kibocsátást és a végrehajtást birtokolja. Ami átmegy közöttük, az egy ellenőrzött szemantikus gráf a kötelezettségeivel, objektív profiljával és bizonyítékaival. A gráfot nevezik meg, nem a forrást, és a visszaérkező eredmény ugyanarra az identitásra mutat.","research-forge.887cf267e6":"Unsat","research-forge.888797190c":"egy viselkedés, több megvalósítás","research-forge.888e561892":"Négy módja annak, hogy jobbat kérjünk","research-forge.892257a43b":"Egy bizonyítás lehet helyes","research-forge.89404ea15f":"Formális lekérdezés","research-forge.894f8a793c":"Használjon erősebb elméletet, szélesebb nyelvet vagy nagyobb költségvetést.","research-forge.897b3ac98d":"Kódgenerálás","research-forge.89b86ab0e6":"Nyelv","research-forge.89c7caf6b5":"Mely lépések végzik a munkát","research-forge.89c8a2851d":"Memória","research-forge.89f5343231":"A tartós döntési nyomvonal","research-forge.8a102fcb06":"Korlátos teljes keresés","research-forge.8a9523ae04":"Mit hordoz egy jelölt csomópont","research-forge.8ab2c84ed7":"Egy architektúra","research-forge.8b2d50590f":"A formális bizonyíték a specifikációra és a kódolt szemantikára terjed ki. Ha egy környezeti feltétel kimaradt, vagy a numerikus modell nem egyezik a géppel, az eredmény érvényes, de egy kicsit más kérdésre válaszol.","research-forge.8b593995c8":"Feltételezések","research-forge.8b7acd8daf":"Semmi sem kerül a határvonalra erősebb biztosítéki címkével, mint amit a bizonyíték alátámaszt.","research-forge.8bafd39dbd":"A tudatos termékhatár","research-forge.8c0dc9aa18":"Előfeltételek, utófeltételek és az a biztosíték, amelyet az eredménynek el kell érnie.","research-forge.8c1cf9e158":"Példák, logikai feltételek, vázlatok és referencia-viselkedés, mindegyik rögzítve azzal az erősséggel, amelyet hordoz.","research-forge.8cb71202e7":"Több viselkedés illik a példákhoz. Egy további eset dönti el.","research-forge.8d9c9bb663":"Két rekord, egy gráf","research-forge.8daee0af31":"A hagyományos út egyetlen kódbázisra szűkül, majd átírási projektekként nyílik újra, mellette a kutatási út, amely a jelöltek legyezőjét tartja meg, amíg egy szabályzat ki nem választ egyet","research-forge.8db9aab917":"milyen erősen lett ellenőrizve","research-forge.8dce170de2":"Érték","research-forge.8dd2a359fe":"LEAN","research-forge.8df2bb4b75":"Az a biztosítéki szint, amelyet egy jelöltnek el kell érnie, a keresési korlát, és az, hogy mit kell jelenteni, ha semmi nem éri el.","research-forge.8e2717f3c6":"Egy jelölt, amely nem lehet érvényes, soha nem épül meg, így a határvonal csak jól formált programokat tartalmaz.","research-forge.8e34678d0d":"az érvénytelen jelöltek soha nem kerülnek a poolba","research-forge.8e3934fad2":"Négy szabályzatfül, amelyek egy határvonal különböző tagjait választják ki, mindegyik teljes döntési rekordot hoz létre dominancia-okokkal azokra a tagokra, amelyeket nem választott ki","research-forge.8e50172772":"A független ellenőrzés külön fokozat, mert más kérdést tesz fel. Nem azt, hogy a bizonyíték létrejött-e, hanem hogy egy ellenőrző, amely nem hozta létre, egyetért-e, csak a jelölttel szállított bizonyítékot használva.","research-forge.8e84017c75":"A hivatkozás egy konkrét programra mutat. Változtass meg egy lépést benne, és a bizonyíték már nem azt írja le, amit a kezedben tartasz, így a címke visszaváltozik az egyszerű strukturálisra, amíg az ellenőrzést újra el nem végzik.","research-forge.9032517861":"Öt állítás, öt állapot","research-forge.908b29b50b":"minden fokozat másfajta bizonyítékot igényel","research-forge.90e40d5043":"Kezdés","research-forge.919003799d":"Tesztelt","research-forge.91ad20c2db":"Két terv","research-forge.91c0ae2087":"a pontos szándék csökkenti a megvalósítási kockázatot","research-forge.91cf399266":"lehet a valódi válasz","research-forge.9225f51a2a":"Ellenpélda","research-forge.9233f41df0":"Három cél","research-forge.9297ab4ca3":"Olvasd el a történetet","research-forge.929818c51d":"Legnagyobb memórialábnyom","research-forge.929a9f0f25":"Az első, amelyik működik","research-forge.92a7058e4e":"Beszéljétek meg az intézményi együttműködést","research-forge.92f5fe6952":"Négy kimenet","research-forge.936c25084e":"Referencia-viselkedés","research-forge.9388f4158d":"a kiegyensúlyozott opció is választás, mint a többi, és ezt ki is mondja","research-forge.93c09204c0":"Mérsékelt mindkét költségben","research-forge.93c2975761":"Kövesd a keresést","research-forge.93f79d808f":"A kiválasztott határvonal-tag tükrözi a megadott prioritást?","research-forge.942587e61e":"Projektlap","research-forge.9477d7acdd":"Jelentkezz partneri hozzáférésre","research-forge.94822e9dc6":"Kovácsműhely, intézményi nézet","research-forge.94827e8438":"Olvasd el a tanulmányokat","research-forge.94859cf20a":"Lezárt és nyitott","research-forge.948c81b996":"Több ellenőrzött út előre","research-forge.94cc86c489":"egy megváltoztatott lépés, és a jelvény olyan programot nevez meg, amelyet már nem tartasz a kezedben","research-forge.94ed3b0134":"a szándéktól a kiválasztott programig","research-forge.950dfeeb8b":"A szándék kóddá válik","research-forge.9550373e8b":"Mért","research-forge.95eaeda430":"Mekkora lehet egy ellenőrzött gráfrégió hasznosan.","research-forge.9678c4f1e3":"egy identitás átlépi a határt","research-forge.96aff7c058":"Egy ellenpélda-hurok","research-forge.96b9633285":"Mit változtathat a keresés","research-forge.973c3f46d7":"Hatályban","research-forge.978aa6569a":"Korábban befejeződik","research-forge.97c89a4d66":"Művelet","research-forge.97ee6e5610":"Javaslat","research-forge.992bc34385":"Egy tiszta specifikáció nem szerezhet fájl- vagy hálózati hozzáférést menet közben. Egy rögzített szélességű egész szerződés nem válhat csendben korlátlan matematikai egésszé. Egy skálázó reprezentáció megtartja a skáláját, és egy memóriabiztos vázlat nem egészíthető ki ellenőrizetlen aliasszal.","research-forge.99508624d6":"Egyetlen program sem lehet","research-forge.996c4a8976":"van benne program","research-forge.99dc6bab08":"Két jelölt, amelyek ugyanazt a példahalmazt elégítik ki, és egy olyan bemeneten térnek el, amelyet senki nem adott meg, három móddal, ahogy egy érdekelt fél eldöntheti","research-forge.9a24005705":"Egy teljes keresés, méret szerint","research-forge.9a469ce88c":"Konkrét","research-forge.9a4ce5f246":"a választást ki kell mondani","research-forge.9ae33a7d0e":"Tulajdonság","research-forge.9b7bd11153":"Egy ellenőrzött gráf, amely kemény határt lép át Kerába, kétféleképpen tervezve, mindkét eredmény ugyanahhoz a gráfazonossághoz kapcsolva","research-forge.9c25db95cc":"A jelölt","research-forge.9c86ef6b28":"A jelöltek megvalósításait vizsgálja deklarált szerződés alapján","research-forge.9cbe42aaff":"Tervezett","research-forge.9cfcf5930d":"A késleltetés, a mozgás, a telepítési illeszkedés és a bizonyítékterhelés érintetlen marad az első eredménytől.","research-forge.9d68007b07":"Program","research-forge.9dba232302":"A kért viselkedés","research-forge.9dc6ec542b":"nem ugyanaz, mint futtatni","research-forge.9dd59ab994":"Összehasonlít","research-forge.9df0f32743":"Regiszterek, párhuzamosság, eszközkorlátok, hordozhatóság","research-forge.9e811eeaf8":"A helyesség után","research-forge.9ee018232e":"Semmi sem kerül egy jelöltbe, amit a csomag nem engedélyezett.","research-forge.9f36fa8055":"Tartsd meg ezt az alakot, és találd meg a hiányzó részt.","research-forge.9f78c690af":"különböző okokból","research-forge.9fea6de725":"Formális","research-forge.9ff7951f81":"Egy ellenőrzött jelvény öt részre bontva, újra megmutatva ugyanazon program mellett, miután egy lépés megváltozott, és a köztük lévő kapcsolat megszakadt","research-forge.a0a9a568c3":"A jelöltek, amelyek érvényesek maradtak, és azok, amelyeket egy ellenpélda lezárt","research-forge.a0c9c40551":"a program alakja megváltozik","research-forge.a10a7ad63a":"Amit a csomag rögzít","research-forge.a266f0a07d":"Jelölt kernelek felfedezése","research-forge.a2e1cc1b2f":"Változhat","research-forge.a2f4a96337":"Kompromisszum","research-forge.a32a41c9d1":"nincs program, az okkal","research-forge.a336e6650d":"Két jelölt, két őszinte megállási pont","research-forge.a3c143732a":"a probléma a keresés előtt megoldódik","research-forge.a3c686e711":"Kategória","research-forge.a4508fc8ef":"Szemantikai kapcsolat","research-forge.a48f8c0cf7":"Öt program, egy specifikáció","research-forge.a4c745386f":"Négy szabályzat","research-forge.a57b5d2330":"A keresés változhat","research-forge.a6067adc3c":"késleltetés, műveletek, memória, regiszterek","research-forge.a618b4be8d":"Lekérdezés","research-forge.a61c938f35":"A keresés javasol","research-forge.a723285355":"Modellezett","research-forge.a79764b5e5":"Több helyes program, mindegyik saját bizonyítékkal","research-forge.a7987d27ae":"Lemond egy újraírásról","research-forge.a898f4eb0d":"Ez ugyanaz a választás, amit bárki meghoz egy városon átvezető útvonalról. A leggyorsabb, a legolcsóbb és a kevesebb átszállással járó mind ésszerű. Az nem ésszerű, ha azt állítod, hogy csak egy válasz van, anélkül hogy megmondanád, mit optimalizáltál.","research-forge.a8b262d32b":"Kódot kérni egy modelltől, és olyat kapni, ami jónak tűnik, más feladat. Nincs semmi, aminek az eredménynek meg kell felelnie, így nincs semmi, ami ellen kudarcot vallhatna, és az olvasónak kell minden ítéletet hoznia.","research-forge.a8e5c0ccf3":"A gráf, amelyet az ellenőrzési eredmény ténylegesen megnevez.","research-forge.a91bcce893":"Mindig","research-forge.a94848cbdb":"Csak azok a jelöltek jutnak el ehhez a lépéshez, amelyek átmentek a kapun.","research-forge.a9d6afeda0":"vissza a javaslathoz","research-forge.a9f1693ebe":"Minden tag teljesíti a deklarált szerződést, így az egyetlen hátralévő kérdés az, hogy melyik költséget fogadod el.","research-forge.aa1a2e191d":"ELŐSZÖR KIMONDVA","research-forge.aa2b80d828":"Határ","research-forge.aa62568659":"Elmondani, hogy mit nem tudunk, hasznosabb, mint kitölteni a rést valami jól hangzóval.","research-forge.aa6708d51a":"Egy támogatott univerzális kapcsolat bizonyítást nyert.","research-forge.aa88ef980e":"Mely támogatott környezetek futtathatják","research-forge.aa9002c223":"A jelvény, kibontva","research-forge.aab9ca1bc6":"Egy osztályban","research-forge.ab89d05c4b":"Elhelyezés","research-forge.ab98f5b857":"Rögzített","research-forge.ab9a4aae0b":"Legkisebb mozgás","research-forge.aba86cd010":"A szabályzat kiválaszt","research-forge.abc0c09f1f":"A gép megváltoztathatja, hogy mely lépések végzik a munkát, milyen sorrendben történnek, és hogy mely köztes értékek léteznek egyáltalán. Két program, amelyek ezekben semmiben sem egyeznek, még végezheti ugyanazt a munkát, és a keresés választhatja bármelyiket.","research-forge.ac30f0abf3":"Ha megváltoztatja, amit a program előállít, az nem javítás azon a programon. A helyesség az, ami egy jelöltnek helyet szerez a költségről szóló beszélgetésben.","research-forge.acc3156c5b":"Futtatás hivatkozás","research-forge.ad2cecac38":"Szöveg és szerkezet","research-forge.ad44adccc4":"a bizonyítás megerősít egy pontos állítást","research-forge.ad59e3b102":"Legszélesebb","research-forge.adfc01e921":"Egy jelölt csak olyan problémával szemben ítélhető meg, amelyet már megfogalmaztak.","research-forge.adfccdc8de":"Forge: mit","research-forge.ae2fee1a70":"Csak típushelyes nagyobb kifejezéseket építs.","research-forge.aeb1c76446":"Négy gyűrű, egy publikációs szabály","research-forge.aebc2854f4":"Numerikus","research-forge.aeedafb2fe":"a kudarc tartós kötelezettséggé válik","research-forge.af3cc2e010":"a program, nem a cél","research-forge.af68d81f17":"Azok a viselkedések és korlátok, amelyek a sikert meghatározták.","research-forge.af78a00855":"Mennyire közvetlenül ellenőrizhető a viselkedése","research-forge.afbab5dc80":"az elsőként felfedezett jelölt megőrzi helyét a történetben, és elhagyja a határt","research-forge.aff55d9c0e":"Jelentsd a legkisebb igazolt jelöltet és annak korlátját.","research-forge.b0339e3e63":"Synthesis, Cranelift és","research-forge.b048046ec8":"A legalacsonyabb késleltetésű jelölt nagyobb munkahalmazt tarthat. A leginkább hordozható lassabb lehet az előtted lévő gépen. A legegyszerűbb bizonyítással rendelkező lemondhat egy agresszív átírásról. Egy kiegyensúlyozott térdpont javasolható, és a javaslat szabályzatként kerül rögzítésre a normalizálásával együtt.","research-forge.b06be2ecea":"Ezért teszi közzé a Forge a feltételezéseket az állítás mellett, és ezért vannak a felülvizsgálatnak megnevezett felelősei. A specifikáció, a modell és a végrehajtási cél három külön aláírás.","research-forge.b0811e470d":"Csere","research-forge.b0a205ebad":"Kezdd a megengedett bemenetekből és konstansokból.","research-forge.b0b01215a0":"D jelölt","research-forge.b116105199":"Négy kérdés, amit rendezni kell","research-forge.b1d348384e":"Többféle jobb","research-forge.b23977841c":"Ellenpéldák","research-forge.b26aa65383":"Mit fed le az igazolt szó","research-forge.b2bc0c005f":"Ellenőrzött","research-forge.b30077250b":"korán commitolj vagy őrizd meg az alternatívákat","research-forge.b307b88c84":"Hordozhatóság","research-forge.b3776d63ad":"Háttérrendszerek","research-forge.b39a168c1e":"A csomag egyszer kerül megírásra, és ezen az oldalon minden eredmény visszamutat arra a verzióra, amely előállította.","research-forge.b3c0c45a3e":"A Forge elkülöníti a szerkezeti érvényességet, a konkrét tesztelést, a korlátos kimerítő ellenőrzést, a formális verifikációt, a független ellenőrzést és a végrehajtási kapcsolatot. Egy jelölt csak akkor lép feljebb, ha a következő fokozat bizonyítéka létezik, és az elért fokozat az eredmény része, nem pedig díszítés rajta. Egy gyors keresés tesztelt jelölteket tarthat, amíg a bizonyítás még folyamatban van. A független ellenőrzés saját fokozaton áll, mert azt kérdezi, hogy egy olyan ellenőrző, amely nem készítette a bizonyítást, egyetért-e vele.","research-forge.b45b598d0c":"Egy gráfazonosság köti össze a specifikációt, a bizonyítást, a tervet és a visszaérkezett eredményt.","research-forge.b462217ad5":"Egyetlen bemenet megmutatja, hogy a viselkedés hibás.","research-forge.b4dad06170":"Műszaki specifikációk","research-forge.b51ba796f2":"Ettől indul","research-forge.b5338782b3":"Azok a dimenziók, amelyek alapján egy jelöltet rangsorolnak, modelleznek vagy mérnek","research-forge.b568d47f2e":"Bemenet","research-forge.b5b0a8f813":"Koncentrikus rétegek a nyilvános kutatási kérdéstől a reprodukálható protokollon és a közzétett eredményen át a védett belső módszerig","research-forge.b6272cdaf7":"A Forge rögzíti a specifikáció azonosságát, a releváns jelölt-származást, az ellenpéldákat, a használt ekvivalenciarelációkat, a célértékeket, a biztosítéki átmeneteket és a kiválasztási szabályzatot. Ez a lánc megmagyarázza, miért létezik a választott program, és mely alternatívákat szorított ki, és elegendő ahhoz, hogy valaki más rekonstruálja az állítást. Egy visszajátszásnak nem kell megismételnie minden felfedező ágat, csak azokat a bizonyítékokat, amelyeken az állítás nyugszik.","research-forge.b638127a16":"Korlátosan teljes","research-forge.b66b54c1d8":"A jelölt mint objektum","research-forge.b6d2f4c9e8":"a keresés nem szélesítheti a típusrendszert","research-forge.b70446abdf":"A követelmények ütközhetnek. Egy példahalmaz megengedhet összeférhetetlen viselkedéseket. Egy kért garancia kívül eshet azon a szemantikán, amelyet a verifikációs szerződés képvisel. Egy keresés elérheti a bejelentett korlátját következtetés nélkül. A Forge mindegyiket külön jelenti, mert négy különböző választ igényelnek, és négy különböző költségbe kerülnek. Az ütköző záradékokat egyeztetik, a versengő viselkedéseket több bizonyítékkal választják szét, a lezáratlan keresést kiterjesztik, és a szerződésen kívüli garanciát olyanként rögzítik, amely nem igazolható a megfogalmazott formában.","research-forge.b71f6e67ce":"Tanulmányozz egy implementációs döntést","research-forge.b74c664479":"Biztosítéki állapotok","research-forge.b78c6b0e99":"a példák teljesítése és a feltétel kielégítése nem ugyanaz az állítás","research-forge.b82b9b1043":"a formákat szándékosan kombinálják","research-forge.b895ceb6b1":"a nem-válasz megakadályozza a hamis magabiztosságot","research-forge.b8f5629ab6":"a kötelezettség oszlop soha nem zsugorodik az iterációk között","research-forge.b97a1099a3":"Géppel ellenőrizhető","research-forge.b9b15e5f94":"Három dosszié","research-forge.ba25b214d8":"mindegyik mást kér","research-forge.ba3fef96ae":"Egy bizonyítás öt részben","research-forge.babfc32160":"Legalább egy viselkedés minden záradékot egyszerre kielégít.","research-forge.bac127c5b7":"Nem dominált","research-forge.bb11a8e3f8":"Szabályok","research-forge.bb2fe63e5a":"INPUT","research-forge.bb54db510a":"Elfogadás","research-forge.bb9cf14180":"Szabályzat","research-forge.bb9d653f4e":"Kihívás","research-forge.bbddd6ecdf":"Melyik köztes értékek léteznek","research-forge.bc0b16aa7f":"Négy igazolt program újra rangsorolva aszerint, hogy melyik tulajdonságot kéri, a kiegyensúlyozott opció pedig preferenciaként jelenik meg, mint a többi.","research-forge.bc6b9b38a3":"A Dweve kutatási módszeréhez tartozó lépések lezárt csomópontokként jelennek meg, bemeneteikkel, kimeneteikkel és azonosságukkal publikálva. Az intézményi átláthatóság és a kutatási titoktartás egyetlen lánc két tulajdonságaként kezelendő, nem pedig ellentétként.","research-forge.bc7819b34f":"Ismeretlen","research-forge.bcd3b8580e":"az objektum soha nem változtat kategóriát","research-forge.bce0641417":"Keresés","research-forge.bd163f2c2d":"Minden reláció hordozza a mellékfeltételeit. Az algebrai átalakítás, az erősség csökkentése, a vektorizálás, a fúzió, az elrendezés megváltoztatása és a mozgás kiküszöbölése csak akkor megengedett, ha az aritmetikai, szélességi, kerekítési, hatás- és sorrendi feltételek teljesülnek ebben a kísérletben.","research-forge.bd5d4d39fa":"Azt mondja","research-forge.bda89bbff3":"Egy példa megváltoztatása, egy típus kiszélesítése, egy hatás engedélyezése vagy egy numerikus tűrés lazítása más kutatási problémát eredményez, más azonossággal. A korábbi futtatás a saját csomagja alatt marad a nyilvántartásban, így két eredményt soha nem olvasnak ugyanarra a kérdésre adott válaszként.","research-forge.bdfebc22bf":"Objektív vektor","research-forge.be601df25e":"Kutatás","research-forge.beb1ed4753":"nyilvános bizonyíték a védett módszer mellett","research-forge.bef833878c":"az esetlista a fordulók között soha nem rövidül","research-forge.bf55421b4a":"A kért viselkedést az ellenőrzés nem fedi le.","research-forge.bff5c4dd05":"Kötelező","research-forge.business.actionCase":"Lásd az intézményi esetet","research-forge.business.actionCooperate":"Kutatási együttműködés megvitatása","research-forge.business.banner.body1":"Bizonyítja, hogy létezik egy út.","research-forge.business.banner.body2":"Nem bizonyítja, hogy az út a leggyorsabb, legkisebb, leghordozhatóbb, legkönnyebben auditálható vagy a legjobban illeszkedik az intézményhez, amelynek üzemeltetnie kell.","research-forge.business.banner.eyebrow":"A tervezési tér problémája","research-forge.business.banner.firstDetail":"A keresés megállapította, hogy létezik egy megengedett jelölt.","research-forge.business.banner.firstLabel":"Egy kielégítő út","research-forge.business.banner.firstStatus":"Hatályban érvényes","research-forge.business.banner.footer":"Dweve Forge, igazolt programok felfedezése","research-forge.business.banner.frontierDetail":"Több helyes program is létezik különböző objektív profilokhoz.","research-forge.business.banner.frontierLabel":"Nem dominált alternatívák","research-forge.business.banner.frontierStatus":"Látható","research-forge.business.banner.headline":"A helyesség a kezdet","research-forge.business.banner.headlineAccent":"nem a végső válasz","research-forge.business.banner.instrument":"A helyesség után","research-forge.business.banner.leftLabel":"Első érvényes jelölt","research-forge.business.banner.limitDetail":"Az első eredmény semmit sem mond a közeli kompromisszumokról.","research-forge.business.banner.limitLabel":"Nincs univerzális optimum","research-forge.business.banner.limitStatus":"Keresés folytatása","research-forge.business.banner.policyDetail":"Az intézmény megadja, hogy melyik kompromisszum alakította a választást.","research-forge.business.banner.policyLabel":"Rögzített kiválasztási politika","research-forge.business.banner.policyStatus":"Felülvizsgálható","research-forge.business.banner.rightLabel":"Döntési határ","research-forge.business.banner.tag":"Összehasonlítás","research-forge.business.banner.verdict":"Tartsa meg az alternatívákat, amíg a politika egyértelművé nem válik.","research-forge.business.banner.verdictLabel":"Döntési szabály","research-forge.business.close.body":"Hozzon domain szándékot, formális módszereket, hardveres mérést vagy független felülvizsgálatot. A Forge közös kutatási objektumot biztosít a programfelfedezés, a bizonyítás és a végrehajtás összehasonlításához.","research-forge.business.close.label":"Dweve Forge, kutatási együttműködés","research-forge.business.close.primary":"Intézményi együttműködés megvitatása","research-forge.business.close.secondary":"A bizonyítéki szerződés ellenőrzése","research-forge.business.close.title":"Egy döntés megkérdőjelezése.","research-forge.business.eyebrow":"Dweve Forge, igazolt programok felfedezése","research-forge.business.lede":"A Dweve Forge egy kutatási projekt, amely példákat, korlátokat és részleges specifikációkat alakít át ellenőrzött kereséssé érvényes programokra, összehasonlítja a nem dominált alternatívákat, és megőrzi a kiválasztott eredményt alátámasztó bizonyítékokat. A specifikáció marad a tartós eszköz, míg a megvalósítási döntések tovább nyitva maradnak.","research-forge.business.titleAccent":"amíg a bizonyítás el nem dönti","research-forge.business.titleLead":"A szándékot nyitva tartani","research-forge.businessGlyph.ambiguous":"A viselkedés még mindig kétértelmű","research-forge.businessGlyph.assurance":"Megnevezett biztosíték","research-forge.businessGlyph.boundary":"Kutatási program, nem szoftverajánlat","research-forge.businessGlyph.candidateA":"A jelölt","research-forge.businessGlyph.candidateB":"B jelölt","research-forge.businessGlyph.candidateC":"C jelölt","research-forge.businessGlyph.candidateD":"D jelölt","research-forge.businessGlyph.counterexample":"Ellenpélda találva","research-forge.businessGlyph.execution":"Terv és eredmény összekapcsolva","research-forge.businessGlyph.fixed":"Rögzített","research-forge.businessGlyph.kera":"Kera végrehajtás","research-forge.businessGlyph.lowLatency":"Legalacsonyabb késleltetés","research-forge.businessGlyph.lowMovement":"Legkisebb mozgás","research-forge.businessGlyph.policy":"Kiválasztási szabályzat","research-forge.businessGlyph.portability":"Legszélesebb hordozhatóság","research-forge.businessGlyph.research":"Kutatás","research-forge.businessGlyph.selected":"Kiválasztott gráf","research-forge.businessGlyph.simpleProof":"Legegyszerűbb bizonyítás","research-forge.businessGlyph.spec":"Viselkedés, határok és biztosítéki szabályzat","research-forge.businessGlyph.specFixed":"Specifikáció rögzítve","research-forge.businessGlyph.specLabel":"Megváltoztathatatlan specifikáció","research-forge.businessGlyph.subtitle":"Ellenőrzött alternatívák a végrehajtás előtt","research-forge.businessGlyph.title":"Specifikációs döntési lap","research-forge.businessGlyph.tradeoffs":"Kompromisszumok láthatóak","research-forge.businessGlyph.visible":"Látható","research-forge.businessHero.titleMiddle":"jobb","research-forge.businessHero.titleSuffix":"szoftver","research-forge.c00cde6a62":"Egy véges, deklarált tartomány hibamentesen lefedésre került.","research-forge.c023fe51a2":"A Forge a Dweve kutatási partnerprogramján keresztül érhető el. Teszteljen korlátozott program-szintézis kérdéseket, és egyezzen meg az értékelési feltételekben a hozzáférés előtt. Az eredmények kutatási bizonyítékok maradnak, nem termékígéretek.","research-forge.c040f6e04f":"a korlát az eredménnyel együtt van megadva","research-forge.c0caf528d8":"Többcélú költség","research-forge.c10a6d0899":"Az implementáció során talált ellentmondó követelmények késedelmet és átdolgozást okoznak. A telepítés után talált kétértelműség inkonzisztens viselkedést eredményez, amit valakinek össze kell egyeztetnie. Mindkettő megtalálása az implementáció előtt a legolcsóbb hely.","research-forge.c12f928235":"Gráf átadás","research-forge.c144b00ba8":"Késleltetés, átviteli sebesség és kritikus út","research-forge.c174fa3158":"A határ nem mozdul, amikor a szabályzat változik","research-forge.c1929c45f3":"Egy keresés bizonyíthatja, hogy semmi sem elégíti ki a követelményt a deklarált nyelven belül, nem tudja eldönteni a kérdést az elméleti és erőforrás-korlátain belül, vagy azt találja, hogy a megadott bizonyíték több, egymással összeegyeztethetetlen viselkedést tesz lehetővé.","research-forge.c1fcd5ecff":"Lehet, hogy gyorsabb. Lehet, hogy kisebb. Lehet, hogy a legügyesebb dolog, amit valaki valaha kitalált erre a problémára.","research-forge.c20d749a05":"KOMPROMISSZUMOK LÁTHATÓAK","research-forge.c2184a31d3":"A követelmény az, amit érdemes megtartani, és az implementáció egy eredmény, amit az hozott létre.","research-forge.c297908b88":"Egy jelöltet nem lehet előléptetni egy vezérlővel, csak bizonyítékkal, hogy a következő fokozat létezik.","research-forge.c29cf0b245":"Kompromisszumok","research-forge.c2bb6fa0c5":"SPECIFIKÁCIÓ MEGVÁLTOZTATHATATLAN","research-forge.c2ea17d5fe":"HÁROM MEZŐ","research-forge.c33ef52668":"a követelmény nem","research-forge.c3451e6677":"A példák a várt viselkedést mutatják olyan eseteken, amelyeket az emberek ellenőrizhetnek. A logikai feltételek meghatározzák, hogy minek kell teljesülnie azokon az eseteken túl. Egy részleges vázlat megőrzi a biztonsági architektúrát, egy interfészt vagy egy előírt vezérlési folyamatot, miközben egy régió nyitva marad a felfedezésre. Együtt pontossá teszik a követelményt ahhoz, hogy egy gép kudarcot vallhasson ellene, ami a specifikáció célja. Bármi, amit a keresés az Ön nevében eldönthet, ugyanabba a dokumentumba tartozik.","research-forge.c36594e8f5":"minimális a deklarált nyelven belül","research-forge.c3be8bb127":"Milyen gyors","research-forge.c3e4b59bd1":"Mennyi adatot mozgat a program","research-forge.c439038abe":"Nem fedett","research-forge.c440d9bf36":"A keresés nem mentheti meg a jelöltet a cél megváltoztatásával.","research-forge.c4cc9c34bd":"Egy finomítási ciklus","research-forge.c533db2294":"az opciók megtekintése előtt","research-forge.c554cb5d95":"Dweve Research, Hollandia","research-forge.c60a3a3cff":"Keressen a támogatott tartományban egy sértő bemenetet.","research-forge.c648f0b37b":"Négy ok, amiért a válasz: nincs program","research-forge.c69925079f":"pontosan ebben az esetben hibás","research-forge.c6c9f7cd5c":"Egy okos rövidítés","research-forge.c6d954c113":"Semmi sem elégíti ki a követelményt a deklarált nyelven és feltételezésekkel.","research-forge.c74dddd8a0":"A bejegyzések, amelyek egy későbbi kérdésre válaszolnak, akkor íródtak, amikor a döntés megszületett.","research-forge.c76a21c28e":"Ezért lehet egy ismerős azonosságot elfogadni egy pontos egész régióban, és elutasítani egy lebegőpontos régióban ugyanazon a gráfon belül. A feltétel a relációhoz kötve marad, így a kinyerés soha nem örököl egy átírást, amelyre nem volt jogosult.","research-forge.c7e00eda62":"az állítás minimális ezen a nyelven, ezen a korláton belül","research-forge.c7f2c2e7d4":"Három kör","research-forge.c8050fa93f":"Bizonyítja, hogy létezik egy út. Ez valódi eredmény, és érdemes korán megszerezni, mert megmondja, hogy a követelmény egyáltalán teljesíthető-e az Ön által deklarált nyelven belül.","research-forge.c82f0b5250":"egy keresztező pár kompromisszum, nem rangsor","research-forge.c855f0a33c":"Egy nem támogatott elmélet megállítja a jelöltet a tesztelt vagy a hatókörön kívüli állapotban, és a rekord megmondja, melyik. Egy formális eredmény megnevezheti a szemantikus gráfot, miközben a kibocsátott artefaktum még mindig a végrehajtási kapcsolatára vár. Egyik állapot sincs egyetlen jelvénybe tömörítve.","research-forge.c932a404bb":"Tesztelje, támadja meg és bizonyítsa, amit a bizonyíték alátámaszt.","research-forge.c93e1581c7":"Még egy kis probléma is milliónyi lehetséges programot tartalmazhat. A Forge a kísérlet által megengedett műveletek és határok belsejébe néz, és a különböző keresési viselkedések a tér különböző részeit fedezik fel. Amit egyikük sem tehet, az az, hogy megkönnyítse a problémát: a követelmény a keresésen kívül helyezkedik el, és nem mozdul.","research-forge.c940737ecf":"Forge, kutatási nézet","research-forge.c968557f4b":"Ellenőrzött gráf és bizonyíték a Kera felé","research-forge.c9bf3b001c":"a legértékesebb eredmény","research-forge.c9d8f0eef6":"metszés az értékelés előtt","research-forge.ca032b5844":"Mit csinál","research-forge.ca046ad257":"Olvassa el a kutatást","research-forge.ca08ca46bd":"A biztosítéki létra","research-forge.ca09c54bff":"Képességek","research-forge.ca6d0e3aaa":"Szakasz","research-forge.ca7b181648":"A rögzített sorrend","research-forge.cb3242398c":"Több program érvényes marad","research-forge.cb3888722e":"Egyik fél sem veszi át a másik állítását, és a gráfazonosság pontosan tartja a kapcsolatot.","research-forge.cb48a44ca9":"Három iteráció","research-forge.cb4ae000d8":"a program nyitva marad","research-forge.cb5c0156c2":"Saját korlátokat hordoz","research-forge.cbb9f1b292":"mindegyik mást mond","research-forge.cbbe214a22":"Hozzon specifikációt","research-forge.cc68ebf0f3":"A határ azokat a jelölteket tartja, amelyeket egyetlen másik jelölt sem ver meg minden aktív célon. Egy tag eltávolításához dominanciareláció kell, amelyet meg lehet mutatni, nem pedig a keresésben elrejtett preferencia. Ez egy technikai összehasonlítást olyanná alakít, amelyet egy felülvizsgáló testület el tud olvasni: minden tag ugyanazt a szerződést teljesíti, és csak a költségében különbözik.","research-forge.ccfd13401b":"Rögzítse a problémát","research-forge.cd27068c9e":"Tartós eszköz","research-forge.cd3d5a59f1":"Determinisztikus végrehajtás","research-forge.cdaa0de1dc":"Közös rész kifejezés megosztása","research-forge.cdbed7e540":"Keresési nyelv","research-forge.cde215073a":"mind a négy ugyanazt a szerződést teljesíti","research-forge.cdf33799d9":"Végrehajtási link rekord","research-forge.ce3b4e045e":"mielőtt véglegessé válik","research-forge.ce9e850988":"a keresés a divergenciát jelenti, nem pedig az egyik kiválasztását","research-forge.cec4b662d3":"Részleges program","research-forge.cecae09ffe":"A gép talál egy jelöltet.","research-forge.cf5ed047cf":"Célértékek és pozíció a határon.","research-forge.cf61965045":"tények, amelyek rendelkezésre állnak, mielőtt bármit kiértékelnének","research-forge.cf88038e56":"Nem végleges","research-forge.cf9b77061f":"Nyitott","research-forge.consumer.banner.bodyOne":"Egy jelölt lehet gyorsabb, kisebb vagy könnyebben futtatható.","research-forge.consumer.banner.bodyTwo":"Ha megszegi a specifikációt, az nem az adott program optimalizálása.","research-forge.consumer.banner.checkDetail":"Követelje meg a kísérlet által megnevezett bizonyítékszintet.","research-forge.consumer.banner.checkLabel":"Ellenőrizze a helyességet","research-forge.consumer.banner.checkStatus":"Kapu","research-forge.consumer.banner.compareDetail":"Csak elfogadható jelöltek kerülnek a kompromisszumos megbeszélésbe.","research-forge.consumer.banner.compareLabel":"Hasonlítsa össze a költséget","research-forge.consumer.banner.compareStatus":"Aztán hasonlítsa össze","research-forge.consumer.banner.eyebrow":"A nem tárgyalható határ","research-forge.consumer.banner.findDetail":"Fedezze fel a különböző megengedett programstruktúrákat.","research-forge.consumer.banner.findLabel":"Keressen jelölteket","research-forge.consumer.banner.findStatus":"Keresés","research-forge.consumer.banner.footer":"Dweve Forge, Ellenőrzött Program Felfedezés","research-forge.consumer.banner.instrumentTag":"Rögzített","research-forge.consumer.banner.instrumentTitle":"A sorrend","research-forge.consumer.banner.stateDetail":"Írja le az eredményt és annak határait a keresés előtt.","research-forge.consumer.banner.stateLabel":"Adja meg a viselkedést","research-forge.consumer.banner.stateStatus":"Rögzített","research-forge.consumer.banner.titleAccent":"ha megváltoztatja a választ","research-forge.consumer.banner.titleLead":"Egy okos trükk haszontalan","research-forge.consumer.banner.verdictLabel":"A szabály","research-forge.consumer.banner.verdictValue":"A helyesség belépést szerez a kompromisszumos megbeszélésbe.","research-forge.consumer.close.body":"A nyilvános Forge anyag magyarázza a specifikációt, a felfedezett alternatívákat, az ellenpéldákat és azt, amit a kutatás valóban bizonyítani tud. A Forge aktív belső kutatás, szoftverpróba, nyilvános csomag vagy nyílt forráskódú letöltés nélkül.","research-forge.consumer.close.eyebrow":"Dweve Forge, Ellenőrzött Program Felfedezés","research-forge.consumer.close.primary":"Fedezze fel a Dweve kutatást","research-forge.consumer.close.secondary":"Térjen vissza a kísérlethez","research-forge.consumer.close.title":"Kövesse a keresést a szándéktól a bizonyítékig.","research-forge.consumer.counterexample.body":"Egy jelölt működhet minden megadott példán, és mégis máshol kudarcot vallhat. A Forge megkérdőjelezheti egy konkrét bemenettel, amely felfedi a különbséget. Ez a bemenet ellenpéldává válik.","research-forge.consumer.counterexample.eyebrow":"A kudarc mint hasznos bizonyíték","research-forge.consumer.counterexample.footer":"Sok példán való áthaladás még mindig nem jelenti azt, hogy a programot helyesnek bizonyították.","research-forge.consumer.counterexample.pillFailure":"Konkrét kudarc","research-forge.consumer.counterexample.pillPermanent":"Állandó eset","research-forge.consumer.counterexample.pillRetry":"Keresés újra","research-forge.consumer.counterexample.secondaryLeft":"A hibás eset csatlakozik az állandó bizonyítékokhoz. A következő jelöltnek meg kell felelnie mind a korábbi példáknak, mind az új határfeltételnek.","research-forge.consumer.counterexample.secondaryLeftLabel":"A jelölt változik","research-forge.consumer.counterexample.secondaryRight":"A hiba felfedheti a kérés kétértelműségét vagy ellentmondását is. A szándék tisztázása új specifikációt hoz létre, és a korábbi eredmény látható marad.","research-forge.consumer.counterexample.secondaryRightLabel":"A szándék változhat","research-forge.consumer.counterexample.sideChallengeDetail":"Nézz túl a barátságos példákon.","research-forge.consumer.counterexample.sideChallengeLabel":"Kihívás","research-forge.consumer.counterexample.sideFooter":"A hiba szűkíti a keresést, és tisztázza az emberi követelményt.","research-forge.consumer.counterexample.sideMetaLabel":"Irány","research-forge.consumer.counterexample.sideMetaValue":"Minden körben szigorúbb","research-forge.consumer.counterexample.sideProposeDetail":"Keress egy jelöltet, amely illeszkedik az ismert esetekhez.","research-forge.consumer.counterexample.sideProposeLabel":"Javaslat","research-forge.consumer.counterexample.sideRememberDetail":"Add hozzá a konkrét hibát a bizonyítékokhoz.","research-forge.consumer.counterexample.sideRememberLabel":"Emlékezz","research-forge.consumer.counterexample.sideRetryDetail":"Keress egy jelöltet, amely túléli az erősebb halmazt.","research-forge.consumer.counterexample.sideRetryLabel":"Újrapróbálkozás","research-forge.consumer.counterexample.sideStatus":"Ciklus","research-forge.consumer.counterexample.sideSubtitle":"Hogyan élesíti a kérdést egy gyenge jelölt","research-forge.consumer.counterexample.sideTitle":"Egy ellenpélda-ciklus","research-forge.consumer.counterexample.titleAccent":"pontosan ebben az esetben hibás","research-forge.consumer.counterexample.titleLead":"Nem egyszerűen hibás","research-forge.consumer.counterexample.visualFooter":"A következő jelöltnek jobbnak kell lennie anélkül, hogy gyengítené a követelményt.","research-forge.consumer.counterexample.visualMeta":"Szemléltető eset","research-forge.consumer.counterexample.visualStatus":"Ellenpélda találva","research-forge.consumer.counterexample.visualSubtitle":"Három jelölt egyre szigorúbb határfeltétellel","research-forge.consumer.counterexample.visualTitle":"A hibás eset állandó kötelezettséggé válik","research-forge.consumer.glyph.evidence.counterexample":"Hiba rögzítve","research-forge.consumer.glyph.evidence.examples":"Példák teljesítve","research-forge.consumer.glyph.evidence.execution":"Végrehajtás összekapcsolva","research-forge.consumer.glyph.evidence.proof":"Kapcsolat bizonyítva","research-forge.consumer.glyph.footer":"A gép nem adhat vissza programot.","research-forge.consumer.glyph.header.detail":"A kérés rögzített marad, miközben az utak változnak.","research-forge.consumer.glyph.header.state":"Kutatás aktív","research-forge.consumer.glyph.header.title":"Program-felfedezési kísérlet","research-forge.consumer.glyph.path.a.label":"Egy szélső esetben hibás","research-forge.consumer.glyph.path.a.state":"Elutasítva","research-forge.consumer.glyph.path.b.label":"Helyes, magasabb költség","research-forge.consumer.glyph.path.b.state":"Megtartva","research-forge.consumer.glyph.path.c.label":"Helyes, más kompromisszum","research-forge.consumer.glyph.path.c.state":"Bizonyítva","research-forge.consumer.glyph.request.detail":"Példák, szabályok és egy részleges program határozzák meg a keresési határt.","research-forge.consumer.glyph.request.label":"Alakíts át minden támogatott bemenetet, és őrizd meg a megadott korlátot.","research-forge.consumer.hero.eyebrow":"Dweve Forge, Ellenőrzött Program-felfedezés","research-forge.consumer.hero.lede":"A Dweve Forge egy kutatási projekt, amely a példáknak, korlátoknak vagy részleges specifikációknak megfelelő programokat keres, javítja az érvényes jelölteket explicit célok mentén, és rögzíti az egyes eredményeket alátámasztó bizonyítékokat.","research-forge.consumer.hero.ledgerLabel":"Kutatási megjegyzés","research-forge.consumer.hero.ledgerPill":"Aktív","research-forge.consumer.hero.ledgerPurpose":"Cél","research-forge.consumer.hero.ledgerPurposeValue":"Programok felfedezése, összehasonlítása és ellenőrzése","research-forge.consumer.hero.ledgerStatus":"Státusz","research-forge.consumer.hero.ledgerStatusValue":"Aktív belső kutatás","research-forge.consumer.hero.primary":"Egy felfedezett program követése","research-forge.consumer.hero.secondary":"Nézd meg, mit jelent az ellenőrzött","research-forge.consumer.hero.titleAccent":"Hagyd, hogy a gép keresse meg a hogyant.","research-forge.consumer.hero.titleLead":"Írd le, minek kell történnie.","research-forge.consumer.intent.body":"A Forge kutatás példákkal, szabályokkal vagy egy részben megírt programmal kezdődik. A példák konkrét eseteket mutatnak. A szabályok kimondják, minek kell általánosabban igaznak maradnia. A részleges program megőrzi azokat a döntéseket, amelyeket nem szabad a keresésre bízni.","research-forge.consumer.intent.eyebrow":"A kiindulópont","research-forge.consumer.intent.footer":"Ha a viselkedés világos, a gép sok lehetséges módot kereshet annak előállítására.","research-forge.consumer.intent.pillExamples":"Példák","research-forge.consumer.intent.pillRules":"Szabályok","research-forge.consumer.intent.pillSketch":"Részleges program","research-forge.consumer.intent.secondaryLeft":"Egy prompt kérhet kódot, és kaphat valami hihetőt. Önmagában azonban nem határoz meg teljes szabványt, amelyhez képest a kód elbukhat.","research-forge.consumer.intent.secondaryLeftLabel":"Egy prompt","research-forge.consumer.intent.secondaryRight":"A specifikáció rögzíti a viselkedést, a határokat és a megengedett választásokat. Ennek megváltoztatása más kutatási problémát hoz létre, nem pedig megment egy gyenge jelöltet.","research-forge.consumer.intent.secondaryRightLabel":"Egy specifikáció","research-forge.consumer.intent.sideExamplesDetail":"Ehhez a bemenethez ezt a kimenetet állítsd elő.","research-forge.consumer.intent.sideExamplesLabel":"Példák","research-forge.consumer.intent.sideFooter":"A követelmény az elsődleges; a megvalósítás nyitott marad.","research-forge.consumer.intent.sideMetaLabel":"Keresés közben rögzítve","research-forge.consumer.intent.sideMetaValue":"Viselkedés és hatókör","research-forge.consumer.intent.sideRulesDetail":"Minden támogatott bemenetnél őrizd meg ezt a tulajdonságot.","research-forge.consumer.intent.sideRulesLabel":"Szabályok","research-forge.consumer.intent.sideSketchDetail":"Tartsd meg ezt a szerkezetet, és fedezd fel a hiányzó részt.","research-forge.consumer.intent.sideSketchLabel":"Vázlat","research-forge.consumer.intent.sideStatus":"Kezdés","research-forge.consumer.intent.sideSubtitle":"Mindegyik másfajta határt jelent","research-forge.consumer.intent.sideTitle":"Három mód a szándék kifejezésére","research-forge.consumer.intent.titleAccent":"a megvalósítás kiválasztása előtt","research-forge.consumer.intent.titleLead":"Írd le a viselkedést","research-forge.consumer.intent.visualFooter":"A program alakja változik. A követelmény nem.","research-forge.consumer.intent.visualMeta":"Szemléltető út","research-forge.consumer.intent.visualStatus":"Kutatás folyamatban","research-forge.consumer.intent.visualSubtitle":"Szemléltető nyilvános nézet egy program-felfedezési kísérletről","research-forge.consumer.intent.visualTitle":"Egy követelmény, több lehetséges út","research-forge.consumer.proof.body":"Egy formális eredmény bizonyíthatja, hogy egy program teljesít egy megadott tulajdonságot a támogatott bemenetekre és szemantikára. Nem bizonyítja, hogy a követelmény bölcs, teljes vagy alkalmas volt minden valós környezetre.","research-forge.consumer.proof.eyebrow":"Mit mondjon a jelvény","research-forge.consumer.proof.footer":"Néha a legerősebb őszinte eredmény az, hogy a gép nem tud programot előállítani.","research-forge.consumer.proof.pillAssumptions":"Feltételezések láthatók","research-forge.consumer.proof.pillLimits":"Korlátok láthatók","research-forge.consumer.proof.pillScoped":"Korlátozott","research-forge.consumer.proof.secondaryLeft":"A program, a tulajdonság, a feltételezések és a bizonyíték együtt maradnak. Ha a program változik, a bizonyítási kötés is változik.","research-forge.consumer.proof.secondaryLeftLabel":"Az állítás","research-forge.consumer.proof.secondaryRight":"A Forge aktív, befejezetlen belső kutatás. Nem termék, nem nyilvános szintézisszolgáltatás és nem nyílt forráskódú letöltés.","research-forge.consumer.proof.secondaryRightLabel":"A kutatási határ","research-forge.consumer.proof.sideAssumptionsDetail":"Az állítás által lefedett bemenetek és környezet.","research-forge.consumer.proof.sideAssumptionsLabel":"Feltételezések","research-forge.consumer.proof.sideFooter":"A bizonyítás egy pontos állítást erősít, nem egy homályos ígéretet.","research-forge.consumer.proof.sideLimitsDetail":"Amit az eredmény nem állapít meg.","research-forge.consumer.proof.sideLimitsLabel":"Korlátok","research-forge.consumer.proof.sideMetaLabel":"A legerősebb őszinte állapot","research-forge.consumer.proof.sideMetaValue":"Megnevezve, soha nem sejtetve","research-forge.consumer.proof.sideProgramDetail":"A pontos jelölt, amelyet ellenőriznek.","research-forge.consumer.proof.sideProgramLabel":"Program","research-forge.consumer.proof.sidePropertyDetail":"A viselkedés, amelyet állítanak.","research-forge.consumer.proof.sidePropertyLabel":"Tulajdonság","research-forge.consumer.proof.sideStatus":"Bizonyítás","research-forge.consumer.proof.sideSubtitle":"Négy rész, amelynek együtt kell maradnia","research-forge.consumer.proof.sideTitle":"Egy bizonyítási állítás","research-forge.consumer.proof.titleAccent":"nem helyes minden lehetséges világban","research-forge.consumer.proof.titleLead":"E szabályok szerint ellenőrizve","research-forge.consumer.proof.visualFooter":"Az ismeretlen, a lehetetlen, a kétértelmű és a hatókörön kívüli esetek érvényes kutatási eredmények maradnak.","research-forge.consumer.proof.visualMeta":"Szemléltető bizonyíték","research-forge.consumer.proof.visualStatus":"Hatókör látható","research-forge.consumer.proof.visualSubtitle":"A tesztelés, a korlátozott ellenőrzések, a formális bizonyítás és a végrehajtási kapcsolat különböző eredmények","research-forge.consumer.proof.visualTitle":"A biztosítéki létra fokai külön maradnak","research-forge.consumerHero.titleSuffix":"jobb útvonalak keresése","research-forge.d02603176f":"Univerzális","research-forge.d092bf9ea1":"Fedezd fel a kutatást","research-forge.d0f4e7e15e":"a gráf pontosan tartja őket","research-forge.d105692d52":"Kiválasztott jelöltgráf","research-forge.d1a475961a":"Egy korlátos, teljes keresés megtalálhatja a legkisebb kifejezést egy szűk nyelvben. A ellenpélda-vezérelt finomítás robusztus, strukturált programokat talál. A megszorítás-vezérelt keresés megoldja a nehéz bitszintű régiókat. A felfedező keresés szokatlan megvalósításokhoz jut el.","research-forge.d1b06384eb":"Példák, szabályok vagy egy részben megírt program.","research-forge.d1ed30ebcf":"Rögzített határ","research-forge.d1f8a8cdec":"Egy egyesítés csak annyira erős, amennyire a teszt, amely indokolta.","research-forge.d1f8e5ea93":"Kiválasztás","research-forge.d2089fb287":"Elméleti útválasztás","research-forge.d2316c0df0":"Öt bejegyzés","research-forge.d23276442b":"A tervezési tér problémája","research-forge.d23c4c8d4e":"Egy mondat, három használható forma","research-forge.d255672f1b":"és élesíti a kérést","research-forge.d286c609a6":"Specifikációs verzió","research-forge.d2b02aa6ad":"a rekord mindkét felet köti","research-forge.d2bad80400":"Egy egyszerű kérés, amely példákra, egy szabályra és egy vázlatra bomlik, mellette egy válasz, amelyet közvetlenül a mondatból írtak, és nincs mihez ellenőrizni","research-forge.d2d0b16b22":"Távolítsa el a strukturális és a megfigyelt ismétlődéseket.","research-forge.d2d43bec88":"Cél háttérrendszerek (értékelési kör)","research-forge.d35260a00f":"Célok","research-forge.d362822809":"Hová vigyük a problémát","research-forge.d36f29cacf":"Egyeztetés","research-forge.d3d6314184":"Minden jelölt egy vonal minden tengelyen, nem pedig egy pont egyetlen tengelyen.","research-forge.d3dee74f70":"A formális eredmény, és külön ellenőrzése, ha elérhető.","research-forge.d3ec6e1bad":"A szemantikai objektum, amelyet a Kera kap, a hozzá kapcsolódó kötelezettségekkel.","research-forge.d4621d18f0":"megadott határral","research-forge.d4a74b503a":"Olvassa el a dokumentációt","research-forge.d4ccefcb5e":"a négy közül egyik sem végzi azzal, hogy valami hihetőt produkál","research-forge.d50b109f99":"Több levezetés él egyszerre, és a végső döntés objektív bizonyítékra vár.","research-forge.d51fb63a04":"minden eredmény visszamutat rá","research-forge.d5383ea7af":"Rögzítve","research-forge.d5dc89d194":"Támogatott Kera-szerződések esetén a tiszta végrehajtás bitenként azonos módon ismétlődik mag nélkül, beleértve a lefedett lebegőpontos családútvonalakat is. Amikor egy program szándékosan fogyaszt véletlen állapotot, az az állapot deklarált bemenet, és újrahasználata reprodukálja a teljes futást.","research-forge.d5ec4f1c39":"Miért létezik ez a program","research-forge.d5f412e831":"Kera","research-forge.d659989a95":"A Forge a tipizált számítási műveletek nyelvén keres. A bemenetek, kimenetek, alakzatok, numerikus családok, hatások, képességek, tulajdonlás és célkorlátozások döntik el, mely összetételek legálisak, így az érvénytelen programok strukturálisan ki vannak zárva, nem pedig generálás után javítva. A nyelv a csomaggal együtt van kiválasztva, és a futásra zárt.","research-forge.d66c44dfdf":"Lehetetlen","research-forge.d6a6f2deb1":"Mit csinál a ciklus","research-forge.d71df112ac":"Mit tehet a keresés","research-forge.d769ded7e8":"Jelölt","research-forge.d79c0b71d1":"amelynek az első helyes programja nem elég","research-forge.d7e5b39755":"A kétértelműség láthatóvá válik, mielőtt kóddá válna. Két jelölt kielégíthet minden megadott példát, mégis eltérhet egy olyan bemeneten, amelyet senki nem írt le. A Forge jelenti ezt az eltérést, és új követelményt kér, ahelyett hogy csendben kiválasztana egy viselkedést.","research-forge.d7e94eb0fb":"Minden szervezet támaszkodik kis, kritikus kódrészletekre. A Forge azt kérdezi, hogy egy program-szintézis keresés javasolhat-e jelölt megvalósításokat egy deklarált specifikáció és mérési terv alapján. A 2025-ös jelentés egy kísérletet dokumentál, nem éles használatra való készséget; semmilyen publikált benchmark nem állapít meg optimális vagy leggyorsabb verziót.","research-forge.d835dab5b4":"pontos egész szám","research-forge.d90c9bd5a7":"2-es és 4-es méret","research-forge.d9f6acb036":"a kinyerés utoljára történik","research-forge.da09c06014":"A Forge egy viselkedési szerződéssel kezdődik, amely nem mozdul. A keresés több ezer megvalósítást javasolhat, és a példák, ellenpéldák és formális lekérdezések döntik el, melyek maradnak. Az eredmény egy tipizált programjelölt, levezetéssel, objektív vektorral és megadott biztosítéki szinttel.","research-forge.da7a712c59":"Mit kell tennie a programnak","research-forge.daec3d5393":"Ellenpéldák, bizonyítások és biztosítéki átmenetek.","research-forge.db1c784524":"Referencia","research-forge.dc131e9db4":"Mit rögzít a csomag","research-forge.dc16ac61b4":"egy tengely nem rangsorolhat egy frontot","research-forge.dc5b5aba63":"szigorítja a követelményt","research-forge.dcd69b02b3":"A specifikáció konzisztens","research-forge.dd00b8f82f":"Elnevezett biztosíték","research-forge.dd3c9b9d09":"Ne rögzítse az átírás sorrendjét","research-forge.dd3e8f4841":"A tesztek a lefuttatott eseteken állapítják meg a viselkedést. A kimerítő korlátos ellenőrzés egy deklarált véges tartományt fed le. A formális verifikáció egy kódolt relációt bizonyít megadott feltételezések mellett. A végrehajtási kapcsolat az eredményt a ténylegesen lefutott gráfhoz és tervhez köti. A Forge jelenti, hogy egy jelölt melyik szintet érte el, mert a rossz szinten hozott döntés rossz bizonyítékon hozott döntés. Öt fok van ezen a létrán, és egy jelölt egyszerre pontosan egyet tart.","research-forge.de135d6b61":"tiszta régió","research-forge.de56d45fd4":"és mit nem érinthet","research-forge.de9e9925af":"azok a részek, amelyeknek együtt kell maradniuk","research-forge.dfda3a3599":"Áttekinthető","research-forge.e0078f1adb":"Nem adhat hozzá olyan fájl- vagy hálózati hozzáférést, amely soha nem volt engedélyezett. Nem változtathatja meg a válasz által használt szám típusát. Nem gyengítheti a követelményt azért, mert egy ígéretes jelölt majdnem teljesítette.","research-forge.e03608577a":"Határ felülvizsgálat","research-forge.e048b8a355":"Hogyan épülnek össze a biztosítékok optimalizálás és tervezés során.","research-forge.e15760689d":"Finomítás","research-forge.e192f8980b":"A statikus modellek a futtatás előtt rangsorolják a jelölteket. A kalibrált célprofilok pontosítják ezeket a becsléseket. A mért futtatások megerősítik vagy korrigálják őket. Mindegyik fel van címkézve, így egy előre jelzett késleltetés soha nem jelenik meg ott, ahol egy mért állna.","research-forge.e24f8562eb":"a megvalósítás eredménnyé válik","research-forge.e29a79fe0c":"Felülvizsgálat","research-forge.e2f9cea1dd":"mit dönt el és mit nem dönt el az egyes űrlapok","research-forge.e31ae17fe2":"Amit nyitva hagy","research-forge.e340683de2":"A megadott konkrét esetek teljesültek.","research-forge.e341bf4b5e":"A teljesség a megadott térre vonatkozik, és a jelentés megmondja, hogy melyik térről van szó.","research-forge.e380a981e1":"Két mérnöki folyamat","research-forge.e3a3474f57":"Az ekvivalens forrássztringek ugyanazt a számítást írhatják le, és a hasonló forrás eltérő hatásokat rejthet. A gráfon való munka pontossá teszi a strukturális megosztást, a jelölt-összehasonlítást, a bizonyításkötést és a származást, ahelyett, hogy minden átalakítás után szövegből következtetnénk rájuk.","research-forge.e3aa756f4f":"Három nézet","research-forge.e3f3e0b2d5":"A nem válasz indokkal egy olyan döntés, amelyet a szervezet ma végrehajthat.","research-forge.e3f4660921":"Amikor a keresés több helyes programot tart meg, valakinek meg kell mondania, melyik kompromisszum számít. Ez egy döntés, és a Forge döntésként rögzíti, a nem választott programokkal és az elutasítás okával együtt.","research-forge.e40786cd04":"a gráf a nevesített, nem a forrás","research-forge.e43a425d4c":"Egy hibás eset","research-forge.e4709d4a03":"Valami a megadott nyelvben kielégíti a követelményt.","research-forge.e4ec169f06":"Három iteráció, egy élesedő követelmény","research-forge.e5a5debd01":"és a következő befektetést irányítja","research-forge.e5e6eefa7c":"mindegyik más legjobb jelöltet nevezhet meg","research-forge.e5fa3a8592":"Add hozzá a bizonyítékot, amely szétválasztja a versengő viselkedéseket.","research-forge.e6737991ff":"Jelöltkeresés","research-forge.e6c167fd27":"TAG","research-forge.e6f72dbc9e":"A végrehajtáson át jól formált, soha nem mosódik össze.","research-forge.e70fb2879c":"ami megváltoztatja a választ","research-forge.e713d42aa6":"TÁRGY","research-forge.e73791d2ee":"A rekordot úgy tervezték, hogy olyasvalaki olvassa, aki nem volt ott. Megnevezi a specifikáció verzióját, nem egy ágat, a jelöltgráfot, nem egy fájlt, és a dominancia relációt, nem egy preferenciát, így a felülvizsgáló megkérdezheti, miért nem a B jelölt, és választ kap.","research-forge.e78c82b9d8":"Ekvivalens programtér","research-forge.e792eed957":"Felsorolás típus és méret szerint","research-forge.e79545edad":"A Forge találhat egy programot, találhat többet, találhat egy ellenpéldát, amely véget vet egynek, vagy azt, hogy semmi sem működik a megengedett térben. Bármelyik megtörténhet egyetlen futtatásban.","research-forge.e7c6bfda5f":"Példák, megszorítások és vázlatok","research-forge.e7eaf3097f":"ELDÖNTETLEN","research-forge.e83744eb1b":"Egy gráf a Dweve stacken át","research-forge.e89c5a1fe5":"Bemutató kérése","research-forge.e8c9206319":"Megadod a viselkedést","research-forge.e93a01e74c":"Bemenetek és kimenetek","research-forge.e9a46a96e9":"Kétértelmű","research-forge.e9c366b4f3":"Követelmény","research-forge.e9e1bb076f":"A bizonyítás, a gráf, a terv és az eredmény azonossága össze van kötve.","research-forge.ea2f183ae8":"Egy kudarc, amely egy pontos bemenetet nevez meg, többet tanít a keresésnek, mint egy kudarc, amely egy pontszámot nevez meg.","research-forge.ea66222972":"Határozd meg a viselkedést, a jelöltnyelvet, a célvektort és a szükséges bizonyítékot. A Forge ezt ellenőrzött keresési, összehasonlítási és verifikációs kísérletté alakíthatja.","research-forge.ea66d3cd71":"Formálisan ellenőrzött","research-forge.eae192773b":"Készítette","research-forge.eb01bf04c9":"Példák","research-forge.eb5d2f4a58":"JIT","research-forge.eb65476556":"az elutasítás az értékelés előtt semmibe sem kerül","research-forge.eb86bd10d0":"Teszteld és formálisan kérdezd le a túlélőket.","research-forge.ebc93602b0":"Kutatási partnerprogram","research-forge.ebd1b8a0ed":"A helyesség és a költség külön marad","research-forge.ebf002ed26":"Mit kell minden megengedett bemenetnek előállítania vagy megőriznie?","research-forge.ec00edb305":"Mérési állapot","research-forge.ec80d62108":"Egy háromtengelyű kompromisszumábra a dominált jelöltek szürkítésével, egy szabályzatválasztó, amely egy nem dominált tagot választ, és egy vezérlő, amely hozzáad egy célfüggvényt és újrarajzolja a frontot","research-forge.ec8c6779f3":"Származtatás","research-forge.eca98aa4dd":"Az állandó invariáns","research-forge.ecc4622e4a":"A szándék mint eszköz","research-forge.eccd8c22c7":"Esetek","research-forge.ed03c68d9c":"Részben","research-forge.ed625e27bc":"a választ a rekordból olvassák ki, nem abból építik újra","research-forge.ed834ee730":"Két program, minden példa, egy nézeteltérés","research-forge.ed868fa2d4":"Mit dönt el egy válasz","research-forge.edd8fb596d":"Amit a szervezet akar","research-forge.ee531c138e":"egy azonosság az életcikluson át","research-forge.ee6e0d9004":"amit a Kera visszaad","research-forge.eebc8ec4db":"Legnagyobb munkahalmaz","research-forge.eebfc58277":"Általában több jó válasz is létezik, és annak megmondása, hogy melyiket választottad, része a válasznak.","research-forge.ef4e3a4971":"Mi különbözhet még","research-forge.ef73fdd1c8":"Négy eset","research-forge.f04208c0f4":"a külső három gyűrű megvizsgálható a legbelső kinyitása nélkül","research-forge.f061352d1c":"Család, szélesség, kerekítés és az érvényben lévő hibahatár.","research-forge.f0aa98e438":"A probléma először le van írva","research-forge.f128a0033d":"A Forge érvényes jelölteket hasonlít össze műveletszám, kritikus út, memóriaforgalom, munkahalmaz, regiszterterhelés, kódméret, becsült energia, hordozhatóság, bizonyítási komplexitás és célilleszkedés alapján. Hogy melyek ezek közül aktívak, az a kísérleti csomaghoz tartozik, és bármely jelölt mérése előtt ki van választva, így az összehasonlítás nem hangolható az eredmények után.","research-forge.f1513553a0":"Öt jelölt, amelyek ugyanazt a specifikációt valósítják meg, mindegyik más szerkezeti sziluettel és célfüggvénnyel, az elsőként felfedezett jelölt domináltként megjelölve","research-forge.f19a088441":"Jelölt programalakzatok mezője három állapotban egy rögzített követelménykeret körül a középpontban, amely soha nem változtatja a méretét","research-forge.f1e6269a35":"A Forge-jelölt egy típusos szemantikus gráf. Csomópontjai megőrzik a műveleteket, függőségeket, értékeket, hatásokat, tulajdonjogot és numerikus kötelezettségeket, és a keresés hozzáad, eltávolít és újrakapcsol régiókat, miközben az interfész jól formált marad. A forrásszintaxis ennek az objektumnak az egyik nézete, nem pedig az azonossága, ezért egy bizonyítás kötődhet hozzá, és túlélheti az írásmód megváltozását.","research-forge.f21eba9d4c":"A viselkedés, amelyet állítanak róla.","research-forge.f2b83c0462":"Jelölt kimenetének áttekintése","research-forge.f3263fc33a":"Mely bemenetek, hatások és környezetek tartoznak a hatókörbe?","research-forge.f33b37791c":"egy rögzített követelmény","research-forge.f34faaf18c":"Mi marad rögzített a futás során","research-forge.f3717fe94b":"Három illesztés, egy típusos nyelv","research-forge.f3b8596ff9":"Vázlatok","research-forge.f3e0a2c003":"Művelet, állapotátmenet és minden hatás, amely megengedett számára.","research-forge.f44f712120":"a módszer kutatási jellegű marad","research-forge.f4b90ff6c9":"felsoroló, CEGIS, GP, MCTS","research-forge.f4c0773264":"A típusok, hatások, tulajdonjog és interfészek érvényesek.","research-forge.f5330c10d4":"Két rendszer, egy objektum","research-forge.f539273fc2":"Teljesítette a megadott konkrét eseteket.","research-forge.f53a569905":"Az intézményi probléma","research-forge.f591672335":"végponttól végpontig","research-forge.f5def394f5":"A pontos jelölt, amelyet ellenőriztek.","research-forge.f61f151c35":"Írja le, mi történik","research-forge.f6c1c2d45c":"a kiválasztott jelölt megtartja a politikát, amely kiválasztotta","research-forge.f6fbfa37a0":"Határolt hatás","research-forge.f7313a2c50":"A legtöbb rendszer, amely kódot ír, arra kéri, hogy folytasson egy szöveget elfogadható módon. A Forge-t arra kérik, hogy elégítsen ki egy leírást arról, hogy mit kell tennie egy programnak. Implementációkat keres, elutasítja azokat, amelyek egy adott bemeneten hibáznak, összehasonlítja a túlélőket, és pontosan megmondja, milyen erősen ellenőrizték az eredményt.","research-forge.f740162265":"Diffelhető","research-forge.f793bcd5e3":"A jelenlegi politika által kiválasztva","research-forge.f7bce3aeb0":"Háromféle azonosság","research-forge.f7fcfa132e":"Az ellenőrzött mindig azt jelenti, hogy valami megadott dolog ellen ellenőrzött.","research-forge.f85d540ea4":"Ezek is másképp hibáznak. Egy jelölt átmehet minden megadott példán, és mégis megsértheti a számszerűsített feltételt, amelyet a példák illusztrálni szándékoztak. A rekord megnevezi ezt a különbséget, így egy tesztkészleten való áthaladást később soha nem értelmeznek bizonyításként.","research-forge.f8ad81d4ed":"Két program pontosan ugyanazt a munkát végezheti, és mégis más velük együtt élni. Az egyik hamarabb végez. A másik kevesebb adatot mozgat. A harmadik többféle gépen fut. A negyedik egyszerűen könnyebben ellenőrizhető. Bármelyik javítása általában valami másba kerül, ezért a Forge megtartja a jókat, ahelyett hogy egyetlen győztest hirdetne.","research-forge.f915e592e0":"Elég rendezett ahhoz, hogy világosan kijelentsük: megváltoztathatatlan specifikáció, egy típusos jelöltkészlet, amelyet több keresési viselkedés táplál, ellenpéldák állandó kötelezettségként, határvonal rejtett pontszám helyett, elnevezett biztosítási fokozatok, és egy gráfazonosság, amely túléli a Kera felé történő átadást.","research-forge.f91cf3695e":"ami elhagyja a Forge-ot, és amit a Kera visszaad","research-forge.f942052ae1":"Az első helyes program","research-forge.f95d9699ab":"nem a legjobb definíciója","research-forge.f9743247fa":"Olvassa el a dokumentációt","research-forge.f97f6d5c34":"A szám fajtája a válaszban","research-forge.f9917655d9":"Az ellenőrzött és elutasított jelöltek, amelyek számítottak.","research-forge.f9d589b5e4":"A címke a fokozatot nevezi meg, és a mellette lévő rekord megnevezi azt a hatókört, amelyet a fokozat lefed.","research-forge.fa6b511877":"Nem változhat","research-forge.fa7f633b0c":"Három jelöltdosszié, amelyek különböző biztosítási fokozatoknál állnak meg, mindegyik megnyitja a címkéje mögötti bizonyítékot, az előléptetés bizonyíték nélkül elérhetetlenként jelenik meg","research-forge.fa8d0afff2":"és a forrás megjelenítése a szélen","research-forge.fb588797f2":"Szoftver, amely ír","research-forge.fba63933d7":"a bizonyítás viselkedést állapít meg","research-forge.fbe8d4180f":"Egy mag, sok forma","research-forge.fc5fed48be":"Gráf keresése","research-forge.fc7583ec76":"Megváltoztathatatlan specifikáció","research-forge.fca77b7e3a":"Első pillantásra","research-forge.fca8a06b17":"A Forge rögzíti, hogy melyik fajta azonosság indokolta az egyes egyesítéseket, így egy olcsó deduplikáció a keresés során később soha nem értelmezhető szemantikus eredményként.","research-forge.fd2145e1f8":"A sorrend, amely soha nem változik","research-forge.fd9cfb5232":"Több keresési viselkedés egyfajta típusos jelöltet hoz létre.","research-forge.fdd0dfedc0":"Négy dolog igaz","research-forge.fe03c35158":"Szemantika","research-forge.fe0863e1b3":"Öt biztosítási szint","research-forge.fe08eef5c7":"A Dweve belső metódusához tartozó lépések lezárt csomópontként jelennek meg a láncban. Mindegyik közzéteszi a bemeneteit, a kimeneteit és az azonosságát, így a lánc kapcsolódva marad, miközben a benne lévő stratégia a kutatás része marad.","research-forge.fe17f86199":"Tervezési tér","research-forge.fe8b95b52a":"A kiválasztott gráf egy sávon halad a Forge-ból a Kera felé, a szomszédos Dweve rendszerekkel, amelyek ugyanazt az objektumot olvassák, és az eredményazonosság visszatér hozzá","research-forge.fec325ce2f":"Kevesebb adatot mozgat","research-forge.fef04acdce":"ami minden jelölt méretnél megmarad","research-forge.ff52cebd1d":"Egy véges, deklarált tartomány kimerült.","research-forge.ff63942f4e":"Egy lánc, amelyet egy felülvizsgáló végig tud járni","research-forge.ff75e0dce3":"Nem egyértelmű","research-forge.ffa7344f37":"A nyilvános Forge anyag elmagyarázza a specifikációt, a felfedezett alternatívákat, az ellenpéldákat, amelyek némelyiket kizártak, és azt, hogy mit tud a kutatás valójában bizonyítani.","research-forge.technicalHero.titleSuffix":"Z3","section_st_a2_split-spec-sheet.7c9a7c0610":"Részletek","section_st_a6_split-scenario-triad.f75fd3a884":"Nincs futásidejű függőség","section_st_a6_split-scenario-triad.143ac4ef35":"Egyetlen bináris","section_st_a6_split-scenario-triad.c61f134d87":"Három felület","section_st_a6_split-scenario-triad.215475056e":"HOL FUT","section_st_a6_split-scenario-triad.a794a586f0":"Zárt helyiségre kész","section_st_a6_split-scenario-triad.42d52c32ea":"Helyi modell","section_st_a6_split-scenario-triad.fe6168e59f":"Nincs hálózat","section_st_a6_split-scenario-triad.7d93f83c3e":"Kötetre csatolt kód","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":"Nincs telepítés","section_st_a6_split-scenario-triad.f600b9e709":"Egyetlen bináris","section_st_a7_split-connector-grid.4e6822a6d4":"Gyors újratöltés","section_st_a7_split-connector-grid.19e35f0609":"TOML-ban beállítva","section_st_a7_split-connector-grid.d9de50b343":"Hívó által vezérelt leltár","section_st_a7_split-connector-grid.8be1bb51b7":"CSATLAKOZÓK","section_st_a8_split-scaling-profile.7e0861e04c":"TOML-ban állítható","section_st_a8_split-scaling-profile.56d6732417":"Projektenkénti felső határ","section_st_a8_split-scaling-profile.27a454915b":"Az aktív pontok a szintek szerinti egyidejű ügynököket tükrözik.","section_st_a8_split-scaling-profile.0ea215ea0d":"HÁTTÉR","section_st_a8_split-scaling-profile.9fc6fb7e03":"TEAMS","section_st_a8_split-scaling-profile.018d2cd1a5":"PÁRHUZAMOS","section_st_a8_split-scaling-profile.16623c5d4a":"LÁNCOK","section_st_a8_split-scaling-profile.0fb79c96ed":"Egyéni → Csapat → Hálózat","section_st_a8_split-scaling-profile.068f6b3ecc":"CSAPATMÉRET","section_st_a8_split-scaling-profile.53ebc572b4":"Hálózat","section_st_a8_split-scaling-profile.218887269a":"Csapat","section_st_a8_split-scaling-profile.9fc93acaa4":"Egyéni","section_st_a9_split-time-lost-donut.7c9a7c0610":"Részletek","section_st_b5_request-lifecycle.47e364232a":"audit #4521","section_st_b5_request-lifecycle.4d3535f846":"patch · session.rs","section_st_b5_request-lifecycle.6c2519cd62":"Eszközvégrehajtás","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":"Felhasználói kérés","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":"A TE KÓDBÁZISOD","section_st_b8_defense-stack.89b6e2a784":"TÖBBSZINTŰ VÉDELEM","section_st_c2_dual-loop-flow.9d29573ea6":"eszköz / lépés","section_st_c2_dual-loop-flow.08ab1ac55a":"terv / újraterv","section_st_c5_integration-spoke.55d0677ac3":"Minden csatlakozó ugyanazon az audit- és engedélyezési rétegen keresztül fut be.","section_st_c5_integration-spoke.c29eb7e425":"Helyi ügynök","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":"Külső eszközök","section_st_c5_integration-spoke.70c123381f":"JSON-RPC 2.0","section_st_c5_integration-spoke.dc99d54d99":"Helyi","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":"Kezdés","toc-rail.f5cbdf6bfb":"Tartalomjegyzék"}