{"aura-ask-grid.af0854de67":"Aura","aura-business-sides.a0853da24b":"Specifikacijų lapas","aura-business-visuals.40417391c5":"Aura · sprendžia","aura-business-visuals.271973aefe":"xMidYMid meet","aura-business-visuals.3e91add48a":"BOARD","aura-showcase.eyebrow":"Dweve platforma","aura-showcase.subtitle":"Kodavimo agentas ir operatoriaus pagalba. Demonstraciniai rodikliai yra iliustratyvūs.","aura-showcase.pillTools":"25+ įrankių","aura-showcase.pillRunning":"veikia","aura-showcase.pillAnalysing":"analizuojama kodų bazė","aura-showcase.capabilityToolsTitle":"25+ įrankių","aura-showcase.capabilityToolsBody":"Terminalas, paieška, lint, testai, git ir kt.","aura-showcase.capabilityMemoryTitle":"Semantinė atmintis","aura-showcase.capabilityMemoryBody":"Prisimena jūsų kodų bazę ir komandos kontekstą.","aura-showcase.capabilityAgentsTitle":"Kelių agentų orkestravimas","aura-showcase.capabilityAgentsBody":"Specializuoti agentai bendradarbiauja įvairiose srityse.","aura-showcase.guaranteeAuditTitle":"Audito pėdsakas","aura-showcase.guaranteeAuditBody":"Kiekvienas veiksmas įrašomas su laiko žymomis.","aura-showcase.guaranteeGuardrailsTitle":"Apsaugos","aura-showcase.guaranteeGuardrailsBody":"Politikos, patikros ir testai visada vykdomi.","aura-showcase.guaranteeApprovalTitle":"Kodo pakeitimai su patvirtinimu","aura-showcase.guaranteeApprovalBody":"Peržiūrėkite pakeitimus, prašykite pakeitimų, galutinis patvirtinimas.","aura-showcase.guaranteeReplayTitle":"Deterministinis atkūrimas","aura-showcase.guaranteeReplayBody":"Atkurkite bet kurią sesiją bitas po bito, kai reikia peržiūros.","aura-showcase.workflowUnderstand":"Suprasti","aura-showcase.workflowUnderstandCaption":"Skaityti retry.ts, rasti timeout klaidą","aura-showcase.workflowPlan":"Planuoti","aura-showcase.workflowPlanCaption":"Išskirti guard ir apriboti bandymus","aura-showcase.workflowImplement":"Įgyvendinti","aura-showcase.workflowImplementCaption":"Pataisyti retry.ts ir types.ts","aura-showcase.workflowTest":"Testuoti","aura-showcase.workflowTestCaption":"28 testai, 94% padengimas","aura-showcase.workflowVerify":"Patikrinti","aura-showcase.workflowVerifyCaption":"Vykdoma lint ir typecheck...","aura-showcase.workflowAudit":"Auditas","aura-showcase.workflowAuditCaption":"Laukiama santraukos","aura-showcase.footer":"Autonominiai agentai, kurie rašo kodą ir saugo įrašus","aura-showcase.testsPassing":"pavyko","aura-showcase.testsFailing":"nepavyko","aura-showcase.modified":"pakeista","aura-showcase.af0854de67":"Aura","aura-showcase.73989d9c59":"Vykdoma","aura-showcase.f9e94338d0":"Analizuojama kodų bazė","aura-showcase.d7a484140f":"Darbo eiga","aura-showcase.287fda8114":"Vieninga","aura-showcase.80e13549b4":"Padengimas","aura-showcase.b71cc78b34":"Išskirta isRetryableError","aura-showcase.c37a8a9e2b":"kad būtų tvarkomi tinklo laiko limitai, 5xx atsakymai ir idempotentiškai saugios sąlygos. Gryna pagalbinė funkcija, visiškai padengta testais.","aura-tech-middles.7fba7d244f":"Karštasis kelias","aura-tech-middles.1be47ef71c":"Kryžminis","aura-tech-middles.92096d78df":"Įeigos srautas","aura-tech-middles.8e05a902ed":"Išeigos srautas","aura-tech-middles.49a66c994d":"Įtaisytieji agentai","aura-tech-middles.a60792e996":"Išorinis ciklas","aura-tech-middles.0dfd4db698":"Vidinis ciklas","aura-tech-middles.bbd88bff92":"Įeinanti užklausa","aura-tech-middles.a618b4be8d":"Užklausa","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":"Blokas","aura-tech-middles.271973aefe":"xMidYMid meet","page-breadcrumb.c766e66518":"Naršymo kelias","page-toc.7e439c353e":"Šiame puslapyje","res-forge-action-instrument.089b6f0342":"Sukelia","res-forge-action-instrument.97c89a4d66":"Veiksmas","res-forge-ambiguity-board.af13a94202":"yra rezultatas, ir jis užfiksuojamas\n          kaip vienas.","res-forge-ambiguity-board.e9a46a96e9":"Nedviprasmiškas","res-forge-ambiguity-board.1ee9387ca8":"Trys būdai, kaip asmuo gali atsakyti. Paieška savaime nepriima nė vieno iš jų.","res-forge-ambiguity-board.f275049b4b":"Kurį turėjote omenyje?","res-forge-ambiguity-board.e1f6a95de4":"tuščia seka","res-forge-ambiguity-board.39f54f4f92":"Įvestis nepateikta","res-forge-ambiguity-board.3636a0be7f":"sutinka","res-forge-ambiguity-board.140f86aae5":"įvestis","res-forge-ambiguity-board.5a3eea8643":"Kiekvienas pateiktas pavyzdys","res-forge-ambiguity-board.fd50372bde":"Penki pateikti pavyzdžiai ir kaip abu kandidatai į juos atsako","res-forge-ambiguity-board.86c03753f3":"pranešti mažiausią sumą sekoje","res-forge-ambiguity-board.e9c366b4f3":"Reikalavimas","res-forge-ambiguity-board.957a3c6b10":"susiaurinti sritį","res-forge-ambiguity-board.b0567c7519":"pridėti sąlygą","res-forge-ambiguity-board.7713f29af2":"pridėti pavyzdį","res-forge-ambiguity-board.5472c41b95":"skaito tuščią seką kaip nepriklausančią leistinai įvesties sričiai","res-forge-ambiguity-board.2597c3398a":"klaida","res-forge-ambiguity-board.9adfc74130":"Kandidatas 2","res-forge-ambiguity-board.72e8350f75":"skaito tuščią seką kaip turinčią neutralią sumą","res-forge-ambiguity-board.170d4a4827":"Kandidatas 1","res-forge-assurance-ladder.7607387940":"ko tai nenustato","res-forge-assurance-ladder.204b9b0c88":"ką tai laikė prielaida","res-forge-assurance-ladder.f03d859ccc":"kas buvo patikrinta","res-forge-assurance-ladder.6b3fa46450":"du kandidatai, dvi sąžiningos sustojimo vietos, abi pateiktos tokios, kokios yra","res-forge-assurance-ladder.ed682e5934":"NEIŠVEDTA IŠ Q","res-forge-assurance-ladder.bdad2aeeb8":"Užtikrinimo pakopos","res-forge-assurance-ladder.9a9f9e5d26":"JOKIA PAKOPA NĖRA IŠVEDAMA","res-forge-assurance-ladder.8259f9a8e2":"formali teorija už dabartinės sutarties ribų","res-forge-assurance-ladder.4f7ee515f7":"pateikta kaip susieta su vykdymu","res-forge-assurance-ladder.0d9389b742":"Bet koks elgesys su tikslu, kurio įrašas neįvardija.","res-forge-assurance-ladder.246b796ef8":"Kad užfiksuotos tapatybės yra tos, kurias sukūrė paleidimas.","res-forge-assurance-ladder.69ded617f9":"grafas, planas, artefaktas ir rezultatas dalijasi vienu įrašu","res-forge-assurance-ladder.5102f2ad33":"tapatybė susieta nuo pradžios iki pabaigos","res-forge-assurance-ladder.49d89b6ce4":"SUSIETA SU VYKDYMU","res-forge-assurance-ladder.a1cce5c1a6":"Bet kokia savybė, kurios sutartis neužkodavo, ir bet koks išleistas artefaktas.","res-forge-assurance-ladder.a7d0feec4e":"Semantika, kuri buvo užkoduota, ir prielaidos, kurias paketas įtvirtino.","res-forge-assurance-ladder.fce451ff2c":"prielaidos yra įtvirtintos ir išvardytos","res-forge-assurance-ladder.c830a6c3be":"įrodyta simbolinė savybė","res-forge-assurance-ladder.da528b9287":"FORMAI PATVIRTINTA","res-forge-assurance-ladder.d4c1c6915e":"Elgesys už ribos, kuris niekada nebuvo ieškotas.","res-forge-assurance-ladder.99d127dcae":"Kad deklaruota sritis yra ta, kurioje rezultatas bus naudojamas.","res-forge-assurance-ladder.d8a8ea038d":"sritis yra deklaruota kartu su teiginiu","res-forge-assurance-ladder.4538c7d77c":"baigtinė sritis, padengta","res-forge-assurance-ladder.dfa6e659c8":"RIBOTAI PATIKRINTA","res-forge-assurance-ladder.1412ce6f4c":"Elgesys su bet kokiu įvestimi už užfiksuoto rinkinio ribų.","res-forge-assurance-ladder.a1fde5a17c":"Kad deklaruoti atvejai atspindi elgesį, kuris rūpi tyrėjui.","res-forge-assurance-ladder.df4854fc18":"atvejai yra užfiksuoti kartu su rezultatu","res-forge-assurance-ladder.36cba7e6ad":"konkretūs atvejai","res-forge-assurance-ladder.b5516f2280":"IŠBANDYTA","res-forge-assurance-ladder.c0169d217f":"Nieko apie elgesį su bet kokia įvestimi.","res-forge-assurance-ladder.da65feb01c":"Tik tai, kad paketas įvardijo kalbą, iš kurios kandidatas buvo sukurtas.","res-forge-assurance-ladder.6903a5abc9":"deklaruota kalba yra uždara","res-forge-assurance-ladder.676886a349":"struktūrinis pagrįstumas","res-forge-assurance-ladder.68d222a4f0":"TAISYKLINGAI SUFORMUOTA","res-forge-assurance-ladder.85e08ba525":"Kad įrodymas, grafas, Kera planas ir rezultato tapatybė nurodo vienas į kitą.","res-forge-assurance-ladder.5e68702137":"Palaikoma simbolinė savybė, įrodyta per užkoduotą semantiką.","res-forge-assurance-ladder.9c8a0471a5":"Kiekviena reikšmė baigtinėje deklaruotoje srityje, be nesėkmės.","res-forge-assurance-ladder.77345a75bc":"Kiekvienas konkretus atvejis, kurį paketas deklaravo, paleistas ir palygintas.","res-forge-assurance-ladder.8c4857d4f9":"Tipai, formos, efektai, nuosavybė ir deklaruota sąsaja.","res-forge-badge-opened.9a3d81d562":"Ženkliukas priklauso vienai konkrečiai programai","res-forge-badge-opened.3d1307a7ff":"Atgal prie paprasto struktūrinio pavadinimo","res-forge-badge-opened.bac2685fbc":"Vienas žingsnis pakeistas","res-forge-badge-opened.aed3b8c6a7":"Patvirtinta","res-forge-badge-opened.bf2bc5e115":"Tas pats ženkliukas po vieno pakeisto žingsnio","res-forge-badge-opened.d62d8e0dde":"Atimk bet kurį iš šių penkių ir tai bus kitoks teiginys.","res-forge-badge-opened.eb38f1807a":"Ženkliukas ir penkios dalys, kurias jis tvirtina","res-forge-badge-opened.98987f9e01":"grąžinti rezultatą","res-forge-badge-opened.613ac981db":"apvalinti jį kitaip","res-forge-badge-opened.25f1a0d208":"paimti rodmenį","res-forge-badge-opened.16b22f5e52":"Nieko nesako apie dešimtainę aritmetiką.","res-forge-badge-opened.349be220c7":"Formalus rezultatas ir atskiras jo patikrinimas.","res-forge-badge-opened.17b29d4546":"Tik sveikieji skaičiai ir nieko už programos ribų.","res-forge-badge-opened.7d77d99854":"Galioja kiekvienam sveikajam skaičiui nurodytame diapazone.","res-forge-badge-opened.7112a3df4e":"Ši tiksli programa, žingsnis po žingsnio.","res-forge-boundary-instrument.e29c5de6a0":"Viena eilutė yra bendrinama. Visa kita atsakomybė tenka tik vienai ribos pusei.","res-forge-boundary-instrument.c6dda4f283":"priklauso","res-forge-boundary-instrument.d18aac96b9":"bendrinama","res-forge-boundary-instrument.1ac443dbd4":"nepriklauso","res-forge-business-glyph.161d1b9d9a":"Viena specifikacija","res-forge-business-glyph.ab98f5b857":"Fiksuota","res-forge-business-glyph.82b6d04b0e":"Reikalavimas, kuris nesikeičia","res-forge-business-glyph.b5bf8067cf":"Kandidatai","res-forge-business-glyph.7e1d88fa7c":"objektyvus vektorius","res-forge-business-glyph.45d74a7136":"dominuojamas","res-forge-business-glyph.239aff5852":"ant ribos","res-forge-business-glyph.f476109f39":"dviprasmiškas","res-forge-business-glyph.473161067f":"Atrankos politika","res-forge-business-glyph.7eff74a5a8":"užfiksuota, ne paslėpta","res-forge-business-glyph.c3b9a01442":"latencija","res-forge-business-glyph.b727a735e7":"judėjimas","res-forge-business-glyph.1a7d89d441":"tikslo atitikimas","res-forge-business-glyph.ef64363d23":"įrodymas","res-forge-business-glyph.efe124888c":"pavadinta garantija","res-forge-business-glyph.b086634a92":"matomi kompromisai","res-forge-business-glyph.ca2bc19088":"Kera vykdo","res-forge-business-glyph.f735a5ba22":"Tyrimų programa, ne programinės įrangos pasiūlymas","res-forge-candidate-fan.b6871fa0fc":"Siluetai yra struktūriniai, o ne šaltinis. Juostų ilgiai yra santykinės pozicijos viename\n            fronte.","res-forge-candidate-fan.8641796596":"Kandidatas E yra dominuojamas kandidato D aktyvioje tikslų aibėje","res-forge-candidate-fan.d769ded7e8":"Kandidatas","res-forge-candidate-fan.45d74a7136":"dominuojamas","res-forge-candidate-fan.100ec4462d":"įrodymai","res-forge-candidate-fan.1a7d89d441":"tikslo atitiktis","res-forge-candidate-fan.b727a735e7":"judėjimas","res-forge-candidate-fan.714eea0f4c":"laikas","res-forge-candidate-fan.73ea3f356f":"Dominuojamas","res-forge-candidate-fan.82f8a46f55":"įdėtas medis","res-forge-candidate-fan.416bfd329b":"Ant fronto","res-forge-candidate-fan.00c93cd155":"dviejų juostų padalijimas","res-forge-candidate-fan.a70e321a36":"kompaktiškas blokas","res-forge-candidate-fan.f259a41862":"platus vėduoklis","res-forge-candidate-fan.8503665914":"Pirmasis rastas","res-forge-candidate-fan.e2a3a58a40":"viena ilga grandinė","res-forge-choice-board.2f98d2f5be":"Subalansuota yra taip pat pirmenybė, ir ji užfiksuota kaip tokia.","res-forge-choice-board.ce025222b1":"Kiekvienas iš šių keturių yra teisingas, todėl tai yra pirmenybė, o ne reitingas.","res-forge-choice-board.48e09e45c5":"Teisinga","res-forge-choice-board.13f66243ef":"Pirmenybė","res-forge-choice-board.55559438c9":"B mažiausiai nusileidžia bet kuriuo atskiru rodikliu.","res-forge-choice-board.03342dbb85":"Subalansuota","res-forge-choice-board.3cd298fe82":"D turi trumpiausią tikrinimo kelią.","res-forge-choice-board.baf123fc17":"Aiškiausia","res-forge-choice-board.58adc98abc":"C veikia plačiausiame palaikomų mašinų rinkinyje.","res-forge-choice-board.b2df292ee2":"Plačiausia","res-forge-choice-board.7987c4ffa8":"B perkelia mažiausiai duomenų ir užtrunka ilgiau.","res-forge-choice-board.4e76f5796f":"Lengviausia","res-forge-choice-board.cda4a6b217":"A baigia greičiausiai ir dirbdamas laiko daugiausiai duomenų.","res-forge-choice-board.4cb3bb0fc4":"Greičiausia","res-forge-choice-board.ed798211fb":"D atsisako vieno perrašymo, kad būtų paprasta patikrinti.","res-forge-choice-board.2a318223e9":"Programa D","res-forge-choice-board.69a71f0df6":"C perkelia daugiau duomenų, kad ten patektų.","res-forge-choice-board.d7782ce200":"Programa C","res-forge-choice-board.018761680d":"B užtrunka ilgiau.","res-forge-choice-board.d2307ff43a":"Programa B","res-forge-choice-board.4c06d2baf8":"A dirbdamas laiko daugiausiai duomenų.","res-forge-choice-board.2be70eef66":"Programa A","res-forge-choice-board.97876b8380":"Tikrinimas","res-forge-choice-board.2940ff1e5f":"Mašinos","res-forge-choice-board.89c8a2851d":"Atmintis","res-forge-choice-board.6c82e6dd86":"Laikas","res-forge-choice-instrument.e786244260":"Priimama kaina","res-forge-choice-instrument.fd9a9f965e":"Santykinis modeliuotas vėlavimas","res-forge-choice-instrument.24d3e4fdd9":"Stiprumas","res-forge-choice-instrument.6853c98a6f":"Narys","res-forge-conflict-board.0e565b0b3e":"Šioje lentoje nė viena juosta nesibaigia sugeneruotu atsarginės logikos kodu. Kiekviena baigiasi pavadintu rezultatu\n          ir asmeniu, kuriam priklauso kitas ėjimas.","res-forge-conflict-board.bb54db510a":"Priimti","res-forge-conflict-board.09c3f0d154":"nėra atstovaujama patikros sutartimi","res-forge-conflict-board.75e6b42fc5":"Ne apimtyje","res-forge-conflict-board.281dd83602":"Išplėsti","res-forge-conflict-board.8a97b9af81":"teorijos ir biudžeto riba","res-forge-conflict-board.bc7819b34f":"Nežinoma","res-forge-conflict-board.3e0fb17cab":"Paaiškinti","res-forge-conflict-board.7835f9c578":"atmeta partiją","res-forge-conflict-board.9522606498":"grąžina neutralų bendrą kiekį","res-forge-conflict-board.e9a46a96e9":"Dviprasmiška","res-forge-conflict-board.d36f29cacf":"Suderinti","res-forge-conflict-board.9a064eb243":"kalboje L nėra kandidato","res-forge-conflict-board.5f20d0f3ac":"Netenkinama","res-forge-conflict-board.151864867d":"Šešios vieno reikalavimo sąlygos","res-forge-conflict-board.426475873e":"rezultatas gaunamas per fiksuotą laiko langą","res-forge-conflict-board.6933c35154":"koreguojantis įrašas gali sumažinti bendrą kiekį","res-forge-conflict-board.4bf7985a78":"rezultatas yra tikslus iki paskutinio vieneto","res-forge-conflict-board.55dca06fb3":"tuščia partija priimama","res-forge-conflict-board.5b3e0d86e8":"bendras kiekis niekada nemažėja, kai pridedami įrašai","res-forge-conflict-board.33f78f4681":"kiekviena suma lieka deklaruotame diapazone","res-forge-consumer-glyph.9154742cfc":"Darbas vienu sakiniu","res-forge-consumer-glyph.b7d5d68aa8":"Laikykite kiekvieną skaitymą saugioje riboje","res-forge-consumer-glyph.5a29585e3f":"Bandymai","res-forge-consumer-glyph.6bd1f59b85":"du nepavyksta atvejui","res-forge-consumer-glyph.059c3755e1":"du atvyksta","res-forge-consumer-glyph.d3f5d23e46":"vienas neša antspaudą","res-forge-consumer-glyph.6bb9173137":"jis ieško","res-forge-consumer-glyph.50814a267d":"daug galimų programų","res-forge-consumer-glyph.64c675f85c":"jis atmeta","res-forge-consumer-glyph.7403925825":"viską, kas nepavyksta vienam atvejui","res-forge-consumer-glyph.c1a77ef9ed":"jis sako, kaip stipriai tikrino","res-forge-consumer-glyph.691b10181f":"ir kur tikrinimas sustoja","res-forge-consumer-glyph.100ec4462d":"įrodymai","res-forge-consumer-glyph.88acf54a65":"kartais jokios programos","res-forge-consumer-glyph.72dc433046":"Atsakymas gali būti jokia programa","res-forge-cost-vector.140b63310c":"Kandidatas C","res-forge-cost-vector.2437a7ecbd":"Įrodymai pagal tikslą","res-forge-cost-vector.25b7302067":"Palyginimas, kuris perkeliamas į kitą eksperimento paketą.","res-forge-cost-vector.26d24d71f0":"Atminties srautas","res-forge-cost-vector.3e39972526":"Vėlavimas","res-forge-cost-vector.405bdec664":"Matavimo nėra","res-forge-cost-vector.4b1dda27e1":"Ko vektorius nėra","res-forge-cost-vector.555486354d":"Kodo dydis","res-forge-cost-vector.5d0b1f6647":"Dvi linijos susikerta, todėl nė vienas kandidatas nėra atsakymas pats savaime.","res-forge-cost-vector.66374d941d":"Išmatuota aparatinėje įrangoje","res-forge-cost-vector.89a596e251":"Tuščias langelis yra teiginys: įrodymų sudėtingumas buvo modeliuojamas, bet niekada neišmatuotas.","res-forge-cost-vector.8a4da1dcc8":"Vieta, kur modelio išvestis gali pakeisti matavimą.","res-forge-cost-vector.ab8dd4df08":"Brangesnis","res-forge-cost-vector.ac46a8c74c":"Įrodymų sudėtingumas","res-forge-cost-vector.ad638eff4a":"Keturi tikslai, du kandidatai, vienas eksperimentas","res-forge-cost-vector.b0b01215a0":"Kandidatas D","res-forge-cost-vector.bf8197e03c":"Santykinės pozicijos viename eksperimente, aukščiau reiškia brangiau.","res-forge-cost-vector.cd05967fea":"Modeliuota prieš bet kokį paleidimą","res-forge-cost-vector.ec8e6defbf":"Vienas balas, pagal kurį galima reitinguoti du kandidatus.","res-forge-cost-vector.f4cfc474fa":"Pigesnis","res-forge-counterexample-loop.aca21ce064":"sukuria naują specifikacijos tapatybę","res-forge-counterexample-loop.fb8953469c":"PRIDĖTI SĄLYGĄ","res-forge-counterexample-loop.7e5559029b":"vykdymas tęsiasi ta pačia tapatybe","res-forge-counterexample-loop.89ad46cbd8":"PRIDĖTI ATVEJĮ","res-forge-counterexample-loop.9001aab10f":"DU TEISĖTI ATSAKYMAI Į GEDIMĄ","res-forge-counterexample-loop.8888c622ac":"ko buvo paprašyta tikrintuvo","res-forge-counterexample-loop.ec6e54733d":"stulpelis niekada nepraranda eilutės","res-forge-counterexample-loop.2a117d0937":"ĮRODYMAI, KURIUOS TURI ATITIKTI KITAS KANDIDATAS","res-forge-counterexample-loop.da7195483c":"Pasirinkite tobulinimo ciklo iteraciją","res-forge-counterexample-loop.a0c4d76862":"Trečiasis kandidatas atitinka visus užfiksuotus įsipareigojimus. Tikrintuvas neranda jokio pažeidžiančio įvesties duomenų palaikomoje srityje ir grąžina įrodymą su šalia jo išvardytomis prielaidomis.","res-forge-counterexample-loop.f4800df8d1":"iš","res-forge-counterexample-loop.2c3cbd53a7":"daug","res-forge-counterexample-loop.d052634571":"praplėsti","res-forge-counterexample-loop.c7e42d43b0":"apsauga","res-forge-counterexample-loop.11f6ad8ec5":"x","res-forge-counterexample-loop.fcdd12a167":"FORMAI PATVIRTINTA, prielaidos išvardytos","res-forge-counterexample-loop.02b8a8db00":"visiems x iš i32, plius abu užfiksuoti atvejai","res-forge-counterexample-loop.30f7f19326":"Antrasis kandidatas turi atitikti pavyzdžius ir perpildymo atvejį kartu. Jis išplečia tarpinį rezultatą prieš daugindamas, o tikrintuvas grąžina antrą atvejį, kurio specifikacija niekada nebuvo numačiusi: tuščią įvestį.","res-forge-counterexample-loop.02dc309df7":"UŽGINČYTA, rastas pavyzdys","res-forge-counterexample-loop.9ab3ad07a9":"visiems x iš i32, plius užfiksuotas atvejis","res-forge-counterexample-loop.47d7508d9a":"Pirmasis kandidatas atitinka tris pateiktus pavyzdžius. Tikrintuvas išieško visą i32 ir grąžina vieną konkretų įvesties duomenį, kai padidintas produktas palieka deklaruotą diapazoną.","res-forge-counterexample-loop.ad5fa3b2c6":"visiems x iš i32","res-forge-counterexample-loop.d1c8b37b24":"x = tuščia įvestis","res-forge-counterexample-loop.b412089d87":"x = 2147483647, perpildymas","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":"niekas šiame lape nesuveda keturių tikslų į vieną skaičių","res-forge-decision-record.d327f7b3ba":"Nėra vieno rango balo","res-forge-decision-record.6a7eee59c0":"Nepasirinkta ir kodėl","res-forge-decision-record.3e7c118949":"Pasirinko","res-forge-decision-record.1918daaba9":"Pasirinktas narys","res-forge-decision-record.974ff8bb6e":"Tikslų rinkinys","res-forge-decision-record.e38c2194b4":"formaliai patvirtinta","res-forge-decision-record.ea2dfcc9cc":"Užtikrinimo riba","res-forge-decision-record.1ccf5d25df":"Specifikacija","res-forge-decision-record.5a445661ea":"dominuoja","res-forge-decision-record.f950982dd0":"Identiškas pagal bet kurią politiką","res-forge-decision-record.e6f8a915dc":"Riba","res-forge-decision-record.473161067f":"Pasirinkimo politika","res-forge-decision-record.1a7d89d441":"tikslo atitiktis","res-forge-decision-record.b3c5533e86":"atminties judėjimas","res-forge-decision-record.544852fd7a":"paprasčiausias įrodymas","res-forge-decision-record.6bf0b2c0d8":"ilgesnis audito kelias, vietoj to įgyjant platesnę tikslo atitiktį","res-forge-decision-record.fdd18306eb":"Narys C","res-forge-decision-record.ee96b43256":"ilgesnis audito kelias, vietoj to įgyjant mažesnį judėjimą","res-forge-decision-record.1e19ce513c":"Narys B","res-forge-decision-record.7ad441b0c0":"ilgesnis audito kelias nei pasirinktas narys aktyviame rinkinyje","res-forge-decision-record.d04e27e317":"Narys A","res-forge-decision-record.fec4a6c489":"Reguliuojama programa skaito tą pačią ribą išilgai įrodymų ašies ir pasirenka narį D.","res-forge-decision-record.32cba0b9da":"tiesiogiausias audito kelias","res-forge-decision-record.f88efb9bc7":"Narys D","res-forge-decision-record.47942077ae":"Paprasčiausias įrodymas","res-forge-decision-record.e9647ad29d":"veikia su mažiau palaikomų tikslų, mainant aprėptį į audito kelią","res-forge-decision-record.baede38a31":"veikia su mažiau palaikomų tikslų, mainant aprėptį į judėjimą","res-forge-decision-record.7b357b2d93":"veikia su mažiau palaikomų tikslų nei pasirinktas narys","res-forge-decision-record.2a6987fbaf":"Valda, išskirstyta per mišrią įrangą, skaito tą pačią ribą išilgai tikslo ašies ir pasirenka narį C.","res-forge-decision-record.462746df39":"plačiausia tikslo atitiktis","res-forge-decision-record.ad59e3b102":"Plačiausias","res-forge-decision-record.6235c63244":"perkelia daugiau duomenų ir vietoj to išlaiko trumpesnę išvestį","res-forge-decision-record.709e1b623c":"perkelia daugiau duomenų, išskirstytų per daugiau palaikomų tikslų","res-forge-decision-record.7efb4f14c6":"perkelia daugiau duomenų nei pasirinktas narys aktyviame rinkinyje","res-forge-decision-record.26929cd71c":"Diegimas, apribotas atminties srauto, skaito tą pačią ribą išilgai judėjimo ašies ir pasirenka narį B.","res-forge-decision-record.993033f0b5":"mažiausias atminties judėjimas","res-forge-decision-record.4e76f5796f":"Liekniausias","res-forge-decision-record.344f41f998":"didesnis modeliuojamas vėlavimas, o jo trumpesnis audito kelias nėra ašis","res-forge-decision-record.ed3d6e1e77":"didesnis modeliuojamas vėlavimas, o jo aprėptis čia nėra apmokama","res-forge-decision-record.0be3560065":"didesnis modeliuojamas vėlavimas nei pasirinktas narys aktyviame rinkinyje","res-forge-decision-record.b8b9888522":"Inžinerijos komanda su viena tiksline mašina skaito ribą išilgai vėlavimo ašies ir pasirenka narį A.","res-forge-decision-record.ffefb7fa98":"mažiausias modeliuojamas vėlavimas","res-forge-decision-record.4cb3bb0fc4":"Greičiausias","res-forge-equivalence-space.638d0226a9":"tik santykinės padėtys, be išmatuotų verčių","res-forge-equivalence-space.b727a735e7":"judėjimas","res-forge-equivalence-space.e8c39c4d7e":"operacijos","res-forge-equivalence-space.4619486033":"išskirta forma","res-forge-equivalence-space.f42512d469":"Išskyrimo tikslas","res-forge-equivalence-space.92149cf8ce":"SEED","res-forge-equivalence-space.217cb1c2eb":"Viena išraiška išplėsta į keturias lygiaverčių formų klases, su keliu į pasirinktą išskyrimo tikslą apšviestu ir viena atmesta briauna nubrėžta, bet niekada neapšviesta","res-forge-equivalence-space.ccce87f620":"Išraiška išplėsta į lygiaverčių formų tinklą, su sąlygomis ant briaunų","res-forge-equivalence-space.27fa456ce7":"Išskyrimas dėl perkeliamumo vietoj to taiko stiprumo mažinimą ir išdėstymo pakeitimą. Jis atlieka daugiau operacijų nei algebrinė forma ir pasiekia plačiausią palaikomų tikslų rinkinį.","res-forge-equivalence-space.27d7e452b1":"(a << 1) + a, supakuota","res-forge-equivalence-space.feba5b9c56":"Išskyrimas dėl judėjimo perkelia tą patį algebrinį žingsnį į suliejimo klasę. Jis atlieka mažiau operacijų nei išdėstymo forma ir turi mažiausią atminties judėjimą iš trijų.","res-forge-equivalence-space.37226e169c":"fuse(a + a + a)","res-forge-equivalence-space.a2f4cd4d38":"Išskyrimas dėl delsos ima algebrinę formą ir ten sustoja. Jis atlieka mažiausiai operacijų ir perkelia daugiau duomenų nei sulieta forma, ir jam priklauso įrodyta pločio sąlyga.","res-forge-equivalence-space.4b10d3e274":"3 * a","res-forge-equivalence-space.dfb1d5b6c2":"PERKELIAMUMAS","res-forge-equivalence-space.37f756c7d0":"JUDĖJIMAS","res-forge-equivalence-space.49d6c10ece":"DELSA","res-forge-equivalence-space.8e43c13f74":"f32 pergrupuoti atsisakyta","res-forge-equivalence-space.13d2c4a154":"i32 plotis įrodytas","res-forge-equivalence-space.dcc4e6c574":"IŠDĖSTYMO KLASĖ","res-forge-equivalence-space.69688a961b":"SULIEJIMO KLASĖ","res-forge-equivalence-space.16cbdc05fc":"STIPRUMO KLASĖ","res-forge-equivalence-space.dbb0f90765":"ALGEBRINĖ KLASĖ","res-forge-equivalence-space.bc109fb076":"perkeliamas","res-forge-equivalence-space.7aca22de0b":"supakuotas","res-forge-equivalence-space.1f08a3216a":"sulietas","res-forge-equivalence-space.b0c659fe95":"srautu","res-forge-equivalence-space.28e1e451f0":"f32 pergrupuoti","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":"Reklamai reikia įrodymų, o ne kontrolės. Ši galimybė neprieinama jokioje šios lentos būsenoje, ir būtent tai yra taisyklė, kuri nustatoma.","res-forge-evidence-cards.61c57736e7":"Reklamuoti","res-forge-evidence-cards.7d903d3344":"Reklamos taisyklė","res-forge-evidence-cards.8fc2a131ae":"vienas mazgas pakeistas, ir etiketė vėl tampa taisyklinga","res-forge-evidence-cards.4acf3ac41d":"Kandidatų bylos","res-forge-evidence-cards.65748fb5d3":"plaukiojantis to paties grafo regionas, kurio šis kodavimas neatspindi","res-forge-evidence-cards.d274f5b4e3":"Kas nenustatyta","res-forge-evidence-cards.8f4f743d7f":"tiksli sveikųjų skaičių semantika ir paketo deklaruotas grynas regionas","res-forge-evidence-cards.7d37b7550c":"Kokiomis prielaidomis","res-forge-evidence-cards.2bae06de12":"kiekviena įvestis, kurią gali išreikšti formalioji teorija","res-forge-evidence-cards.e700afa7f9":"Kurioje srityje","res-forge-evidence-cards.8be740fd8c":"užkoduotas ryšys visoje palaikomoje srityje","res-forge-evidence-cards.b76e542d96":"Kas patikrinta","res-forge-evidence-cards.906c590060":"palaikomas universalus ryšys įrodytas pagal nurodytas prielaidas","res-forge-evidence-cards.ea66d3cd71":"Formaliai patvirtinta","res-forge-evidence-cards.b7330133c1":"Kandidatas R","res-forge-evidence-cards.8e950fc545":"bet kokia įvestis už pateikto rinkinio ribų, įskaitant kiekybinę sąlygą","res-forge-evidence-cards.72d0fc35c6":"referencinis elgesys, pateiktas su paketu, jo paties srityje","res-forge-evidence-cards.2c8e59076b":"pateiktos įvestys, po vieną","res-forge-evidence-cards.961d36c1e2":"konkretūs atvejai, įrašyti į specifikaciją","res-forge-evidence-cards.593aeb47dc":"deklaruoti konkretūs atvejai praėjo, ir nieko daugiau nebuvo teigiama","res-forge-evidence-cards.919003799d":"Išbandyta","res-forge-evidence-cards.24f43cdd11":"Kandidatas Q","res-forge-evidence-cards.8af32eb207":"elgesys tikslinėje profilyje, kurio vykdymo nuoroda neįvardija","res-forge-evidence-cards.d7201bf2e3":"skaitinė šeima ir paketo leisti efektai, abu fiksuoti","res-forge-evidence-cards.dfaa1686c4":"deklaruotas įvesties diapazonas viename palaikomame tikslinės profilyje","res-forge-evidence-cards.707e2a56c9":"įrodytas ryšys, tada planas ir artefaktas, kuris jį įgyvendino","res-forge-evidence-cards.f092d6fe39":"grafo, plano, artefakto ir rezultato tapatybė išlieka susieta","res-forge-evidence-cards.32d888fecc":"Vykdymas susietas","res-forge-evidence-cards.0483882b1c":"Kandidatas P","res-forge-experiment-packet.7a6aad1d4c":"naujas eksperimentas, atskiras įrašas","res-forge-experiment-packet.aad6b5ae20":"PAKETO TAPATYBĖ","res-forge-experiment-packet.bbcc172a1e":"JEI KEISTŲSI KURIS NORS LAUKAS","res-forge-experiment-packet.f5ca7850da":"užantspauduota paleidimo pradžioje","res-forge-experiment-packet.1f7febf95f":"DEKLARUOTA POLITIKA","res-forge-experiment-packet.39b2c01e18":"KALBA UŽDARYTA","res-forge-experiment-packet.c2bb6fa0c5":"SPECIFIKACIJA NEKEIČIAMA","res-forge-experiment-packet.4484cb6fa9":"pranešti nežinoma","res-forge-experiment-packet.feaf4dd4e6":"riba: dydis <= 6","res-forge-experiment-packet.5aa50aebf7":"formalus, kur palaikoma","res-forge-experiment-packet.31be469709":"POLITIKA","res-forge-experiment-packet.e1e3e98714":"kodo dydis","res-forge-experiment-packet.b3c5533e86":"atminties judėjimas","res-forge-experiment-packet.e64e22b150":"TIKSLAI","res-forge-experiment-packet.48aef70526":"bendra tvarka fiksuota","res-forge-experiment-packet.294793bfad":"dvejetainis papildymas, 32 bitai","res-forge-experiment-packet.1e9edfb9ee":"SEMANTIKA","res-forge-experiment-packet.9c5c96b457":"jokio išorinio poveikio","res-forge-experiment-packet.d835dab5b4":"tikslus sveikasis skaičius","res-forge-experiment-packet.2a3ffd9ebb":"KALBA","res-forge-experiment-packet.486c4f6f95":"1 eskizas, 2 skylės","res-forge-experiment-packet.9254dc6ec8":"1 universalus ryšys","res-forge-experiment-packet.dbeac903da":"4 pavyzdžiai","res-forge-experiment-packet.32082e06e3":"SPECIFIKACIJA","res-forge-forms-instrument.b050566d50":"visiškai ne","res-forge-forms-instrument.d680340c0b":"iš dalies","res-forge-forms-instrument.ad22e7e15b":"išsprendžia","res-forge-forms-instrument.7cb8793606":"neišsprendžia","res-forge-forms-instrument.ed5a4b874a":"iš dalies išsprendžia","res-forge-four-silences.a2b701e0b3":"Nėra sukuriama jokia programa, ir priežastis įvardijama.","res-forge-four-silences.5faa59d4bc":"Rezultatas","res-forge-four-silences.5647cada0f":"Kas tai pakeistų","res-forge-four-silences.7661e6591f":"Kas atsitiko","res-forge-four-silences.1189b54fc7":"Ko buvo prašyta","res-forge-four-silences.c648f0b37b":"Keturios priežastys, kodėl atsakymas yra ne programa","res-forge-four-silences.2637ce69f5":"PROGRAMA","res-forge-four-silences.f61fa98a3b":"MODELIS","res-forge-four-silences.cbbef8ce7e":"IŠORĖ","res-forge-four-silences.ce75fc2aec":"DUOTA RIBOS","res-forge-four-silences.3a339a1749":"2 TAISYKLĖ","res-forge-four-silences.35a7d11e05":"1 TAISYKLĖ","res-forge-four-silences.8cc9c3c016":"Grįžti prie to, ką apima teiginys","res-forge-four-silences.971c87e299":"Įtraukite paslaugą į modelį arba susiaurinkite teiginį.","res-forge-four-silences.88868a0c58":"Dalis elgesio yra už ribos, kurią tikrinimas gali apibūdinti.","res-forge-four-silences.181032c74d":"paprašyti išorinės paslaugos ribos","res-forge-four-silences.407dfebcf1":"Grįžti su daugiau vietos","res-forge-four-silences.97cd9b5795":"Ilgesnis paleidimas arba kitas metodas.","res-forge-four-silences.33af89d7fc":"Paieška pasiekė jai duotą ribą ir sustojo prieš išspręsdama klausimą.","res-forge-four-silences.086f7cbb23":"viena taisyklė apie kiekvieną palaikomą įvestį","res-forge-four-silences.74864a1ff8":"Grįžti dėl vieno sprendimo","res-forge-four-silences.7c78667c01":"Pateikite dar vieną pavyzdį.","res-forge-four-silences.fd58916c0c":"Du skirtingi elgesiai sutampa visais trimis pavyzdžiais ir nesutampa dėl ketvirtos įvesties.","res-forge-four-silences.96dee44862":"3 duoda 9","res-forge-four-silences.9179befc0c":"2 duoda 4","res-forge-four-silences.3d47eae588":"1 duoda 1","res-forge-four-silences.35f6e4ab6c":"Grįžti pas tą, kas parašė taisykles","res-forge-four-silences.5c332290c5":"Sušvelninkite vieną iš dviejų taisyklių.","res-forge-four-silences.ece7f203f5":"Abi taisyklės susiduria tiesiogiai. Neigiama įvestis negali patenkinti abiejų vienu metu.","res-forge-four-silences.b25d65ea16":"grąžinti įvestį nepakeistą","res-forge-four-silences.a4d3a2c877":"visada grąžinti teigiamą skaičių","res-forge-four-silences.20cb7eef2c":"Už modelio ribų","res-forge-four-silences.c439038abe":"Nepadengta","res-forge-four-silences.04ae6467a0":"Nėra išvados","res-forge-four-silences.280c5e7fc6":"Du skaitymai","res-forge-four-silences.3fe459f958":"Niekas netinka","res-forge-graph-asset.49281c01cf":"grąžinimas į gerai suformuotą","res-forge-graph-asset.670f6bdd9a":"nauja kandidato tapatybė","res-forge-graph-asset.197e419ad3":"NAUJA GRAFIKO TAPATYBĖ","res-forge-graph-asset.33dd31d4b3":"PAKEISTI PAŽYMĖTĄ MAZGĄ","res-forge-graph-asset.d7b94d76cf":"VIENAS MAZGAS, PAŽYMĖTAS VISUOSE TRIJUOSE ATVAIZDUOSE","res-forge-graph-asset.990742f8b4":"buferiai","res-forge-graph-asset.1bdbf6a26d":"apriboti, išsaugoti išvestį","res-forge-graph-asset.e9e90fc64f":"mastelis, daugyba, sudėtis","res-forge-graph-asset.851967b4a3":"įkelti x, k, lo","res-forge-graph-asset.46599c6b1e":"operatorių pavadinimai atitinka mazgų pavadinimus","res-forge-graph-asset.59cfc3e2d4":"išvestis = apriboti(sudėtis(m, lo))","res-forge-graph-asset.c73bb57286":"m = daugyba(s, k)","res-forge-graph-asset.bdc36b0a67":"s = mastelis(x)","res-forge-graph-asset.2cef65c1d0":"TAS PATS OBJEKTAS","res-forge-graph-asset.31e8d812fa":"DUOMENŲ SRAUTAS","res-forge-graph-asset.891bbd450e":"IŠRAIŠKA","res-forge-graph-asset.e7bd56e1ec":"GRAPH","res-forge-graph-asset.30a5d0d91f":"Tas pats semantinis grafikas, pateiktas kaip mazgų grafikas, kaip išraiška ir kaip duomenų srautas,\n              su vienu mazgu, pažymėtu visuose trijuose atvaizduose ir sujungtu viena taisykle","res-forge-graph-asset.0be82d1c87":"Vienas semantinis grafikas, nupieštas trimis būdais: kaip grafikas, kaip išraiška ir kaip duomenų srautas, su apribojimo mazgu, pažymėtu visuose trijuose","res-forge-graph-asset.da528b9287":"FORMAI PATVIRTINTA","res-forge-graph-asset.894f6d1562":"GRAFIKO TAPATYBĖ","res-forge-graph-asset.33daecb09d":"išvestis : i32","res-forge-graph-asset.a4ab4f2116":"apriboti","res-forge-graph-asset.58d1bbce29":"sudėtis","res-forge-graph-asset.2c3cbd53a7":"daugyba","res-forge-graph-asset.60020d1b19":"mastelis","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":"Nėra su kuo palyginti","res-forge-intent-cards.f2b3a1f895":"Parašyta tiesiai iš sakinio","res-forge-intent-cards.8af3e09e73":"Į tą patį sakinį atsakyta tiesiogiai","res-forge-intent-cards.ee3c9325a5":"Jos gali nepavykti, ir tai yra esmė","res-forge-intent-cards.a014f9c662":"Forma išlaikoma, tarpai ieškomi.","res-forge-intent-cards.d40fae93b9":"Du tarpai","res-forge-intent-cards.32fd056d3d":"Eskizas","res-forge-intent-cards.5b6d56b37e":"Patikrinta kiekvienu skaitymu, kurį taisyklė gali įvardyti.","res-forge-intent-cards.43a980aaf8":"skaitymo, atsakymas lieka tarp 0 ir 100 ir niekada nepakinta daugiau nei vienu\n                  žingsniu.","res-forge-intent-cards.d8784ae2ea":"Kiekvienam","res-forge-intent-cards.57f6dcedb1":"Viena eilutė","res-forge-intent-cards.78e1790e29":"Taisyklė","res-forge-intent-cards.85ee9e64bf":"Patikrinta pagal pateiktus skaitymus.","res-forge-intent-cards.ef73fdd1c8":"Keturi atvejai","res-forge-intent-cards.eb01bf04c9":"Pavyzdžiai","res-forge-intent-cards.77d979bc52":"Trys formos, kurias sakinys gali įgyti","res-forge-intent-cards.b784f64740":"Jis skyla į tris formas, ir kiekviena gali būti patikrinta.","res-forge-intent-cards.6802fdd79e":"Ko buvo prašyta","res-forge-intent-cards.650c85708e":"trūkstamas žingsnis","res-forge-intent-cards.d2fb792999":"apriboti, kiek toli jis gali šokti","res-forge-intent-cards.d2fde1a28f":"laikyti jį diapazone","res-forge-intent-cards.25f1a0d208":"paimti rodmenį","res-forge-intent-cards.94407bb3ee":"„Laikyk kiekvieną rodmenį saugioje zonoje ir niekada neleisk jam šokti.“","res-forge-intent-modes-instrument.fd197e80cc":"Forma pasirenkama, o ne sujungiama. Įraše išsaugoma, kuri forma turėjo pretenziją.","res-forge-intent-modes-instrument.a6c44a9033":"Apima","res-forge-intent-modes-instrument.abd6628786":"Trys būdai nurodyti, ką programa turėtų daryti","res-forge-intent-routes.5170330dcc":"Abi eilutės palieka tą patį reikalavimą. Tik viena iš jų vis dar atvira brėžinio apačioje.","res-forge-intent-routes.544852fd7a":"paprasčiausias įrodymas","res-forge-intent-routes.3e7c118949":"Pasirinko","res-forge-intent-routes.9a976fc228":"Pasirinkta","res-forge-intent-routes.239aff5852":"pasienyje","res-forge-intent-routes.be601df25e":"Tyrimai","res-forge-intent-routes.f577430e54":"naujas projektas","res-forge-intent-routes.f6ef754e2d":"Užfiksuotas taškas","res-forge-intent-routes.7b2d03931b":"Įprastinis","res-forge-intent-routes.f18b41890d":"elgsena, apribojimai ir rizika, užrašyti vieną kartą","res-forge-intent-routes.e9c366b4f3":"Reikalavimas","res-forge-intent-routes.eb9ceb1149":"kontrpavyzdys","res-forge-intent-routes.462746df39":"plačiausias tikslinis atitikimas","res-forge-intent-routes.120e0af75a":"mažiausias judėjimas","res-forge-intent-routes.cd3e7bf034":"optimizavimo projektas","res-forge-intent-routes.92be6abbc0":"viena kodo bazė","res-forge-intent-routes.9732c542fc":"įgyvendinimas parašytas","res-forge-intent-routes.27df60a6a2":"architektūra pasirinkta","res-forge-kera-boundary.1ccf5d25df":"Specifikacija","res-forge-kera-boundary.29a184b65c":"grafas","res-forge-kera-boundary.2fa9505626":"artefaktas","res-forge-kera-boundary.37a5301a88":"rezultatas","res-forge-kera-boundary.3bd7b119dd":"kiekvienas nedominuojantis narys","res-forge-kera-boundary.4aca16af35":"Patikros rezultatas","res-forge-kera-boundary.61792020d0":"Tikslų frontas","res-forge-kera-boundary.646e287869":"įrodymas ir jo prielaidos","res-forge-kera-boundary.6f8f7df48d":"FORGE","res-forge-kera-boundary.700bb94783":"redukcijos","res-forge-kera-boundary.7bc555991d":"fiksuota","res-forge-kera-boundary.7c1df38fca":"PATVIRTINTAS SEMANTINIS GRAFAS","res-forge-kera-boundary.807a40a32f":"rodo atgal į grafą","res-forge-kera-boundary.8b36233e89":"patvirtintas semantinis grafas su įsipareigojimais","res-forge-kera-boundary.8cd3def21e":"šioje pusėje nėra tikslinio emiterio","res-forge-kera-boundary.970c175475":"tikslų profilis","res-forge-kera-boundary.9c31467d05":"Laikoma šioje vartų pusėje","res-forge-kera-boundary.a30f1285d5":"VYKDYMO NUORODA","res-forge-kera-boundary.b727a735e7":"judėjimas","res-forge-kera-boundary.bed97175b0":"planas","res-forge-kera-boundary.c9ff38c8bb":"prisirišta tyrimo problema","res-forge-kera-boundary.cce55e4309":"tvarka","res-forge-kera-boundary.d4f766efab":"Trys laikymai, vienas objektas kerta","res-forge-kera-boundary.efe0c41bcb":"KERA","res-forge-loop-instrument.1e76c7e5b8":"Viena kontrpavyzdžių kilpa, keturi etapai","res-forge-pareto-frontier.e2ee360818":"PRIDĖTI ENERGIJOS TIKSLĄ","res-forge-pareto-frontier.b0e56d1efe":"kreivė yra fiksuota, o keičiasi tik politika","res-forge-pareto-frontier.787ca603fd":"riba priklauso tikslų rinkiniui","res-forge-pareto-frontier.d0eeccbe8d":"pasirinko","res-forge-pareto-frontier.173d916846":"energija","res-forge-pareto-frontier.1a7d89d441":"tikslo atitikimas","res-forge-pareto-frontier.b727a735e7":"judėjimas","res-forge-pareto-frontier.c3b9a01442":"latencija","res-forge-pareto-frontier.3404b13cac":"tikslų rinkinys","res-forge-pareto-frontier.e38c2194b4":"formaliai patvirtinta","res-forge-pareto-frontier.bf984aca27":"užtikrinimo riba","res-forge-pareto-frontier.03d6a194f4":"specifikacija","res-forge-pareto-frontier.33ca7f61b6":"ENERGIJOS GRĄŽA","res-forge-pareto-frontier.0acbd1c769":"ATMINTIES JUDĖJIMAS","res-forge-pareto-frontier.4b93d5e7ea":"LATENCIJA, DIDESNĖ Į DEŠINĘ","res-forge-pareto-frontier.43bf415954":"Latencijos ir atminties judėjimo tarpusavio priklausomybės grafikas, kuriame tikslo atitikimas pavaizduotas žymeklio dydžiu, keturi nedominuojami nariai sujungti ribos kreive, o septyni dominuojami kandidatai sujungti su juos dominuojančiu nariu","res-forge-pareto-frontier.f2b023979d":"xMinYMid meet","res-forge-pareto-frontier.473161067f":"Pasirinkimo politika","res-forge-pareto-frontier.7c1e368123":"Subalansuotos alkūnės politika taip pat pasirenka kandidatą C, remdamasi kitu argumentu: tai taškas, kuriame atsisakius daugiau latenijos nebegaunama daug judėjimo. Tai, kad dvi politikos pasirenka tą patį narį, yra šios ribos faktas, o įraše vis tiek nurodoma, kuri politika jį pasirinko.","res-forge-pareto-frontier.b7aedb3b70":"Paprasčiausio įrodymo politika pasirenka kandidatą D. Ji atsisako vieno agresyvaus perrašymo, todėl jos patikros įsipareigojimas yra mažiausias iš keturių.","res-forge-pareto-frontier.5614e2e73d":"Mažiausio judėjimo politika pasirenka kandidatą B. Jos kritinis kelias yra ilgiausias iš keturių, o tai yra kaina už mažiausio duomenų kiekio judėjimą.","res-forge-pareto-frontier.14826696ec":"Greičiausia politika pasirenka kandidatą A. Ji laiko didžiausią darbinį rinkinį ant ribos, o įrašas tai išlaiko šalia pasirinkimo, o ne paslepia balo viduje.","res-forge-pareto-frontier.c65681bb2d":"tikslo atitikimas: plačiausias","res-forge-pareto-frontier.b097d0ac54":"judėjimas: vidutinis","res-forge-pareto-frontier.05da02c2f2":"latencija: vidutinė","res-forge-pareto-frontier.d0b64e1eec":"tikslo atitikimas: vidutinis","res-forge-pareto-frontier.144e5e5e83":"judėjimas: mažesnis","res-forge-pareto-frontier.aa828b0585":"latencija: didesnė","res-forge-pareto-frontier.e3a088e260":"tikslo atitikimas: siauras","res-forge-pareto-frontier.6fc0d51b39":"judėjimas: mažiausias","res-forge-pareto-frontier.1b565dbd5d":"latencija: didžiausia","res-forge-pareto-frontier.79c0f24c30":"judėjimas: didžiausias","res-forge-pareto-frontier.83504b708a":"latencija: mažiausia","res-forge-pareto-frontier.37671e6ba6":"Subalansuota alkūnė","res-forge-pareto-frontier.47942077ae":"Paprasčiausias įrodymas","res-forge-pareto-frontier.8703111807":"Plačiausias tikslas","res-forge-pareto-frontier.0b2147fd0a":"Mažiausias judėjimas","res-forge-pareto-frontier.4cb3bb0fc4":"Greičiausias","res-forge-pareto-frontier.7e6396c2ce":"Plačiausio tikslo politika pasirenka kandidatą C. Ji veikia plačiausiame palaikomų tikslų rinkinyje ir yra tarp dviejų kraštutinumų abiejose ašyse.","res-forge-programme-boundary.97af50dd3d":"Vartai kerta tris paskelbtus žiedus ir sustoja ties branduolio riba. Išoriniai trys\n          gali būti tikrinami neatidarant vidinio.","res-forge-programme-boundary.9ba1f67469":"Tyrimų programa, o ne programinės įrangos pasiūlymas","res-forge-programme-boundary.f72e361ba7":"Publikavimo kontrolė","res-forge-programme-boundary.108e9b7f90":"laikoma tyrimo metodu","res-forge-programme-boundary.88306943fe":"Metodas","res-forge-programme-boundary.68836c550e":"Branduolys","res-forge-programme-boundary.175267da12":"teorijos maršrutizavimas","res-forge-programme-boundary.15e58bec8d":"biudžeto paskirstymas","res-forge-programme-boundary.b32f31d61d":"pasienio pozicija","res-forge-programme-boundary.6f3c47977c":"apibrėžtas matavimas","res-forge-programme-boundary.ff7fc62f3f":"užtikrinimo būsena","res-forge-programme-boundary.500aadccf6":"pasirinktas kandidatas","res-forge-programme-boundary.5faa59d4bc":"Rezultatas","res-forge-programme-boundary.6840659e94":"nežinomybės traktavimas","res-forge-programme-boundary.3404b13cac":"tikslų rinkinys","res-forge-programme-boundary.78a3386c55":"išteklių riba","res-forge-programme-boundary.90f54b8f1b":"leidžiama kalba","res-forge-programme-boundary.c445f7aab5":"specifikacijų korpusas","res-forge-programme-boundary.1ed77c3f7f":"Protokolas","res-forge-programme-boundary.aba4559466":"paminėtas ankstesnis menas","res-forge-programme-boundary.0c447c79ec":"tyrimo klausimas","res-forge-programme-boundary.002ff59811":"Klausimas","res-forge-programme-instrument.a725020675":"Būsena","res-forge-programme-instrument.dc4e08a408":"Pretenzija","res-forge-proof-parts-instrument.ba3fef96ae":"Penkių dalių įrodymas","res-forge-provenance-chain.040c236a24":"keturi iš devynių mazgų, ir tarp jų nėra užantspauduoto žingsnio","res-forge-provenance-chain.0ca6a997b6":"KĄ TURI ATKURTI PERŽAIDOS ĮRAŠAS","res-forge-provenance-chain.7c0a292070":"PREKĖS ŽENKLO TAŠKAS ŽYMI MAZGĄ, KURĮ TURI PALIESTI PERŽAIDOS TAKAS","res-forge-provenance-chain.763ad25abd":"užantspauduoti r:1c62e08","res-forge-provenance-chain.da528b9287":"FORMAI PATVIRTINTA","res-forge-provenance-chain.9106ca2738":"PASIRINKTA","res-forge-provenance-chain.416eb4fbb0":"riba","res-forge-provenance-chain.8e016346a6":"EKIVALENCIJOS KLASĖ","res-forge-provenance-chain.97d9eb838e":"cx 2","res-forge-provenance-chain.21fedfd21e":"kandidatas 2","res-forge-provenance-chain.2ce3ff82d2":"iš: kandidatas 2","res-forge-provenance-chain.656b15a358":"į: kandidatas 1 ir cx 1","res-forge-provenance-chain.a65edb573d":"TYRIMO ŽINGSNIS","res-forge-provenance-chain.b0b7ba4666":"PRIVATU","res-forge-provenance-chain.6495ecf841":"cx 1","res-forge-provenance-chain.7312546346":"kandidatas 1","res-forge-provenance-chain.32082e06e3":"SPECIFIKACIJA","res-forge-provenance-chain.4ee56d08c0":"Iš kairės į dešinę išvedimo grafikas: specifikacija, du kandidatai, du kontrpavyzdžiai,\n              vienas užantspauduotas vidinis žingsnis, ekvivalentiškumo klasė, riba ir pasirinktas patvirtintas\n              rezultatas","res-forge-provenance-chain.e259f512bc":"Išvedimo grafikas nuo specifikacijos iki pasirinkto patvirtinto kandidato, su vienu vidiniu žingsniu užantspauduotu, bet sujungtu","res-forge-provenance-chain.191f8b1087":"VYKDYMO SUSIEJIMAS","res-forge-provenance-chain.88be68d35d":"PATIKROS REZULTATAS","res-forge-provenance-chain.bdd7fdaa13":"KANDIDATAS 2","res-forge-provenance-chain.608c5b40ac":"SPECIFIKACIJA v1","res-forge-record-timeline.0794c4ea35":"Sprendimas priimtas","res-forge-record-timeline.0f9c9e32f9":"Versija, niekada šakos pavadinimas","res-forge-record-timeline.314d8e79c0":"Kodėl nebuvo pasirinktas kandidatas B?","res-forge-record-timeline.39ab49c337":"Tikslus nepavykęs įvestis, išsaugotas dėl geros priežasties","res-forge-record-timeline.4868056615":"Niekas šioje eilutėje nebuvo atkurta iš commit žinučių.","res-forge-record-timeline.4bd9342a8a":"Trys įrašai atsako į tai, ir nė vieno iš jų nereikia rekonstruoti.","res-forge-record-timeline.59d432b5cb":"Alternatyvos palygintos","res-forge-record-timeline.6546ec1158":"Recenzentas atvyksta ilgai vėliau","res-forge-record-timeline.6833948a23":"Parašyta tuo metu","res-forge-record-timeline.7d1e2e97e8":"Reikalavimas nurodytas","res-forge-record-timeline.90726e413a":"Atsako į klausimą","res-forge-record-timeline.aaddcdd4a5":"Tyrimo metodas, užantspauduotas","res-forge-record-timeline.ccf3d548fe":"Perskaityta atgal","res-forge-record-timeline.de805f67e3":"Penki kandidatai, vienas dominavimo ryšys","res-forge-record-timeline.e4a8371aea":"Įrašas, skaitomas iš kairės į dešinę","res-forge-record-timeline.e8412cdd3e":"Politika ir ją pagrindžianti institucija","res-forge-record-timeline.eeb026e98f":"Kontrpavyzdys užfiksuotas","res-forge-record-timeline.f4452aa131":"Pakopa ir apimtis, kurią ta pakopa dengia","res-forge-record-timeline.f65fb0cd45":"Užtikrintumas pasiektas","res-forge-search-field.f6d08e6875":"Santykiniai ilgiai, ne skaičiai","res-forge-search-field.e9fd9a1eaa":"Kas yra lauke","res-forge-search-field.fbd8250bed":"UNCHANGED FOR THE WHOLE RUN","res-forge-search-field.6a38722b12":"REIKALAVIMAS","res-forge-search-field.dbd3e24a6c":"Kandidatinių programų formų laukas trijose būsenose aplink vieną fiksuotą reikalavimo rėmą centre","res-forge-search-field.0c596f1034":"xMidYMid slice","res-forge-search-field.7be0fdc4e0":"Sukurta, tada pagauta","res-forge-search-field.9545c5f30a":"Nepraėjo atvejo","res-forge-search-field.e247bbc42c":"Visiškai nesukurta","res-forge-search-field.3d7da15c51":"Atmesta pagal tipą","res-forge-search-field.70c98ed3c6":"Leista tikrinti","res-forge-search-field.35633f30dd":"Atitinka taisykles","res-forge-search-field.50c026300b":"Priimta","res-forge-silence-instrument.3bc40f4b2a":"Keturi rezultatai, kurie grįžta be programos","res-forge-size-lattice.a82ce62110":"PLATESNĖ KALBA, NAUJAS EKSPERIMENTAS","res-forge-size-lattice.74ed41aa02":"MINIMALUS L KALBOJE, 5 AR MAŽIAU DYDŽIO","res-forge-size-lattice.4ca63f9c2e":"NEIEŠKOTA, NEPAREIKŠTA","res-forge-size-lattice.b79d0fac18":"DEKLARUOTA RIBĖ","res-forge-size-lattice.5e265fa4aa":"PIRMA KARTĄ PATVIRTINTA","res-forge-size-lattice.92664d7dff":"pastebėjimas, ne įrodymas","res-forge-size-lattice.950b23b925":"sutrauktas kaip pastebėtas dublikatas","res-forge-size-lattice.a615e7ad1a":"atmestas pagal tipą, prieš vertinimą","res-forge-size-lattice.6f389bc568":"priimtas","res-forge-specification-desk.65d9989d71":"ĮRODYMO FORMOS NĖRA KEITŲJOS","res-forge-specification-desk.166b5a63b2":"atitinka visus keturis pavyzdžius","res-forge-specification-desk.26a9ba5602":"x = -9","res-forge-specification-desk.5099050f90":"ATVEJIS, KURIS JUOS SKIRIA","res-forge-specification-desk.561f36ce2f":"vykdomas atsakymas su savo ribomis","res-forge-specification-desk.ca24d384c1":"orakulo sritis: tik nuo 0 iki 100","res-forge-specification-desk.3cee30a3ad":"NUORODA","res-forge-specification-desk.0d99250013":"struktūra fiksuota, atviros dvi tipuotos skylės","res-forge-specification-desk.c1dc5611bb":"grąžinti clamp(t,","res-forge-specification-desk.2e5baed7cb":"tegul t =","res-forge-specification-desk.b3274ca07a":"tegul s = scale(x)","res-forge-specification-desk.ebdeb573df":"ESKIZAS","res-forge-specification-desk.c597bbdbc1":"kiekvienas įvestis, kurią teorija gali išreikšti","res-forge-specification-desk.15ac2f23db":"visiems x palaikomoje srityje:","res-forge-specification-desk.61ed10966f":"APRIBOJIMAI","res-forge-specification-desk.0ec3e255af":"keturi atvejai, patikrinti tiksliai","res-forge-specification-desk.9659699670":"PAVYZDŽIAI","res-forge-specification-desk.191f4bd034":"apriboti mastelio keitimo reikšmę deklaruotame diapazone","res-forge-specification-desk.4ad49a4ec4":"VIENA TRANSFORMACIJA","res-forge-specification-desk.d9b48caf78":"pažeidžia monotoniškumą už orakulo srities ribų","res-forge-stack-path.4d5fa1b006":"Kiekviena sistema skaito tą patį objektą, o ne jo kopiją, todėl specifikacija, įrodymas, planas ir rezultatas lieka vienoje tapatybėje.","res-forge-stack-path.86506efb99":"rezultato tapatybė grįžta į pradinę grafiko tapatybę","res-forge-stack-path.c83a5945cb":"kur programa saugo patvirtintą būseną","res-forge-stack-path.55561848ab":"Aion","res-forge-stack-path.17ed2b5e88":"kur fizinės sistemos modelis yra specifikacijos dalis","res-forge-stack-path.1699ca16fb":"FMI ir Twin","res-forge-stack-path.d5f412e831":"Kera","res-forge-stack-path.3ab11b75ca":"Forge","res-forge-stack-path.11e7686a81":"Grafiko tapatybė","res-forge-stack-path.8e246a1e8d":"Forge plokštėje nėra tikslinio emiterio.","res-forge-technical-glyph.be601df25e":"Tyrimas","res-forge-technical-glyph.91a9d5d08f":"Specifikacija nekeičiama","res-forge-technical-glyph.c2237a2d15":"Eksperimento paketas","res-forge-technical-glyph.03d6a194f4":"specifikacija","res-forge-technical-glyph.e11523c5ff":"kalba","res-forge-technical-glyph.7b7f9366a3":"tikslai","res-forge-technical-glyph.f3753f1b6b":"užtikrinimas","res-forge-technical-glyph.9d78bc179c":"tipizuotas grafo regionas","res-forge-technical-glyph.2b90fe2fea":"laikas, judėjimas, dydis","res-forge-technical-glyph.a8a172a738":"užginčytas","res-forge-technical-glyph.e1d96de67b":"Kandidatų bazė","res-forge-technical-glyph.6f389bc568":"priimtas","res-forge-technical-glyph.a503bc1da2":"atmestas","res-forge-technical-glyph.880949479a":"išbandytas","res-forge-technical-glyph.ec734b6515":"patvirtintas","res-forge-technical-glyph.61792020d0":"Tikslų riba","res-forge-technical-glyph.096280facb":"vienas pasirinktas","res-forge-technical-glyph.9985d73a38":"Užtikrinimo kopėčios","res-forge-technical-glyph.83ced341c8":"tinkamai suformuotas","res-forge-technical-glyph.e38c2194b4":"formaliai patvirtintas","res-forge-technical-glyph.275ed0c2c7":"susietas su vykdymu","res-forge-technical-glyph.49794a5e29":"Pasirinktas kandidatas","res-forge-technical-glyph.9e955c5620":"kontrpavyzdžiai išlaikyti","res-forge-technical-glyph.74ef6c0061":"Perdavimas Kera","res-forge-technical-glyph.bed97175b0":"planas","res-forge-technical-glyph.37a5301a88":"rezultatas","res-forge-technical-glyph.96a6bf1d97":"patvirtintas grafas","res-forge-technical-glyph.b8d8aaff0a":"įrodymai pridėti","res-forge-technical-glyph.100ec4462d":"įrodymai","res-forge-technical-glyph.416eb4fbb0":"riba","res-forge-technical-glyph.dd4fb84f32":"nežinoma yra rezultatas","res-forge-technical-glyph.3137db7c8b":"Nežinoma, neišsprendžiama ir dviprasmiška yra rezultatai","res-forge-technical-glyph.d5f412e831":"Kera","res-forge-technical-glyph.00f6d27f5f":"DWEVE FORGE","res-forge-three-tries.ca6f569d32":"Nieko niekada nepašalinama iš sąrašo kairėje","res-forge-three-tries.48fce8a80b":"Trys bandymai su ta pačia problema","res-forge-three-tries.8805376577":"3 raundas perima viską, ką rado pirmieji du raundai, ir dar vieną atvejį.","res-forge-three-tries.da17ea9bb5":"Atvejų sąrašas, raundas po raundo","res-forge-three-tries.8cc87a2190":"nėra ką pridėti","res-forge-three-tries.36d5623704":"ir tada įrodyta","res-forge-three-tries.0f0b41cfe8":"Išlaikė visus atvejus","res-forge-three-tries.1e35a52de1":"3 bandymas","res-forge-three-tries.3b26ea5e3d":"tuščias sąrašas","res-forge-three-tries.b8575badd2":"su tuščiu sąrašu","res-forge-three-tries.09fef5d8d9":"Nepavyko","res-forge-three-tries.969a17cecc":"2 bandymas","res-forge-three-tries.15d3c90fb9":"didžiausias galimas skaičius","res-forge-three-tries.f88b9a4765":"su didžiausiu galimu skaičiumi","res-forge-three-tries.ff31d219ef":"1 bandymas","res-forge-three-tries.f65e38d46b":"sąrašas su vienu elementu","res-forge-three-tries.e8741ca2e3":"sąrašas jau surikiuotas","res-forge-three-tries.9450ac4e17":"trumpas sąrašas","res-forge-three-tries.4d944a9d7e":"3 raundas","res-forge-three-tries.fa2b87ffe2":"2 raundas","res-forge-three-tries.f7648d3834":"1 raundas","res-forge-type-sockets.13fff86afe":"Dvi operacijos, vienas sujungimas","res-forge-type-sockets.2251b5f821":"Neriboti sveikieji skaičiai","res-forge-type-sockets.338ce27565":"Trys kompozicijos pasiūlytos vienai tipizuotai kalbai","res-forge-type-sockets.3d7da15c51":"Atmesta pagal tipą","res-forge-type-sockets.50c026300b":"Priimta","res-forge-type-sockets.5e5da2cd3c":"Tinklo prieiga","res-forge-type-sockets.681bcaf5e4":"Atsisakymas šioje lentoje nieko nekainuoja, nes niekas joje dar nebuvo įvertinta.","res-forge-type-sockets.7303a0d112":"Atmesta pagal galimybes","res-forge-type-sockets.73841deb9d":"Uždaryta šiam vykdymui","res-forge-type-sockets.76123e0c4c":"Antrajai operacijai reikia galimybės, kurios paketas nesuteikė, todėl ji yra už paieškos erdvės ribų.","res-forge-type-sockets.93c6a1f183":"Lizdas","res-forge-type-sockets.a1369155ac":"Failų prieiga","res-forge-type-sockets.b4ae90c7f4":"Du lizdai nesusitinka, todėl iš šios poros niekada nesurenkamas kandidatas.","res-forge-type-sockets.b957ab83e5":"Išvesties tipas atitinka įvesties tipą, todėl kandidatas surenkamas ir gali būti įvertintas.","res-forge-type-sockets.c7303935a3":"Nepatikrintas aliasingas","res-forge-type-sockets.d3f0610632":"Rezultatas","res-forge-type-sockets.dbe18d2e48":"Kalba pasirenkama kartu su paketu ir nesiplečia, kol vyksta paieška.","res-forge-type-sockets.eb8606da6a":"Pasiūlyta kompozicija","research-forge.00274e0e63":"atsisakyta, klaidos sutartis","research-forge.002ff59811":"Klausimas","research-forge.005a8c4891":"Įtraukite domeno intenciją, formalius metodus, aparatinės įrangos matavimus arba nepriklausomą peržiūrą. Forge pateikia bendrą tyrimo objektą programų atradimui, įrodymui ir vykdymui palyginti.","research-forge.008fef2a92":"Ieškokite leistų operacijų viduje.","research-forge.01038388dc":"Neatsakymai lieka matomi","research-forge.0109e7127b":"NEĮMANOMA","research-forge.0143790011":"planavimas ir vykdymas","research-forge.019d4e8e82":"Kas lieka tiesa","research-forge.01f66c63e3":"Dvi poros negali būti surinktos, ir kalba tai pasako.","research-forge.01fc285874":"Atsakomybės prieš Forge ir Kera","research-forge.02ff5bf386":"Politikos peržiūra","research-forge.0303c4bacd":"penki laukai užfiksuoti prieš pirmąjį kandidatą","research-forge.030afc5361":"Forge gali išsaugoti reikalavimo versiją, svarbius kandidatus, priešpavyzdžius, užtikrinimo perėjimus, tikslų frontą ir politiką, kuri pasirinko vieną narį. Po dvejų metų įrašas vis tiek atsako į klausimą, kurį peržiūrintysis iš tikrųjų užduoda, o tai yra ne kas buvo pastatyta, o kodėl alternatyvos buvo atmestos. Takas eina viena kryptimi, ir kiekvienas jo žingsnis gali būti atsektas atgal: reikalavimas, apibrėžęs sėkmę, patikrinti ir atmesti kandidatai, kurie buvo svarbūs, priešpavyzdžiai ir užtikrinimo perėjimai, tikslų reikšmės, padėjusios kiekvieną kandidatą ant fronto, ir autoritetas, pasirinkęs vieną iš jų. Nė vienas iš to negyvena šalia sprendimo. Jis keliauja kartu su juo.","research-forge.03102018f1":"Kandidatas yra struktūriškai tinkamas.","research-forge.03128bed90":"Patikra","research-forge.0393c06f67":"KANDIDATAS","research-forge.0397a076c3":"Pridėti išankstinę sąlygą yra teisėtas žingsnis, ir tai sukuria naują specifikacijos tapatybę, o ne redaguoja senąją. Ankstesnis eksperimentas lieka įraše su savo nesėkme. Tyrimų bendruomenė bendrą siūlymo, iššūkio, tobulinimo modelį vadina CEGIS.","research-forge.03bec6ab74":"Trys formos","research-forge.04126cee0d":"Keturi susitinka viduryje, todėl judėjimas link vieno iš jų paprastai kainuoja ką nors kito atžvilgiu.","research-forge.0428abce3e":"Ribotai patikrinta","research-forge.0432a371aa":"Užtikrinimo politika","research-forge.04731f0ef3":"Tik viena ašis, santykinis modeliuotas vėlavimas. Juostos ilgis nėra bendras reitingas.","research-forge.04ae6467a0":"Jokios išvados","research-forge.04bf9ee3c6":"nepaliktas už sąskaitos ribų","research-forge.04e9b5cd14":"čia sugyvena daug išvedimų","research-forge.04fa443e7b":"Ilgiausias kritinis kelias","research-forge.05005f366c":"Forge tyrimai","research-forge.05625954d2":"kad ir kaip vyktų paieška","research-forge.05d1c23f1f":"nesėkmė susiaurina paiešką","research-forge.05db5a7f8a":"Specifikacijos versija, kurią turėjo atitikti kiekvienas kandidatas","research-forge.065d4a5b25":"Visi jie sukuria tą pačią rūšį tipo kandidato ir patenka į tą patį palyginimą. Todėl organizacija lygina programas, o ne paieškos metodus, ir metodas, radęs kandidatą, nesuteikia jam pranašumo sprendime.","research-forge.07a688568e":"Tikslinis artefaktas","research-forge.0820b32b20":"Testavimas","research-forge.08b22e1ba0":"Viena sutartis","research-forge.08cfb3e0f2":"Specifikacijos peržiūra","research-forge.09496b01f9":"Perdavimas","research-forge.09a3354e63":"Šalutinės sąlygos","research-forge.09d053226c":"Sekite vieną paiešką","research-forge.0a3eb3abd3":"Vidinis kalibravimas","research-forge.0a5e7a0583":"Riba","research-forge.0a799711ad":"Normalizavimas taupo paiešką","research-forge.0ab39d71e2":"Ekvivalentiškumas","research-forge.0ade2ace0d":"Kiekvienas priešpavyzdys","research-forge.0ae18773cb":"Tyrimų asistentas","research-forge.0b101a23a3":"Asociatyvus pergrupavimas","research-forge.0b81fbebb5":"Optimizavimas vėliau","research-forge.0ba4e46484":"Vienas grafas","research-forge.0bc357c912":"NEPADENGTA","research-forge.0c19b6603f":"Būsimas peržiūrintysis grįžta prie sprendimo iš įrašo, o ne rekonstruoja jį iš commit žinučių.","research-forge.0c6c9b91c5":"Žinote tą jausmą, kai užduotis gali turėti paprastesnį įgyvendinimą? Forge paverčia tą klausimą tyrimų darbo eiga: pateikite ribotą specifikaciją, ieškokite kandidatų programų ir užfiksuokite patikras bei matavimus. 2025 m. ataskaita dokumentuoja eksperimentą, o ne paruoštą rezultatą ar paskelbtą etaloną.","research-forge.0d358c9749":"Du testai, dvi stiprybės","research-forge.0db809cc66":"Užtikrinimas","research-forge.0e26aaf414":"Modelio peržiūra","research-forge.0e3c434842":"Išbandyta, ribota, įrodyta","research-forge.0ef3858209":"Užfiksuotos ribotos patikros","research-forge.0f1e49f0bf":"Pavyzdžiai riboja elgesį su jūsų pateiktais įvestimis. Loginės sąlygos riboja kiekvieną įvestį, kurią gali išreikšti formalioji teorija. Eskizas išsaugo architektūrą, kurios tyrėjas nenori atiduoti paieškai, ir palieka tipo skyles jos viduje. Referencinis elgesys pateikia vykdomą orakulą ir neša paties orakulo domeną. Forge užfiksuoja, kuri forma palaikė kiekvieną išvadą, užuot traktavęs kiekvieną įvestį kaip vienodos stiprybės specifikaciją.","research-forge.109bff6e75":"Specifikacija, o ne kodų bazė","research-forge.1178a4ffb4":"Ieškoti iš naujo","research-forge.1181c3f399":"Paketas taip pat nurodo, kada sustoti: išteklių ribą, užtikrinimo slenkstį, kurį kandidatas turi pasiekti, kad patektų į frontą, ir ką paleidimas praneša, kai niekas jo nepasiekia. Paieška, kuri baigiasi be programos, vis tiek baigiasi rezultatu.","research-forge.11c14ce16a":"Tada organizacija valdo intenciją, o ne vieną jos išraišką, ir gali pasakyti, kodėl buvo pasirinktas konkretus įgyvendinimas. Reikalavimas tampa ilgalaikiu turtu, o įgyvendinimas tampa rezultatu, kurį ji gali perskaičiuoti, kai pasikeičia prioritetai.","research-forge.11dd823248":"Šiam įvesties duomeniui pateikite šią išvestį.","research-forge.12c8d914cc":"Ko rezultatas neįrodo.","research-forge.13792d7c2a":"ĮRODYMAS TURI RIBĄ","research-forge.140b63310c":"Kandidatas C","research-forge.1462811ad5":"kandidatas, kuris atrodo įtikinamai","research-forge.151978bff3":"įraše kiekvieną kartą nurodoma specifikacija, riba ir politika","research-forge.15c2d33108":"Vertinamas tyrimų integravimas","research-forge.15f1b08e56":"įrodymas, riba arba nurodyta riba","research-forge.16181ed76f":"Leidžiamos operacijos, tipai, efektai ir skaitinė semantika","research-forge.161fa759f7":"Baigtinėje deklaruotoje kalboje paieška gali kurti kandidatus didindama dydį ir atmesti netinkamas kompozicijas, kol jos dar nepaleistos. Kandidatus, kurie pagal dabartinius įrodymus elgiasi identiškai, galima suglaudinti, kad būtų sutaupyta darbo, o pats ekvivalentiškumo teiginys laukia patikros. Kai metodas apima visus gerai suformuotus kandidatus iki nurodytos ribos, pirmoji patikrinta programa įrodo dydžio minimalumą toje kalboje ir toje riboje. Išplėtus operacijų rinkinį gaunamas kitas eksperimentas su savo atsakymu.","research-forge.169f619e4f":"Sąžiningas ženklelis neša savo ribą, o riba yra naudingiausia jo dalis.","research-forge.16a3fa00e3":"Palaikoma simbolinė savybė buvo įrodyta pagal nurodytas prielaidas.","research-forge.16ec74fc0a":"CLEAR","research-forge.171ca0385a":"Elgsena","research-forge.173315f506":"jokia lenta šioje lentoje nesibaigia sugeneruotu atsarginės logikos kodu","research-forge.17405ade0e":"Užtikrinimas su apimtimi","research-forge.17a86caa5b":"Įsipareigojimas","research-forge.17b8b28e9e":"niekada nelaikomi keičiamais","research-forge.17ecf461a5":"Problema yra išsprendžiama","research-forge.1822a38ec8":"keturios priežastys tęsti paiešką","research-forge.189ee02d36":"Sąžiningas nepristatymas","research-forge.18d60fce22":"Pavadintas užtikrinimo lygis ir jo apimtis","research-forge.18dd2ccb59":"Penkios dalys","research-forge.18e9128279":"Rezultato įvardijimas palieka problemą ten, kur jai vieta. Prieštaringi reikalavimai grįžta tam, kas juos surašė. Neaiškus atvejis grįžta sprendimui. Neišspręsta paieška grįžta su didesniu biudžetu arba kitu metodu.","research-forge.18f906f6da":"Laikoma amžinai","research-forge.192ad837e6":"Užfiksuota politika, ne paslėptas rezultatas","research-forge.19626a1e65":"Viskas, kas nepraeina vieno atvejo","research-forge.1a23a7cddc":"Forge randa","research-forge.1a66b5eeb6":"Partnerio prieiga","research-forge.1bb360f468":"Ribota","research-forge.1bb90c04d2":"Nesėkmė, kuri pateikia konkretų įvestį, paieškai vertingesnė nei nesėkmė, kuri pateikia rezultatą.","research-forge.1bf39cee63":"Greitesnis, mažesnis, liesesnis","research-forge.1bff62bf9b":"Metodas išnaudojo vietą. Kitas metodas arba ilgesnis paleidimas gali jį išspręsti.","research-forge.1c013851a3":"Ką saugo įrašas","research-forge.1c56ea452a":"Keturios specifikacijos kortelės, aprašančios tą pačią mažą transformaciją, su vienu atveju, kuriame dvi iš jų nesutaria","research-forge.1c56fd19d7":"Vienas atviras atvejis","research-forge.1c82340479":"teiginį galima nagrinėti","research-forge.1c875de71f":"Tai valdymo savybė tiek pat, kiek techninė. Momentas, kai dvi reikalavimo interpretacijos išsiskiria, yra būtent ten, kur turi būti priimtas suinteresuotųjų sprendimas, ir tai daug pigiau, kol aplink vieną iš jų dar nebuvo sukurta įgyvendinimo.","research-forge.1c9bbc4b77":"Laikykite alternatyvas, kol politika bus užrašyta.","research-forge.1cb61a389f":"pakeistas laukas yra naujas eksperimentas, o ne pataisytas","research-forge.1ccf5d25df":"Specifikacija","research-forge.1cdd46cd0e":"Skaityti tyrimus","research-forge.1d17812687":"Keturi įėjimai, keturios skirtingos garantijos","research-forge.1d2c6fe888":"visi penki arba nė vienas","research-forge.1d444e826a":"Kera paleidimai","research-forge.1d9b3bd5d3":"Mažiausias vėlavimas","research-forge.1d9d3e69fa":"Rust, C, Verilog","research-forge.1e269ebac7":"Viena transformacija","research-forge.1e748c3e4b":"pakeiskite mazgą ir turite naują kandidatą, o įrodymo įsipareigojimas seka mazgą","research-forge.1ecdc691a8":"pilka spalva pažymėtas maršrutas sukuria ką nors skaitomo ir nieko, su kuo jį palyginti","research-forge.1ed77c3f7f":"Protokolas","research-forge.1fd9da00a7":"Politika ir institucija, pasirinkusi vieną kandidatą.","research-forge.2030fae2a7":"Trys būdai tai pasakyti","research-forge.2040757c11":"Cranelift, vietinis našumo matavimas","research-forge.2041447f84":"tik paieška","research-forge.206009c4a7":"Penkios politikos","research-forge.20cb7eef2c":"Už modelio ribų","research-forge.2154ca1eb7":"Kiekvienas iš jų yra rezultatas su skirtingu kitų žingsniu. Forge įrašo stipriausią būseną, kurią gali pagrįsti, ir įvardija, kas turėtų pasikeisti, kad ją peržengtų.","research-forge.21a0ffd68c":"atviri klausimai yra puslapyje","research-forge.21efbc283d":"Greitis, atmintis, pasiekiamumas ir įrodymai","research-forge.220b9c622c":"Sintetinti","research-forge.2354ab0ba0":"prieš siūlant programą","research-forge.235bfff3a2":"Tyrimų programa","research-forge.236656bf91":"Įgaliojimai","research-forge.23d4ef785c":"5 dydis","research-forge.243dcbef8c":"planavimas ir emisija žemiau","research-forge.24a264b83c":"Du kandidatai, keturi tikslai","research-forge.24c0bda2ba":"Tiesiausias audito kelias","research-forge.24cb5be0b0":"sprendimas išlaiko savo motyvus","research-forge.24d50592b7":"Tikslai","research-forge.2550b1dcad":"Atsakomybė","research-forge.25754f1c93":"tyrimų programa, ne programinės įrangos pasiūlymas","research-forge.258195bb3d":"Viena tapatybė","research-forge.25c843b80e":"Tai kalba tampa dvejopa. Ji yra efektyvumo mechanizmas, nes didžiosios dalies erdvės niekada nereikia vertinti. Ji taip pat yra intencijos riba, nes iš anksto nustato, ko mašinai leidžiama siekti.","research-forge.25fa97aa1a":"Tai nepasako, ar tas kelias yra greičiausias, liekniausias, labiausiai perkeliamas, lengviausiai audituojamas ar toks, kurį organizacija gali valdyti. Tai atskiri klausimai su atskirais įrodymais.","research-forge.261c22b85c":"Inžinerijos organizacija paprastai įsipareigoja vienam įgyvendinimui gerokai anksčiau, nei gali pasakyti, ar tas dizainas yra greičiausias ar lengviausiai patikrinamas. Forge tiria seką, kurioje specifikacija yra ilgalaikis turtas, o įgyvendinimas yra paieškos rezultatas, iš kurio nustatyta politika renkasi.","research-forge.26369471c9":"Tiksli ekvivalentiškumas, ribotas skaitinis ryšys arba efekto ekvivalentiškumas, kiekvienas nustatomas patikrinimu.","research-forge.267f81bab8":"Ką programa gali liesti","research-forge.277b67c1e8":"ir ko jai reikėtų","research-forge.27f11f9fe1":"užantspauduotas mazgas vis tiek skelbia savo įvestis, išvestis ir tapatybę","research-forge.27fab35201":"Pavadintas neatsakymas yra naudingesnis nei tikėtina programa.","research-forge.280c5e7fc6":"Du skaitymai","research-forge.281dd83602":"Išplėsti","research-forge.282bd862f4":"Kandidatas B","research-forge.2877a09f30":"keli atsakymai gali būti pagrįsti","research-forge.287b80caae":"teisingumas nesirenka","research-forge.294b4c06ac":"Kandidatų erdvė","research-forge.296e71a0fb":"Kandidatai pagal dydį ribotoje kalboje, rodantys priimtas, atmestas ir sugriuvusias būsenas, pirmą patikrintą kandidatą ir deklaruotą ribą, kurią teiginys neša","research-forge.297f419e18":"Ko ji negali daryti, tai susilpninti elgesį, pridėti efektą, kurio paketas nedeklaravo, arba paversti neišspręstą įrodymo būseną sėkme. Optimizavimas yra laisvė ribose.","research-forge.29c69b4a35":"ar lengviau patikrinti","research-forge.29fea3a06d":"Ką ji nustato","research-forge.2a03a4b73a":"Neapspręsta","research-forge.2a729227ad":"Viena išraiška išplėsta į tinklą lygiaverčių formų su sąlygomis kraštuose ir trys ištraukimo tikslai, pasirinkti po to, kai erdvė egzistuoja","research-forge.2a965a37b7":"Tai politikos sprendimas ir jis turi būti nurodytas, o ne numanomas.","research-forge.2a965accf1":"Mažiausia programa, kurią kalba leidžia","research-forge.2ad40f7952":"Kompromisai kaip valdymo objektas","research-forge.2b27b7aec8":"Įrodymais pagrįsta","research-forge.2b3a5e307c":"Semantinis","research-forge.2b7d95b8c6":"Kokio kompromiso norite","research-forge.2b9c801e9e":"atranka lieka aiškia politika","research-forge.2bdb5e4d73":"Forge baigiasi pasirinktu semantiniu grafiku ir jo įrodymais. Dweve Kera gauna tą grafą, planuoja palaikomą vykdymą ir išleidžia tikslinį artefaktą, su operacijos reikšme, efektais, nuosavybe, skaitine sutartimi ir įrodymų įsipareigojimais, pridedamais per perdavimą. Ta pati disciplina jungia Forge su likusia Dweve krūva: Aion, kur programa laiko patvirtintą būseną, Reed ir Selvedge aplinkos sistemų darbui, FMI ir Twin, kai fizinės sistemos modelis yra specifikacijos dalis.","research-forge.2c8c94c95f":"ne tik tai, kas buvo sukurta","research-forge.2c9ebecf8b":"Paieškos orkestravimas","research-forge.2cb597863b":"Greita programa, kuri yra neteisinga, vis tiek yra neteisinga.","research-forge.2cd3174fc9":"rezultatas nusprendžia kitą klausimą","research-forge.2cff331976":"Atradimas ir įrodymas aukščiau","research-forge.2d24e0a549":"Ir kartais","research-forge.2d3231ce48":"Dviprasmiškumas","research-forge.2da600bf94":"Versija","research-forge.2daa013c1b":"Tipizuotas semantinis grafas, ne šaltinio tekstas","research-forge.2dd3547872":"pilna ribose","research-forge.2dfcf898a3":"Palyginimas","research-forge.2e140f6f42":"Politikos pasirinkimas","research-forge.2ea3bb9377":"Prisijunkite prie tyrimų partnerių","research-forge.2f24ebaee0":"Apkarpyti","research-forge.2f65736593":"(a * 2) + a","research-forge.2f81a22de0":"Prieiga","research-forge.2f89346f05":"Plaukiojantis pergrupavimas","research-forge.2f906454d9":"Kiekviena forma atsako į skirtingą klausimą, o tyrimų įrašas nurodo, kuri nešė teiginį.","research-forge.30833f759b":"Planavimas ir žeminimas","research-forge.3107902192":"Penki kandidatai","research-forge.310e8151df":"nuo aprašymo iki įrodymų","research-forge.31139f400a":"minimalu <= 5","research-forge.3146c89579":"kuri atsakomybė tenka kuriai pusei","research-forge.3179a54130":"Pavyzdžiai, taisyklės ir dalinė programa, ne žingsniai","research-forge.31c2157a1c":"Vienas semantinis grafikas, pateiktas kaip grafikas, kaip išraiška ir kaip duomenų srautas, tapatybė visose trijose formose nepakitusi, ir vieno mazgo pakeitimo poveikis","research-forge.320ce22925":"Stiprus, teiginiams","research-forge.3218fcc602":"Įrodymų kompozicija","research-forge.32438a2b70":"Paleiskite automatinį atradimą","research-forge.32d888fecc":"Susieta vykdymo metu","research-forge.32ec2eb506":"Tipo nukreiptas","research-forge.32fd056d3d":"Eskizas","research-forge.32fe9f5bda":"Sėkla","research-forge.331a390a95":"Užfiksuokite, kad garantija negali būti pagrįsta taip, kaip suformuluota.","research-forge.332fafafd4":"Kelis programas galima optimizuoti","research-forge.337cd4ef85":"ir apsaugoti po to","research-forge.3407af8c74":"Formos viena kitą sustiprina. Pavyzdžiai daro loginį susitarimą skaitomą skaitytojui. Apribojimai neleidžia kandidatui pernelyg prisitaikyti prie parodytų atvejų. Eskizas išlaiko saugumo struktūrą fiksuotą, o aritmetika ar duomenų srautas viename regione lieka atviri atradimui.","research-forge.3554ae9f37":"Grafiko įrodymas nėra automatiškai savavališko kompiliatoriaus išvesties įrodymas, todėl vykdymo susiejimas užfiksuoja grafiką, planą, artefaktą ir rezultatą kartu. Tada Forge gali tyrinėti atradimą nepretenduodamas į emiterio nuosavybę.","research-forge.356258d8cf":"Teisingumas atveria kelią į kompromisų diskusiją.","research-forge.357a580465":"išplėtimas su sąlygomis","research-forge.3631815377":"kuris išlaiko","research-forge.3647998e09":"santykinis modeliuotas vėlavimas viename fronte","research-forge.3662b6cd93":"Optimizacija yra laisvė ribose, kurios buvo užrašytos pirmiausia.","research-forge.3678b75177":"Įrodymo inkaras","research-forge.3697e2badd":"Tas pats frontas, keturi pagrįsti atsakymai","research-forge.3750b1e26e":"Vienas reikalavimas","research-forge.378b19c94c":"ir universalios savybės","research-forge.37a1d3ddee":"Paieškos mastas","research-forge.37b658da82":"kas nustatyta ir kas lieka atvira","research-forge.37d9b94afa":"Recenzentas gali sekti grandinę nuo pradžios iki pabaigos neatidaręs nė vieno užantspauduoto mazgo.","research-forge.37e5ec20ed":"Tyla turi reikšmės","research-forge.37e8f995e7":"Pavadintas neatsakymas taip pat suteikia institucijai konkretų tašką veikti. Jis pasako, kuri sąlyga konfliktuoja, kuris elgesys buvo neapibrėžtas, kuri teorija buvo neprieinama arba kuris biudžetas baigėsi, ir todėl, kas turėtų pasikeisti.","research-forge.3856f4eb7c":"Metodas nepasiekė išvados savo teorijos ir išteklių ribose.","research-forge.387b54720d":"Pakopa, kurią rezultatas turi pasiekti, kad būtų įskaitytas","research-forge.38b07c05cf":"Viena užtikrinimo kopėčios su dviem kandidatais, ilsintis skirtingose pakopose, ir stalčius, rodantis, ką kiekviena pakopa patikrino, ką priėmė ir ko nenustato","research-forge.391bc6cb44":"Įrodymas išlaiko savo ribas","research-forge.396c19de10":"Keturi būdai, kaip reikalavimas priešinasi programai","research-forge.39727bd48f":"atgal į sintezę","research-forge.3977816414":"įrodymai sprendžia","research-forge.39d6a0ddc5":"Kokius sprendimus paieška gali priimti jūsų vardu?","research-forge.39fdec1194":"Testai","research-forge.3a06f841f3":"Jis išbandytas už pateiktų pavyzdžių ribų.","research-forge.3a4be7155b":"Alternatyvos","research-forge.3ab11b75ca":"Forge","research-forge.3b08754530":"Forge pradeda nuo elgesio aprašymo, ne nuo kodo užklausos. Galite pateikti pavyzdžius, taisykles, kurios turi galioti apskritai, arba iš dalies parašytą programą su paliktomis sudėtingomis dalimis. Bet kuris iš šių variantų suteikia mašinai tai, prieš ką ją galima matuoti, ir tai, prieš ką ji gali akivaizdžiai žlugti.","research-forge.3b0896e4b0":"Palaikomiems Kera kontraktams grynas vykdymas pakartoja bitus identiškai be sėklos, įskaitant padengtus slankiojo kablelio šeimos kelius. Kai programa sąmoningai naudoja atsitiktinę būseną, ta būsena yra deklaruotas įvestis, ir jos pakartotinis naudojimas atkuria visą vykdymą.","research-forge.3b8be5e1a9":"įrodytas plotis","research-forge.3bb1fa9d93":"yra vienas taškas erdvėje","research-forge.3bb59d3903":"Nustatyta","research-forge.3bcf82f6df":"Vėlavimas yra dimensija","research-forge.3bdab018c4":"Patikrinta visada turi antrąją pusę: pagal šias taisykles, šiems įvestims.","research-forge.3bf08a84f1":"MOVE","research-forge.3bf4aa62c6":"Vienas grafikas, du planai, viena tapatybė","research-forge.3c37add762":"Gerai suformuotas","research-forge.3d3349e560":"ką institucija nusprendžia prieš paiešką","research-forge.3d85b7b35e":"Keturi maži atvejai, kiekvienas baigiasi be programos dėl skirtingos priežasties, rodantys, ko buvo prašyta, kas atsitiko ir kas tai pakeistų","research-forge.3d8dc8dd37":"Turi paprastesnį tikrinimo kelią","research-forge.3d9d45c6fc":"ir įrodyti neteisingą modelį","research-forge.3dbbac272c":"Kontrpavyzdžiai ir įrodymų būsena","research-forge.3e0fb17cab":"Paaiškinti","research-forge.3e39972526":"Vėlavimas","research-forge.3e9492ab1e":"Grafikas, planas, artefaktas ir rezultatas lieka susieti.","research-forge.3f1ea4240e":"Prielaidos yra rezultato dalis, o ne smulkiu šriftu po juo. Įrodymas apie tikslius sveikuosius skaičius nieko nesako apie dešimtaines trupmenas. Įrodymas apie savarankišką skaičiavimą nieko nesako apie paslaugą, apie kurią jam niekada nebuvo pranešta.","research-forge.3f2151a870":"Dydžiai nuo vieno iki šešių","research-forge.3fd8fb2e1a":"Operacijos, tipai, formos, efektai ir galimybės, kurias kandidatui leidžiama naudoti.","research-forge.3fe459f958":"Nieko netinka","research-forge.40100e1934":"Nedominuojami kandidatai","research-forge.4025ca409c":"Valdyk savo našumą","research-forge.408f0af557":"Išvedimo grafikas nuo specifikacijos iki pasirinkto įrodymo, su vidiniais metodo žingsniais užantspauduotais, bet sujungtais, ir trumpesnis kelias, kurį atkūrimas iš tikrųjų turi pakartoti","research-forge.40d33b38ad":"Nė vienas iš tų dalykų nėra išlyga, pridėta vėliau. Tai yra rezultato turinys, todėl įrašas laiptelį ir jo apimtį pateikia toje pačioje vietoje ir todėl jokia kontrolė negali vieno iškelti virš kito.","research-forge.40f800b699":"Riba priklauso tikslų rinkiniui, kuris ją sukūrė. Pridėjus energijos paketui, gali sugrįžti kandidatas, kuris anksčiau buvo dominuojamas, o tai yra klausimo savybė, o ne bet kurios programos pakeitimas.","research-forge.4141bac3ca":"ir leisti programai keistis","research-forge.418cdd48b7":"Stebėti atvejai","research-forge.41978064b8":"Aptarti bendradarbiavimą","research-forge.41a3ff09e5":"Nurodyti elgesį","research-forge.4288fa85e0":"Kas nuspręsta ir kas atvira","research-forge.42c7f4ea4d":"Rėmas nejuda","research-forge.42e742546a":"o išbandyta nėra įrodyta","research-forge.43093ca0db":"Įrodymo apimtis, struktūrinis paprastumas, įrodymų kaina","research-forge.435e8ecece":"viena programa retai laimi visus keturis","research-forge.436fb3032c":"Apibendrinti","research-forge.437b348524":"Tvarka, kuria jie vyksta","research-forge.437bcb1511":"Energija","research-forge.439f7b365e":"Tyrimų dokumentai","research-forge.43d54e530d":"Ar užkoduotas reikalavimas atitinka tai, ko organizacija iš tikrųjų nori?","research-forge.43d8879a8c":"vykdymo grandis yra tai, kas susieja įrodymą su tuo, kas iš tikrųjų buvo paleista","research-forge.4412dd5d66":"Neįmanoma ir nenuspręsta yra pranešama, o ne paverčiama kodu.","research-forge.4475dded01":"Vienas įgyvendinimas","research-forge.44ab85a252":"Kilmė","research-forge.450d52d3ef":"Paieškos","research-forge.4585404748":"kandidatas, kuris sustoja ties išbandyta, pranešamas kaip išbandytas","research-forge.45aaefd6f4":"Keturių peržiūros","research-forge.4646f9193d":"Gerai suformuotas nėra išbandytas","research-forge.4651a34e4d":"Apimtis","research-forge.466fc49274":"Išlaikyti","research-forge.46ed5f573e":"Žiūrėti tyrimus","research-forge.4719d38f14":"Keli elgesio būdai atitinka pateiktus įrodymus ir nesutaria kitur.","research-forge.472643c4ca":"Vienas kandidatas dominuoja kitą tik tada, kai jis nėra blogesnis visais aktyviais tikslais ir geresnis bent vienu. Dominuojami kandidatai palieka aktyvią ribą. Likusieji yra visi gintini atsakymai į tą pačią specifikaciją, o pasirinkimas tarp jų yra politikos sprendimas, kurį įrašas išlaiko, o ne skaičiavimas, kurį paieška atlieka tyliai.","research-forge.472bff45c9":"Viena forma didesnėje vienodo elgesio erdvėje.","research-forge.473161067f":"Atrankos politika","research-forge.47942077ae":"Paprasčiausias įrodymas","research-forge.47b74866d6":"Patikrinti teisingumą","research-forge.47bcc2a36a":"Kartais du dalykai, kurių buvo prašoma, negali būti abu teisingi. Kartais pavyzdžiai leidžia du skirtingus elgesio būdus ir nėra būdo pasakyti, kuris buvo turėtas omenyje. Kartais problema tiesiog sunkesnė, nei metodas gali išspręsti per jam skirtą laiką. Forge praneša apie kiekvieną iš jų kaip apie tai, kas tai yra, ir sako, kas turėtų pasikeisti. Neaiškiam atvejui paprastai reikia dar vieno pavyzdžio, o ne didesnio biudžeto.","research-forge.47cda15a5a":"Kera: kaip","research-forge.47da6f0838":"Sudėti","research-forge.48298eb992":"Paieška gali pakeisti operacijas, pertvarkyti duomenų srautus, sujungti regionus, pašalinti judėjimą ir pasiekti įgyvendinimą, kurio nebuvo numatęs joks tyrėjas. Visa tai leidžiama, ir didžioji dalis to yra esmė.","research-forge.483bf2075c":"Paskelbta","research-forge.4901e146cd":"Palyginti kainą","research-forge.490d255908":"reikalavimas lieka stabilus objektas","research-forge.49df3ec7de":"Veikia daugiau palaikomų mašinų","research-forge.4a828b8ab7":"Tyrimai, Forge","research-forge.4ab1a4f190":"Kandidatas, kuris atvyko pirmas, neturi jokio pranašumo sprendime, išskyrus savo įrodymus.","research-forge.4aebc33326":"Keturi peržiūros prieš teiginį","research-forge.4b01608cdc":"Paieška niekada neredaguoja paketo, kad išgelbėtų kandidatą.","research-forge.4b1960c2fb":"Sistema, spaudžiama sukurti kodą, sukurs kodą. Tai paverčia neatsakytą klausimą programa, kurią dabar kažkas turi prižiūrėti, o neapibrėžtumas neišnyksta, jis persikelia į vietą, kurią sunkiau pamatyti.","research-forge.4bca6a7cdb":"Kur prasideda programa","research-forge.4c175158a6":"Susietas rezultatas","research-forge.4c1e9313aa":"Vienas baseinas","research-forge.4c39a99d3d":"Penki laipteliai","research-forge.4c6bdedadc":"šaltinis lieka projekcija","research-forge.4cb3bb0fc4":"Greičiausias","research-forge.4d0ff72eb2":"Kokio lygio testavimo ar įrodymo rezultatas turi pasiekti?","research-forge.4d6864f9a3":"Keturi pažangiausi pasirinkimai","research-forge.4d7f210eef":"Trys kandidatai tikrinami pagal atvejų sąrašą, kuris kiekviename etape padidėja vienu nepavykusiu įvesties duomenų rinkiniu, ir niekas niekada nepašalinama iš sąrašo","research-forge.4db6c46b80":"kiekviena sistema skaito tą patį objektą, o ne jo kopiją","research-forge.4e4bed5372":"Niekada neįjungta","research-forge.4e76f5796f":"Lengviausias","research-forge.4e90808185":"Keturi būdai, kaip gali baigtis vykdymas","research-forge.4e9a44aeb4":"Pasakykite, kas turėtų įvykti","research-forge.4ec9cc4f2f":"Patvirtintas programų atradimas","research-forge.4f9c4e1fdb":"Pirmasis teisingas kandidatas įrodo, kad problema yra išsprendžiama. Jis taip pat gali būti didelis, lėtas, reikalaujantis daug atminties, sudėtingas patikrinti arba susietas su viena vykdymo aplinka. „Forge“ į jį žiūri kaip į įrodymą, o ne kaip į atsakymą, ir toliau ieško šeimų, kurias pirmiausia būtų pasiekęs kitoks paieškos elgesys.","research-forge.4faae9b4e9":"yra skirtingi teiginiai","research-forge.4fe6240efb":"Ar vykdymo tikslas atitinka semantiką, kuri buvo įrodyta?","research-forge.500d19ed3e":"Kitas kandidatas turi atitikti griežtesnį rinkinį.","research-forge.505ddba0dc":"mašina sako, ką žino","research-forge.506f370762":"sąlygos ženklelis ant briaunos nusprendžia, ar ištraukimas gali ją naudoti","research-forge.50e944749f":"WIDE","research-forge.50f771745f":"Ar tai geras įgyvendinimas","research-forge.512f83ac42":"Trys kandidatai tikrinami pagal augantį įsipareigojimų rinkinį, su kontrpavyzdžiu, kuris užbaigė kiekvieną iš jų, ir dviem teisėtais atsakymais į nesėkmę","research-forge.516f075235":"Keturi teisingi programos, keturi būdai pirmenybę teikti vienam","research-forge.5183317474":"Laisvė","research-forge.52550c8d07":"Įrašas atsako, kodėl","research-forge.528d188e2a":"Reikalingas įrodymo lygis","research-forge.52e68a873a":"Apribojimai","research-forge.531e01782f":"Išspręskite prieštaringus reikalavimus, kuriuos nustatė įrodymas.","research-forge.536a08d31b":"FAST","research-forge.541a19b522":"Riba yra tai, kas daro teiginį tiksliu. Grafo įrodymas yra to grafo įrodymas, todėl vykdymo susiejimas įrašo grafą, „Kera“ planą, artefaktą ir rezultato tapatybę kartu, o ne daro prielaidą, kad įrodymas keliavo kartu su išvestimi.","research-forge.546130711a":"„Dweve“ tyrimų programa","research-forge.54a351154f":"Minimalumas yra apribotas teiginys. Jis galioja operacijoms, tipams ir struktūroms, kurias leido paketas, iki dydžio, kurį pasiekė vykdymas. Jis nieko nesako apie kalbą, kurios eksperimentas nedeklaravo, o operacijų rinkinio išplėtimas sukuria naują eksperimentą su savo atsakymu.","research-forge.550d4ccba7":"Skaitinė šeima, rikiavimas, būsenos modelis ir išorinės sąlygos, kurių laikosi vykdymas.","research-forge.551fea67e6":"Aprašymas pateikiamas pirmiausia, o įgyvendinimas lieka atviru klausimu kuo ilgiau.","research-forge.5521ea4314":"pridėjus tikslą gali būti grąžintas dominuojamas kandidatas, o tai yra faktas apie klausimą","research-forge.5549dc87d0":"Ne kiekviena specifikacija","research-forge.5601f89af7":"kandidatas, kuris tiesiog atrodo teisingas","research-forge.563591cebc":"Kaip greitai programa baigiama","research-forge.56abd17a41":"Kai niekas negrįžta","research-forge.577d56824d":"TRYS ĖJIMAI","research-forge.58357eb5f1":"stipresniems teiginiams reikia stipresnių įrodymų","research-forge.584e0ea86c":"vektorius apibūdina kompromisą","research-forge.58c379fdea":"Minimalus dydis","research-forge.59df8e27c4":"Išlaikykite reikalavimą","research-forge.5a0ba3bb83":"Sutartis","research-forge.5a2827f530":"Keturi žiedai","research-forge.5a314063cc":"kaip silpnas kandidatas paaštrina klausimą","research-forge.5ab1aaea94":"NEAIŠKU","research-forge.5b1142d090":"Biudžeto paskirstymas","research-forge.5b141d8cb7":"Patvirtinta pagal šias taisykles","research-forge.5b2a7fb11c":"Atskleisti","research-forge.5b3facb840":"Keturios vienodo svorio šeimos, o paketas nusprendžia, kurios yra aktyvios.","research-forge.5b5d8a5af8":"Užfiksuokite konkretų atvejį ir savybę, kurią jis pažeidė.","research-forge.5b6a58fb9f":"Pigu, paieškai","research-forge.5b78187e47":"ne teisingas visuose pasauliuose","research-forge.5b8955c7bc":"Programos radimas","research-forge.5b92885b2d":"Inžinerijos komanda gali pasirinkti mažiausios delsos narį. Reguliuojama programa gali pasirinkti švariausią užtikrinimo kelią. Diegimas, paskirstytas per mišrią aparatinę įrangą, gali pasirinkti plačiausią tikslo atitikimą. Visi trys renkasi iš to paties patvirtinto rinkinio.","research-forge.5c1be9b227":"Teiginys yra atkuriamas","research-forge.5c262f33db":"Baigiasi","research-forge.5c46a60955":"Kaip darbas yra padalintas","research-forge.5c9d4874c3":"Kokius įvesties duomenis ir kokią aplinką apima teiginys.","research-forge.5ce01f3b67":"Programa skelbia tai, ką jos įrodymai palaiko, ir laiko savo tyrimo metodą tyrimu.","research-forge.5dfcf1dcc0":"Viena tapatybė, trys atvaizdavimai","research-forge.5dfe750940":"Patikrinamas","research-forge.5e0d7f4f07":"„Forge“ yra „Dweve“ tyrimų projektas. Jo vidinis paieškos portfelis, formalaus samprotavimo įgyvendinimas, transformacijos žinios, tikslų kalibravimas ir orkestravimas yra to tyrimo dalis. Programa skelbia klausimą, protokolą, rezultatą ir jo užtikrinimo būseną, atsižvelgiant į atskleidimo lygį, kurį palaiko įrodymai. Bendradarbiavimas prasideda nuo riboto sintezės klausimo. Penki teiginiai yra stebimi su jų būsena, trys iš jų išspręsti, o du dar atviri, o atviri yra puslapyje, o ne palikti už įrašo ribų.","research-forge.5e22dbb195":"Trys poros","research-forge.5e3db9c4c0":"Kontrpavyzdžiu vadovaujamas tobulinimas","research-forge.5eb51a7a2a":"Sek įrodymus, ne tik programą, kuri atsirado.","research-forge.5eede4abda":"Plačiausias tinkamumas","research-forge.5f174de1cc":"Įrodymas","research-forge.5f20d0f3ac":"Neįmanoma patenkinti","research-forge.5f94916c54":"Žr. institucinį atvejį","research-forge.5faa59d4bc":"Rezultatas","research-forge.5ff1729499":"prieš sakant kaip","research-forge.603a007e8b":"ir alternatyvos užsidaro","research-forge.60508aeb3d":"Kur pateikti klausimą","research-forge.60539e2c57":"Kur slypi rizika","research-forge.6066a49124":"Tas įvestis prisijungia prie aibės, kurią turi patenkinti kiekvienas kandidatas.","research-forge.60e5c23b14":"Tipizuota","research-forge.616d1d1b2a":"Penkios nuostatos","research-forge.61792020d0":"Objektyvi riba","research-forge.61988aaea3":"Eksperimento paketas","research-forge.61a0ae3b84":"Ribos","research-forge.61ad50a9b9":"Tikslas","research-forge.61c2d00a1e":"Specifikacijos formos","research-forge.61d0fdeb05":"Deklaruota sąsaja, jos tipai ir formos.","research-forge.61e2187199":"Po pirmosios tinkamos programos","research-forge.625ba6f153":"FIT","research-forge.62c4bc1315":"Du keliai iš to paties reikalavimo","research-forge.6320f96544":"leisk mašinai rasti kaip","research-forge.636f4e740e":"retai yra visas atsakymas","research-forge.63ed4981dc":"Pareto","research-forge.63f0dfcfef":"Reikalavimas, suskaidytas į sąlygas, su keturiais keliais, rodančiais, kurios sąlygos lėmė neįmanomą, dviprasmišką, nežinomą arba neapimtą rezultatą, ir veiksmą, kurio reikalauja kiekviena iš jų","research-forge.64269f9bd2":"TIME","research-forge.647c656679":"Du kandidatai gali sutapti kaip tekstas, sutapti, kai jų grafikai normalizuoti, arba tenkinti tą patį stebimą elgesį pagal deklaruotą sutartį. Tai trys skirtingi teiginiai, ir tik paskutinis ką nors sako apie tai, ką programa daro.","research-forge.649ed30fda":"Apimtis keliauja kartu su teiginiu. Įrodymas tikslios sveikųjų skaičių semantikos sąlygomis nepatvirtina slankiojo kablelio elgesio. Grynosios funkcijos įrodymas neapima išorinės paslaugos, kuri niekada nebuvo deklaruota. Patikrintas grafikas, pakeistas po įrodymo, yra naujas kandidatas, prie kurio dar nėra pridėtas įrodymas.","research-forge.64bcb871de":"Kontrpavyzdys gali atskleisti daugiau nei įgyvendinimo trūkumą. Jis gali atskleisti praleistą išankstinę sąlygą, kraštinį atvejį, kurio niekas nebuvo nusprendęs, arba du reikalavimo skaitymus, kurie abu atitiko pavyzdžius. Įrašas nurodo, kurį iš jų tyrėjas vėliau pakeitė.","research-forge.64c0978f0e":"Atvira, ir priežastis, kodėl programa egzistuoja: kokia didele naudingai gali tapti patikrinta grafiko sritis, kurios specifikacijos formos yra tikslios mašinai ir tinkamos žmogui, kaip daliniai įrodymai susijungia per optimizavimą ir planavimą, ir kuriems tikslams reikia išmatuoto aparatinės įrangos grįžtamojo ryšio.","research-forge.64d22c2e4e":"Forge nustato tyrimo problemą prieš atsirandant bet kuriam kandidatui. Vienas paketas įvardija specifikaciją, leidžiamas operacijas ir tipus, efektus ir skaitinę semantiką, tikslų matmenis, paieškos ribas ir užtikrinimo politiką, kurią turi pasiekti rezultatas. Kandidatas gali būti vertinamas tik pagal jau išsakytą problemą, todėl paketas yra teisingumo dalis, o ne konfigūracija aplink jį. Paketas taip pat nurodo, kada sustoti: išteklių ribą, užtikrinimo slenkstį, kurį turi pasiekti kandidatas, ir ką paleidimas praneša, kai niekas jo nepasiekia.","research-forge.64f4056c85":"Politika matoma","research-forge.657c02a2ae":"Reikalavimas lieka fiksuotas","research-forge.664243d1c2":"Specifikacijos formos pagal tai, ką kiekviena nustato","research-forge.66b4132999":"Aptarkite sintezės klausimą","research-forge.66c7af05f3":"Forge daro prielaidas patikrinamas, o žmonės vis tiek jomis atsako.","research-forge.66c95e7fc7":"Užantspauduota","research-forge.66cd84bcef":"formos ateina ir išeina, o rėmas viduryje visą laiką tas pats","research-forge.6703a68b0c":"politika įvardija narį","research-forge.6767e55d00":"Pirmasis tinkamas","research-forge.681b5b5ae1":"Prieinamumas","research-forge.6848ce552e":"Rezultatai","research-forge.68ad9d9693":"Kas lieka fiksuota","research-forge.693f74e1e9":"Forge ir Kera riba","research-forge.6978e0d16d":"Jokia programa iš viso gali būti sąžiningas rezultatas","research-forge.6989b87ddb":"Štai kodėl ciklas tik griežtėja. Kiekvienas ratas prasideda viskuo, ką ankstesni ratai nustatė, plius nauju atveju, todėl kandidatas niekada negali laimėti pamiršęs ankstesnę nesėkmę.","research-forge.699425d26b":"Skaitykite metodą","research-forge.69da6fa492":"Pavyzdžiai paaiškina","research-forge.6a33efdc4e":"Eksperimento paketas surinktas laukas po lauko, su tapatybe, kuri jį įvardija, ir bet kurio lauko keitimo pasekme","research-forge.6a455d1ff6":"Kiekvienai palaikomai įvesčiai išlaikykite tai teisinga.","research-forge.6a54f54941":"Paieška atsako","research-forge.6aa0b7e952":"skirtingos institucijos renkasi skirtingai","research-forge.6ab0b8903c":"Skaitinė reikšmė","research-forge.6b1716c3e5":"niekada neatslaidesnis","research-forge.6b2284f302":"Posūkio taškas","research-forge.6b6ae4c323":"įsipareigojimų rinkinys tik auga","research-forge.6b6f62925d":"Kartais kontrpavyzdys ką nors sako apie užklausą, o ne apie programą. Dvi taisyklės gali pasirodyti prieštaraujančios viena kitai, arba kraštinis atvejis gali pasirodyti toks, kurio niekas iš tikrųjų nebuvo nusprendęs. Tai verta žinoti anksti.","research-forge.6b7b6dcbaa":"Vienas grafikas, keturi vaidmenys","research-forge.6bc457b374":"Raskite kandidatą, tenkinantį kiekvieną žinomą atvejį.","research-forge.6bcf5a7776":"Riba, o ne vienas balas","research-forge.6c4b5393b9":"ir apribojimai nusprendžia","research-forge.6c61bbcebe":"Įrodyta","research-forge.6c82e6dd86":"Laikas","research-forge.6c8dd48ed8":"Matavimo planas","research-forge.6c9b8325ab":"joks laiptelis niekada nėra numanomas","research-forge.6c9c88fe2f":"Elgsenos aprašymas keičia tą ryšį. Jis suteikia paieškai tikslą, kurį ji turi pasiekti, būdą, kaip ją pagauti, kai jo nepasiekia, ir vėliau įrašą, su kokiais tiksliai atvejais rezultatas kada nors buvo tikrinamas.","research-forge.6cc1fdfb05":"Išbandyta, apribota ir įrodyta yra skirtingi teiginiai apie tą pačią programą.","research-forge.6cd40b6ae3":"Reikalavimai prasideda kaip norima elgsena, apribojimai ir rizika. Kūrimas paverčia juos viena architektūra ir vienu įgyvendinimu, ir nuo to momento kiekviena alternatyva yra perrašymo, migracijos ar optimizavimo projektas. Pasirinkimas tikriausiai buvo pagrįstas, kai jis buvo padarytas, ir jis buvo padarytas prieš tai, kai kas nors galėjo jį palyginti su pasirinkimais, kuriuos jis atmetė.","research-forge.6d058a6f22":"ne bendras pažadas","research-forge.6d3a0e2f30":"Tipai pirmiausia genimi","research-forge.6d525b7156":"Vykdymas","research-forge.6d5ef04ce2":"įrodymas, riba arba deklaruota riba","research-forge.6d84ceaf60":"Išgauti","research-forge.6db87cb08f":"Greičiausiai sumodeliuota","research-forge.6dfe9d2cfa":"Forge, paprastas vaizdas","research-forge.6e3f1d3672":"Keturi būdai išreikšti intenciją","research-forge.6ef75c79a0":"Atkūrimas neturi atkartoti kiekvienos tyrimo šakos. Jis turi atkartoti įrodymus, kuriais remiasi teiginys: specifikaciją, pasirinktą kandidatą, patikros rezultatą ir vykdymo susiejimą. Visa kita yra paieškos istorija, o ne įrodymas.","research-forge.70bcce6545":"Keli keliai","research-forge.70cbd1d6b1":"Pasiūlyta","research-forge.7173d0cb0f":"nežinoma, neįmanoma ir dviprasmiška yra rezultatai","research-forge.718eb2ad28":"Stiprumo mažinimas į poslinkį","research-forge.71e541f178":"Testas paleidžia programą su įvestimis, kurias kažkas pasirinko. Įrodymas samprotauja apie kiekvieną įvestį, kurią apima parašyta specifikacija. Abu yra naudingi ir atsako į skirtingus klausimus. Kai Forge sako, kad kandidatas yra patvirtintas, sakinys turi antrąją pusę: patvirtinta pagal šią savybę, šioms įvestims, pagal šias prielaidas. Penkios dalys turi keliauti kartu, kad tas sakinys ką nors reikštų: tiksli programa, kuri buvo tikrinama, savybė, teigiama apie ją, prielaidos, įrodymai ir ribos, kurių rezultatas nenustato.","research-forge.722e234a05":"Rasti kandidatus","research-forge.72637278c6":"ką Forge perduoda","research-forge.729c82e196":"Vienas objektas kerta visą gyvavimo ciklą, todėl nieko nereikia iš naujo išvesti iš teksto kiekviename etape.","research-forge.72aeb780b2":"Kur paieška tęsiasi","research-forge.72e6f70d7c":"rezultatas rodo atgal į grafą","research-forge.7305b76252":"stipresni įrodymai užsitarnauja stipresnę etiketę","research-forge.73128a8f5b":"reikalavimas yra pirmas","research-forge.734e643f73":"Keturių ašių","research-forge.734ee26abf":"Daug šeimų","research-forge.736500a024":"atradimas ir įrodymas","research-forge.73710d0053":"Keturi dalykai nesikeičia priklausomai nuo rezultato, ir jie yra priežastis, kodėl rezultatą gali perskaityti tas, kas nevykdė paieškos.","research-forge.73e5abe068":"ir metodas lieka privatus","research-forge.740141dd76":"Ribotos patikros ir savybių testai","research-forge.746a18b508":"Formatavimas, operandų tvarka ir normalizuotas grafas. Pakanka, kad paieška nedarytų to paties darbo du kartus.","research-forge.757b8815d3":"Vienas rėmas","research-forge.75be5b7552":"Ką įrašas skelbia","research-forge.75c9be68d0":"Atmeta","research-forge.75e6b42fc5":"Už apimties ribų","research-forge.762b81621f":"Laiptelis, kurį kandidatas turi pasiekti, kad patektų į frontą.","research-forge.7701124587":"Įrodyti, kad deklaruotoje kalboje nėra mažesnės teisingos programos, yra klausimas, kurį tiria superoptimizavimo tyrimų tradicija. Ši ribota paieška yra to klausimo atvejis, kurį Forge gali atlikti ir patikrinti.","research-forge.7777053d27":"Sąmoningai klysti","research-forge.77809a4225":"x86-64, RISC-V, WASM, Vulkan GPU","research-forge.779df62acf":"Keturi nuolatiniai įsipareigojimai","research-forge.77e466696d":"Jokia programa leidžiamoje erdvėje negali to padaryti. Pakeiskite leidimą arba prašymą.","research-forge.77ed933da8":"Objektyvus vektorius ir fronto padėtis","research-forge.7800ae62d5":"Ne tik klaidinga","research-forge.78546ce4c3":"Prašomas efektas nėra atstovaujamas patikros sutartimi.","research-forge.79919ce9fd":"Efektai ir galimybės","research-forge.79b38792f6":"Keturių objektyvų šeimos","research-forge.79b3e4bb6e":"Daug kandidatų","research-forge.7a36809fc6":"Forge tiria kitokią seką. Laikykite reikalavimą aiškų ilgiau. Leiskite keliems įgyvendinimams konkuruoti deklaruotoje kalboje. Nustatykite palaikomus elgsenos teiginius prieš pasirinkdami tarp našumo ir diegimo kompromisų.","research-forge.7a67d7aba8":"Ar aplinka, efektai ir skaitinės taisyklės yra atstovaujami?","research-forge.7b2d03931b":"Įprasta","research-forge.7ba8740951":"Kuri politika pasirinko vieną narį ir kas už ją atsakingas","research-forge.7bec3a8510":"Sustabdoma ties","research-forge.7c04a5cf0e":"Išlaidų vektorius sukuria frontą, kuris yra kitoks objektas nei reitingas.","research-forge.7c1e14bb08":"tai nepašalina žmogiškojo sprendimo","research-forge.7c3f4fda21":"dydis 1","research-forge.7d448f8882":"Vienas kandidatų baseinas","research-forge.7d58a74832":"Kandidatas gali išlaikyti kiekvieną pavyzdį, kurį jam parodė, ir vis tiek būti neteisus kažkur, kur niekas nežiūrėjo. „Forge“ ieško konkretaus įvesties duomens, kuris atskleistų skirtumą. Tas įvesties duomuo yra kontrpavyzdys, ir kai tik jis atsiranda, jis prisijungia prie nuolatinio atvejų rinkinio, kurį turi atitikti kiekvienas vėlesnis kandidatas. Už to slypintis ciklas yra trumpas. Kandidatas pasiūlomas, jam metamas iššūkis, peržengiantis pateiktus pavyzdžius, vienas įvesties duomuo atskleidžia neteisingą elgesį, ir tas įvesties duomuo išsaugomas. Tada paieška prasideda iš naujo prieš didesnį rinkinį. Ji baigiasi įrodymu, riba arba nurodyta riba, ir niekada ne kandidatu, kuris tiesiog atrodo teisingas. Niekas niekada nepašalinamas iš to rinkinio, todėl trečiasis bandymas reiškia daugiau nei pirmasis.","research-forge.7d5f9141fc":"Matavimas dar turi būti nustatytas","research-forge.7db1bb6632":"Išvedimas kaip įrodymas","research-forge.7df7e32344":"ženklelis įvardija tik pakopą","research-forge.7e2e54dae8":"Galima pasiūlyti subalansuotą vingio tašką. Pasiūlymas užfiksuojamas kartu su normalizavimu, kuris jį sukūrė, kad peržiūrintysis galėtų matyti, jog tai yra politika, o ne aritmetinis neišvengiamumas.","research-forge.7e309ec303":"Veikimo hipotezė, ne įvertinta","research-forge.7e5a975b6a":"Tapatybė","research-forge.7e826f7af3":"TRUST","research-forge.7ea014de7b":"Įrodymai","research-forge.7ea35b3515":"Tas pats objektas atlieka keturis vaidmenis nekeisdamas kategorijos. Jis yra kandidatas paieškos metu, ekvivalentiškumo klasės narys tyrinėjimo metu, subjektas, kurį įvardija įrodymas, ir įvestis, pagal kurią planuoja „Kera“. Viena tapatybė atlieka visus keturis.","research-forge.7f2b6cf0fd":"Kandidatas turi atitikti iki šiol surinktus įrodymus. Tada tikrintojas ieško palaikomoje srityje įvesties duomens ar būsenos, kurioje jis pažeidžia visą specifikaciją. Bet koks kontrpavyzdys, kurį jis randa, prisijungia prie įrodymų rinkinio kaip nuolatinė prievolė, todėl kitas kandidatas turi atitikti viską, ką atitiko ankstesnieji, ir naują atvejį. Ciklas tik griežtėja. Jis sustoja ties įrodymu, riba arba paskelbta riba, ir niekada nesustoja ties kandidatu, kuris tik atrodo įtikinamas. Pridėti išankstinę sąlygą leidžiama, tačiau tai atveria naują specifikacijos tapatybę, o ne redaguoja senąją.","research-forge.7f59a1f1d5":"Sprendimas","research-forge.7f5e7b5182":"Keturi instituciniai veiksmai","research-forge.7f87260e69":"Rašoma pirmyn, skaitoma atgal","research-forge.7fc3a8b99e":"Tyrimo dizainas sujungia DSL per tipizuotas išraiškas su enumeratyvine, CEGIS, genetinių programų ir MCTS paieška, e-grafų lygybės prisotinimu, „Cranelift“ pagrįstu matavimu ir Z3/CVC5 patikromis dėl ribotų prievolių. Daugiatikslė paieška vertina delsą, operacijų skaičių, atmintį ir registrų spaudimą; tikslinės kodo generavimas apima x86-64, RISC-V, WASM, Vulkan GPU ir Verilog. Užduočių ir testų skaičiai, tarpinių kompiuterių pagreitis ir gamybos veikimas lieka patvirtinimo darbu.","research-forge.7fda8c3a33":"Trys kandidatai, trys sąžiningos etiketės","research-forge.7fdf663e3a":"Veikimo hipotezė, ne įvertinta","research-forge.7fef09721e":"„Dweve Forge“, patvirtinta programų atradimas","research-forge.80302bf5ea":"Ribotos patikros ir paieška","research-forge.80446347ed":"Forma","research-forge.80d70e543d":"Riba ir atranka","research-forge.814de3b8b2":"Keturi ribos nariai","research-forge.8179013356":"Srautas, darbinis rinkinys, perkėlimai ir lokalumas","research-forge.81eccd6085":"Keturios tylos priežastys","research-forge.81f08b5724":"ilgai po to, kai žmonės pasitraukia","research-forge.8208f3f27b":"Eilė","research-forge.82319c5d9e":"Transformacijų taikymas seka reiškia ankstyvą pasirinkimą, kuris gali atmesti vėlesnį patobulinimą. „Forge“ tiria kompaktiškus vaizdinius, kurie vienu metu laiko daug lygiaverčių formų, todėl keli transformacijų keliai egzistuoja kartu iki ištraukimo. Daugelio perrašymų vaizdavimas kartu, o ne įsipareigojimas vienai tvarkai, yra metodas, kurį tyrimų literatūra vadina lygybės prisotinimu.","research-forge.8252f95ddf":"pakeitus vieną mazgą patvirtintame grafe, kandidatas grįžta į gerai suformuotą","research-forge.825d89212b":"Transformacijos žinios","research-forge.8283b9d96c":"Nėra fazių tvarkos","research-forge.82c24c3687":"Programa gali laisvai keisti formą, o dalykas, kurį ji turi atitikti, ne.","research-forge.8301a503f4":"Nesutarimas tarp dviejų galiojančių skaitymų pateikiamas kaip klausimas, o ne išsprendžiamas paieškos.","research-forge.8368699cf6":"Daug galimų programų","research-forge.8375a2c337":"Trys bandymai, vienas augantis atvejų sąrašas","research-forge.837b910e11":"kol politika pasirenka vieną","research-forge.83908aa381":"Tipas, forma, vaizdavimas ir skaitmeninė sutartis, kuri jį valdo.","research-forge.83ea53e5ec":"Daug lygių formų, trys vertos ištraukti","research-forge.8597c90c68":"Tyrimų testai (apimtis)","research-forge.864c38bd34":"Kai matavimo nėra, langelis lieka tuščias. Tuščias langelis yra teiginys apie įrodymus, o jo užpildymas modelio išvestimi tyliai paverstų įvertinimą rezultatu.","research-forge.8682d73e62":"Programa","research-forge.869cb36316":"Vienas pasiūlytas įgyvendinimas pritvirtintos specifikacijos.","research-forge.8703ca90ce":"Nuosavybė, atminties erdvė ir taikomi tikslo apribojimai.","research-forge.870d4e66fc":"įrašas įvardija apimtį","research-forge.87805aff07":"Jokios programos","research-forge.879bb91dae":"nei viena pusė neperima kito teiginio","research-forge.87d0c490e0":"Sąnaudų dimensijos, kurias šis eksperimentas lygina, pasirinktos prieš matuojant bet kurį kandidatą.","research-forge.88306943fe":"Metodas","research-forge.8831be6339":"Kai programa nepasirodo","research-forge.887b3d18f0":"„Forge“ valdo specifikaciją, kandidatų paiešką, ekvivalentiškumo tyrinėjimą, tikslų ribą ir patvirtinimą. „Kera“ yra „Dweve“ grafinė sistemų kalba ir „Direct Computation“ pagrindas, ir ji valdo planavimą, žeminimą, tikslinę emisiją ir vykdymą. Kas tarp jų pereina, yra patvirtintas semantinis grafas su savo prievolėmis, tikslų profiliu ir įrodymais. Grafas įvardijamas, o ne šaltinis, o grįžtantis rezultatas nurodo tą pačią tapatybę.","research-forge.887cf267e6":"Unsat","research-forge.888797190c":"vienas elgesys, keli įgyvendinimai","research-forge.888e561892":"Keturi būdai prašyti geriau","research-forge.892257a43b":"Įrodymas gali būti pagrįstas","research-forge.89404ea15f":"Formali užklausa","research-forge.894f8a793c":"Naudokite stipresnę teoriją, platesnę kalbą arba didesnį biudžetą.","research-forge.897b3ac98d":"Kodo generavimas","research-forge.89b86ab0e6":"Kalba","research-forge.89c7caf6b5":"Kurie žingsniai atlieka darbą","research-forge.89c8a2851d":"Atmintis","research-forge.89f5343231":"Patvarus sprendimų pėdsakas","research-forge.8a102fcb06":"Ribota išsami paieška","research-forge.8a9523ae04":"Ką neša kandidato mazgas","research-forge.8ab2c84ed7":"Viena architektūra","research-forge.8b2d50590f":"Formalūs įrodymai apima specifikaciją ir užkoduotą semantiką. Jei aplinkos sąlyga buvo praleista arba skaitinis modelis neatitinka mašinos, rezultatas yra teisingas ir atsako į šiek tiek kitokį klausimą.","research-forge.8b593995c8":"Prielaidos","research-forge.8b7acd8daf":"Į frontą niekas nepatenka su stipresniu užtikrinimo ženklu, nei leidžia įrodymai.","research-forge.8bafd39dbd":"Apgalvota produkto riba","research-forge.8c0dc9aa18":"Išankstinės sąlygos, po sąlygos ir užtikrinimas, kurį rezultatas turi pasiekti.","research-forge.8c1cf9e158":"Pavyzdžiai, loginės sąlygos, eskizai ir etaloninis elgesys, kiekvienas užfiksuotas su jo stiprumu.","research-forge.8cb71202e7":"Keli elgesiai atitinka pavyzdžius. Dar vienas atvejis nusprendžia.","research-forge.8d9c9bb663":"Du įrašai, vienas grafas","research-forge.8daee0af31":"Įprastas kelias, susiaurėjantis iki vienos kodų bazės ir atsiveriantis kaip perrašymo projektai, šalia tyrimų kelio, kuris laiko vėduoklę patvirtintų kandidatų, kol politika išrenka vieną","research-forge.8db9aab917":"kaip stipriai jis buvo patikrintas","research-forge.8dce170de2":"Vertė","research-forge.8dd2a359fe":"LEAN","research-forge.8df2bb4b75":"Užtikrinimo lygis, kurį kandidatas turi pasiekti, paieškos riba ir ką pranešti, kai niekas jos nepasiekia.","research-forge.8e2717f3c6":"Kandidatas, kuris negalėtų būti teisėtas, niekada nėra kuriamas, todėl fronte yra tik gerai suformuotos programos.","research-forge.8e34678d0d":"neteisėti kandidatai niekada nepatenka į baseiną","research-forge.8e3934fad2":"Keturi politikos skirtukai, pasirenkantys skirtingus vieno fronto narius, kiekvienas sukuria išsamų sprendimo įrašą su dominavimo priežastimis dėl narių, kurių nepasirinko","research-forge.8e50172772":"Nepriklausomas tikrinimas yra atskiras laiptelis, nes jis klausia kito klausimo. Ne ar įrodymas buvo sukurtas, o ar tikrintuvas, kuris jo nesukūrė, sutinka, naudodamas tik su kandidatu pateiktus įrodymus.","research-forge.8e84017c75":"Nuoroda yra į konkrečią programą. Pakeisk vieną žingsnį joje ir įrodymas nebeapibūdina to, ką laikai, todėl ženklas grįžta prie paprasto struktūrinio, kol tikrinimas nebus atliktas iš naujo.","research-forge.9032517861":"Penki teiginiai, penkios būsenos","research-forge.908b29b50b":"kiekvienam laipteliui reikia kitokios įrodymų rūšies","research-forge.90e40d5043":"Pradėti","research-forge.919003799d":"Išbandyta","research-forge.91ad20c2db":"Du planai","research-forge.91c0ae2087":"tikslus ketinimas sumažina įgyvendinimo riziką","research-forge.91cf399266":"gali būti tikrasis atsakymas","research-forge.9225f51a2a":"Kontrpavyzdys","research-forge.9233f41df0":"Trys tikslai","research-forge.9297ab4ca3":"Skaityti istoriją","research-forge.929818c51d":"Didžiausias atminties pėdsakas","research-forge.929a9f0f25":"Pirmasis, kuris veikia","research-forge.92a7058e4e":"Aptarti institucinį bendradarbiavimą","research-forge.92f5fe6952":"Keturi rezultatai","research-forge.936c25084e":"Etaloninis elgesys","research-forge.9388f4158d":"subalansuotas variantas yra pasirinkimas kaip ir kiti, ir jis tai sako","research-forge.93c09204c0":"Vidutiniškai abiem sąnaudomis","research-forge.93c2975761":"Sekti paiešką","research-forge.93f79d808f":"Ar pasirinktas fronto narys atspindi nurodytą prioritetą?","research-forge.942587e61e":"Projekto lapas","research-forge.9477d7acdd":"Prašyti partnerio prieigos","research-forge.94822e9dc6":"Forge, institucinis vaizdas","research-forge.94827e8438":"Skaityti straipsnius","research-forge.94859cf20a":"Užantspauduota ir atvira","research-forge.948c81b996":"Keli patvirtinti keliai į priekį","research-forge.94cc86c489":"vienas pakeistas žingsnis ir ženklelis įvardija programą, kurios nebeturite","research-forge.94ed3b0134":"nuo ketinimo iki pasirinktos programos","research-forge.950dfeeb8b":"Ketinimas tampa kodu","research-forge.9550373e8b":"Išmatuota","research-forge.95eaeda430":"Kiek didelė patvirtinto grafiko sritis gali tapti naudinga.","research-forge.9678c4f1e3":"viena tapatybė kerta ribą","research-forge.96aff7c058":"Viena kontrpavyzdžio kilpa","research-forge.96b9633285":"Ką paieška gali pakeisti","research-forge.973c3f46d7":"Taikoma","research-forge.978aa6569a":"Baigiasi anksčiau","research-forge.97c89a4d66":"Veiksmas","research-forge.97ee6e5610":"Siūlyti","research-forge.992bc34385":"Gryna specifikacija negali įgyti failo ar tinklo prieigos pakeliui. Fiksuoto pločio sveikųjų skaičių sutartis negali tyliai tapti neribotu matematiniu sveikuoju skaičiumi. Svarstyklių reprezentacija išlaiko savo skalę, o atminties saugus eskizas negali būti užbaigtas su nepatikrinta nuoroda.","research-forge.99508624d6":"Jokia programa negali būti","research-forge.996c4a8976":"turi programą","research-forge.99dc6bab08":"Du kandidatai, atitinkantys tą patį pavyzdžių rinkinį ir besiskiriantys įvestimi, kurios niekas nepateikė, su trimis būdais, kaip suinteresuotoji šalis gali tai išspręsti","research-forge.9a24005705":"Viena išsami paieška pagal dydį","research-forge.9a469ce88c":"Betono","research-forge.9a4ce5f246":"pasirinkimas turi būti nurodytas","research-forge.9ae33a7d0e":"Savybė","research-forge.9b7bd11153":"Patvirtintas grafikas, kertantis griežtą ribą į Kera, suplanuotas dviem skirtingais būdais, o abu rezultatai susieti su ta pačia grafiko tapatybe","research-forge.9c25db95cc":"Kandidatas A","research-forge.9c86ef6b28":"Tiria kandidatų įgyvendinimus pagal paskelbtą sutartį","research-forge.9cbe42aaff":"Suplanuota","research-forge.9cfcf5930d":"Pirmasis rezultatas nekeičia delsos, judėjimo, diegimo tinkamumo ir įrodymų naštos.","research-forge.9d68007b07":"Programa","research-forge.9dba232302":"Elgesys, kurio buvo prašyta","research-forge.9dc6ec542b":"nėra tas pats, kas ją paleisti","research-forge.9dd59ab994":"Lyginama","research-forge.9df0f32743":"Registrai, lygiagretumas, įrenginių apribojimai, perkeliamumas","research-forge.9e811eeaf8":"Po teisingumo","research-forge.9ee018232e":"Į kandidatą nepatenka nieko, ko paketas neleido.","research-forge.9f36fa8055":"Išlaikykite šią formą ir raskite trūkstamą dalį.","research-forge.9f78c690af":"dėl skirtingų priežasčių","research-forge.9fea6de725":"Formalus","research-forge.9ff7951f81":"Patvirtintas ženklelis, išplėstas į penkias dalis, vėl parodytas šalia tos pačios programos po to, kai vienas žingsnis pasikeitė ir ryšys tarp jų nutrūko","research-forge.a0a9a568c3":"Kandidatai, kurie liko galiojantys, ir tie, kuriuos užbaigė kontrpavyzdys","research-forge.a0c9c40551":"programa keičia formą","research-forge.a10a7ad63a":"Ką paketas pataiso","research-forge.a266f0a07d":"Tirti kandidatų branduolius","research-forge.a2e1cc1b2f":"Gali keistis","research-forge.a2f4a96337":"Kompromisas","research-forge.a32a41c9d1":"jokios programos, su priežastimi","research-forge.a336e6650d":"Du kandidatai, dvi sąžiningos sustojimo vietos","research-forge.a3c143732a":"problema išspręsta prieš paiešką","research-forge.a3c686e711":"Kategorija","research-forge.a4508fc8ef":"Semantinis ryšys","research-forge.a48f8c0cf7":"Penkios programos, viena specifikacija","research-forge.a4c745386f":"Keturios politikos","research-forge.a57b5d2330":"Paieška gali keistis","research-forge.a6067adc3c":"delsa, operacijos, atmintis, registrai","research-forge.a618b4be8d":"Užklausa","research-forge.a61c938f35":"Paieška siūlo","research-forge.a723285355":"Modeliuota","research-forge.a79764b5e5":"Kelios teisingos programos, kiekviena su savo įrodymais","research-forge.a7987d27ae":"Atsisakoma vieno perrašymo","research-forge.a898f4eb0d":"Tai tas pats pasirinkimas, kurį kiekvienas daro dėl maršruto per miestą. Greičiausias, pigiausias ir tas, kuriame mažiau pakeitimų, yra pagrįsti. Nepagrįsta yra teigti, kad yra tik vienas atsakymas, nepasakius, ką optimizavote.","research-forge.a8b262d32b":"Prašyti modelio kodo ir gauti tai, kas atrodo teisinga, yra kitokia užduotis. Nėra nieko, ką atsakymas turėtų atitikti, todėl nėra nieko, prieš ką jis galėtų žlugti, ir skaitytojas turi įdėti visą vertinimą.","research-forge.a8e5c0ccf3":"Grafikas, kurį iš tikrųjų įvardija patikros rezultatas.","research-forge.a91bcce893":"Visada","research-forge.a94848cbdb":"Tik kandidatai, praėję vartus, pasiekia šį žingsnį.","research-forge.a9d6afeda0":"atgal į pasiūlymą","research-forge.a9f1693ebe":"Kiekvienas narys atitinka paskelbtą sutartį, todėl lieka tik klausimas, kokias išlaidas priimate.","research-forge.aa1a2e191d":"Nurodyta pirmiausia","research-forge.aa2b80d828":"Riba","research-forge.aa62568659":"Pasakyti, kas nežinoma, yra naudingiau nei užpildyti spragą tuo, kas gerai skaitosi.","research-forge.aa6708d51a":"Buvo įrodyta palaikoma universali sąsaja.","research-forge.aa88ef980e":"Kurios palaikomos aplinkos gali ją paleisti","research-forge.aa9002c223":"Ženklelis, atidarytas","research-forge.aab9ca1bc6":"Klasėje","research-forge.ab89d05c4b":"Išdėstymas","research-forge.ab98f5b857":"Fiksuota","research-forge.ab9a4aae0b":"Mažiausias judėjimas","research-forge.aba86cd010":"Politika pasirenka","research-forge.abc0c09f1f":"Mašina gali pakeisti, kurie žingsniai atlieka darbą, jų tvarką ir kokios tarpinės reikšmės apskritai egzistuoja. Dvi programos, kurios nieko iš to nesidalija, vis tiek gali atlikti tą patį darbą, ir paieškai leidžiama teikti pirmenybę bet kuriai.","research-forge.ac30f0abf3":"Jei tai keičia tai, ką programa sukuria, tai nėra tos programos patobulinimas. Teisingumas yra tai, kas kandidatui suteikia vietą diskusijoje apie išlaidas.","research-forge.acc3156c5b":"Paleisti nuorodą","research-forge.ad2cecac38":"Tekstas ir struktūra","research-forge.ad44adccc4":"įrodymas sustiprina tikslų teiginį","research-forge.ad59e3b102":"Plačiausias","research-forge.adfc01e921":"Kandidatas gali būti vertinamas tik pagal problemą, kuri jau buvo iškelta.","research-forge.adfccdc8de":"Forge: kas","research-forge.ae2fee1a70":"Kurkite tik tipo požiūriu teisingas didesnes išraiškas.","research-forge.aeb1c76446":"Keturi žiedai, viena publikavimo taisyklė","research-forge.aebc2854f4":"Skaitinis","research-forge.aeedafb2fe":"nesėkmė tampa ilgalaike prievole","research-forge.af3cc2e010":"programa, o ne tikslas","research-forge.af68d81f17":"Elgsena ir apribojimai, kurie apibrėžė sėkmę.","research-forge.af78a00855":"Kaip tiesiogiai jos elgsena gali būti patikrinta","research-forge.afbab5dc80":"pirmasis rastas kandidatas išlaiko savo vietą istorijoje ir palieka frontą","research-forge.aff55d9c0e":"Praneškite apie mažiausią patikrintą kandidatą ir jo ribą.","research-forge.b0339e3e63":"Synthesis, Cranelift ir","research-forge.b048046ec8":"Mažiausios delsos kandidatas gali turėti didesnį darbinį rinkinį. Labiausiai nešiojamas gali būti lėtesnis jūsų turimame įrenginyje. Paprasčiausią įrodymą turintis gali atsisakyti agresyvaus perrašymo. Galima pasiūlyti subalansuotą vingio tašką, o pasiūlymas įrašomas kaip politika su jos normalizavimu.","research-forge.b06be2ecea":"Štai kodėl Forge skelbia prielaidas šalia teiginio ir kodėl peržiūra turi įvardytus savininkus. Specifikacija, modelis ir vykdymo tikslas yra trys atskiros parašos.","research-forge.b0811e470d":"Prekyba","research-forge.b0a205ebad":"Pradėkite nuo leidžiamų įvesties duomenų ir konstantų.","research-forge.b0b01215a0":"Kandidatas D","research-forge.b116105199":"Keturi klausimai, kuriuos reikia išspręsti","research-forge.b1d348384e":"Daugiau nei viena geresnio rūšis","research-forge.b23977841c":"Kontrpavyzdžiai","research-forge.b26aa65383":"Ką apima žodis patikrinta","research-forge.b2bc0c005f":"Patikrinta","research-forge.b30077250b":"įsipareigoti anksti arba išsaugoti alternatyvas","research-forge.b307b88c84":"Perkeliamumas","research-forge.b3776d63ad":"Pabaigos","research-forge.b39a168c1e":"Paketas įrašomas vieną kartą, o kiekvienas šio puslapio rezultatas nurodo versiją, kuri jį sukūrė.","research-forge.b3c0c45a3e":"Forge atskiria struktūrinį pagrįstumą, konkretų testavimą, ribotą išsamų tikrinimą, formalų patvirtinimą, nepriklausomą tikrinimą ir vykdymo susiejimą. Kandidatas pakyla tik tada, kai egzistuoja kitos pakopos įrodymai, o pasiekta pakopa yra rezultato dalis, o ne jo puošmena. Greita paieška gali turėti ištestuotus kandidatus, kol dar gaunamas įrodymas. Nepriklausomas tikrinimas yra atskiroje pakopoje, nes klausiama, ar tikrintuvas, kuris nesukūrė įrodymo, su juo sutinka.","research-forge.b45b598d0c":"Viena grafiko tapatybė sujungia specifikaciją, įrodymą, planą ir gautą rezultatą.","research-forge.b462217ad5":"Viena įvestis parodo, kad elgsena yra neteisinga.","research-forge.b4dad06170":"Techninės specifikacijos","research-forge.b51ba796f2":"Prasideda nuo","research-forge.b5338782b3":"Matmenys, pagal kuriuos kandidatas reitinguojamas, modeliuojamas ar matuojamas","research-forge.b568d47f2e":"Įvestis","research-forge.b5b0a8f813":"Koncentriniai sluoksniai nuo viešo tyrimo klausimo per atkuriamą protokolą ir paskelbtą rezultatą iki apsaugoto vidinio metodo","research-forge.b6272cdaf7":"Forge įrašo specifikacijos tapatybę, svarbią kandidato kilmę, kontrpavyzdžius, naudotus ekvivalentiškumo ryšius, tikslines reikšmes, užtikrinimo perėjimus ir atrankos politiką. Ši grandinė paaiškina, kodėl pasirinkta programa egzistuoja ir kurias alternatyvas ji pakeitė, ir jos pakanka, kad kas nors galėtų atkurti teiginį. Pakartojimas neturi kartoti kiekvienos tiriamosios šakos, tik įrodymus, kuriais teiginys remiasi.","research-forge.b638127a16":"Ribotai išsamus","research-forge.b66b54c1d8":"Kandidatas kaip objektas","research-forge.b6d2f4c9e8":"paieška negali išplėsti tipo sistemos","research-forge.b70446abdf":"Reikalavimai gali prieštarauti. Pavyzdžių rinkinys gali leisti nesuderinamas elgsenas. Prašoma garantija gali būti už semantikos, kurią atspindi patvirtinimo sutartis, ribų. Paieška gali pasiekti deklaruotą ribą be išvados. Forge kiekvieną iš jų praneša atskirai, nes jie reikalauja keturių skirtingų atsakymų ir keturių skirtingų veiksmų kainų. Prieštaraujančios sąlygos suderinamos, konkuruojančios elgsenos atskiriamos daugiau įrodymų, neišspręsta paieška išplečiama, o garantija už sutarties ribų įrašoma kaip tokia, kurios negalima pagrįsti taip, kaip suformuluota.","research-forge.b71f6e67ce":"Ištirkite vieną įgyvendinimo sprendimą","research-forge.b74c664479":"Užtikrinimo būsenos","research-forge.b78c6b0e99":"atitikti pavyzdžius ir tenkinti sąlygą nėra tas pats teiginys","research-forge.b82b9b1043":"formos derinamos sąmoningai","research-forge.b895ceb6b1":"neatsakymas apsaugo nuo klaidingo pasitikėjimo","research-forge.b8f5629ab6":"įsipareigojimų stulpelis niekada nemažėja tarp iteracijų","research-forge.b97a1099a3":"Mašiniškai patikrinamas","research-forge.b9b15e5f94":"Trys bylos","research-forge.ba25b214d8":"kiekviena prašo kažko kito","research-forge.ba3fef96ae":"Įrodymas iš penkių dalių","research-forge.babfc32160":"Bent viena elgsena vienu metu tenkina kiekvieną sąlygą.","research-forge.bac127c5b7":"Nedominuojamas","research-forge.bb11a8e3f8":"Taisyklės","research-forge.bb2fe63e5a":"INPUT","research-forge.bb54db510a":"Priimti","research-forge.bb9cf14180":"Politika","research-forge.bb9d653f4e":"Iššūkis","research-forge.bbddd6ecdf":"Kokios tarpinės reikšmės egzistuoja","research-forge.bc0b16aa7f":"Keturi patvirtinti programos variantai perrikiuoti pagal tai, kokios savybės prašote, o subalansuotas variantas rodomas kaip pirmenybė, kaip ir kiti","research-forge.bc6b9b38a3":"Žingsniai, priklausantys Dweve tyrimo metodui, rodomi kaip užantspauduoti mazgai su paskelbtais įvestimis, išvestimis ir tapatybe. Institucinis skaidrumas ir tyrimų konfidencialumas traktuojami kaip dvi vienos grandinės savybės, o ne kaip priešybės.","research-forge.bc7819b34f":"Nežinoma","research-forge.bcd3b8580e":"objektas niekada nekeičia kategorijos","research-forge.bce0641417":"Paieška","research-forge.bd163f2c2d":"Kiekvienas ryšys turi savo šalutines sąlygas. Algebrinis pertvarkymas, stiprumo mažinimas, vektorizavimas, suliejimas, išdėstymo keitimas ir judėjimo eliminavimas yra teisėti tik tada, kai šiame eksperimente tenkinamos aritmetikos, pločio, apvalinimo, poveikio ir eiliškumo sąlygos.","research-forge.bd5d4d39fa":"Sako","research-forge.bda89bbff3":"Pakeitus pavyzdį, praplečiant tipą, leidžiant efektą ar sušvelninant skaitinę toleranciją, gaunama kita tyrimo problema su kita tapatybe. Ankstesnis paleidimas lieka įraše po savo paketu, todėl du rezultatai niekada neskaitomi kaip atsakymai į tą patį klausimą.","research-forge.bdfebc22bf":"Objektyvus vektorius","research-forge.be601df25e":"Tyrimas","research-forge.beb1ed4753":"vieši įrodymai šalia apsaugoto metodo","research-forge.bef833878c":"atvejų sąrašas niekada netrumpėja tarp raundų","research-forge.bf55421b4a":"Prašomas elgesys nėra tai, ką patikra apima.","research-forge.bff5c4dd05":"Reikalauti","research-forge.business.actionCase":"Žr. institucinį atvejį","research-forge.business.actionCooperate":"Aptarti tyrimų bendradarbiavimą","research-forge.business.banner.body1":"Tai įrodo, kad egzistuoja vienas kelias.","research-forge.business.banner.body2":"Tai neįrodo, kad kelias yra greičiausias, mažiausias, labiausiai perkeliamas, lengviausiai audituojamas ar geriausiai tinkantis institucijai, kuri turi jį eksploatuoti.","research-forge.business.banner.eyebrow":"Dizaino erdvės problema","research-forge.business.banner.firstDetail":"Paieška nustatė, kad egzistuoja leistinas kandidatas.","research-forge.business.banner.firstLabel":"Vienas tenkinantis kelias","research-forge.business.banner.firstStatus":"Galioja apimtyje","research-forge.business.banner.footer":"Dweve Forge, patvirtintų programų paieška","research-forge.business.banner.frontierDetail":"Keli teisingi programos variantai lieka skirtingiems tikslų profiliams.","research-forge.business.banner.frontierLabel":"Nedominuojami alternatyvūs variantai","research-forge.business.banner.frontierStatus":"Matomas","research-forge.business.banner.headline":"Teisingumas yra pradžia","research-forge.business.banner.headlineAccent":"ne galutinis atsakymas","research-forge.business.banner.instrument":"Po teisingumo","research-forge.business.banner.leftLabel":"Pirmasis galiojantis kandidatas","research-forge.business.banner.limitDetail":"Pirmasis rezultatas nieko nesako apie gretimus kompromisus.","research-forge.business.banner.limitLabel":"Nėra universalaus optimumo","research-forge.business.banner.limitStatus":"Tęsti paiešką","research-forge.business.banner.policyDetail":"Institucija nurodo, koks kompromisas lėmė pasirinkimą.","research-forge.business.banner.policyLabel":"Užfiksuota atrankos politika","research-forge.business.banner.policyStatus":"Peržiūrimas","research-forge.business.banner.rightLabel":"Sprendimų riba","research-forge.business.banner.tag":"Palyginti","research-forge.business.banner.verdict":"Laikykite alternatyvas, kol politika nėra aiški.","research-forge.business.banner.verdictLabel":"Sprendimo taisyklė","research-forge.business.close.body":"Įtraukite srities intenciją, formalius metodus, aparatinės įrangos matavimus arba nepriklausomą peržiūrą. Forge pateikia bendrą tyrimo objektą, skirtą palyginti programų paiešką, įrodymus ir vykdymą.","research-forge.business.close.label":"Dweve Forge, tyrimų bendradarbiavimas","research-forge.business.close.primary":"Aptarti institucinį bendradarbiavimą","research-forge.business.close.secondary":"Apžiūrėti įrodymų sutartį","research-forge.business.close.title":"Užginčyti vieną sprendimą.","research-forge.business.eyebrow":"Dweve Forge, patvirtintų programų paieška","research-forge.business.lede":"Dweve Forge yra tyrimų projektas, kuris pavyzdžius, apribojimus ir dalines specifikacijas paverčia kontroliuojama galiojančių programų paieška, palygina nedominuojamus alternatyvius variantus ir išsaugo įrodymus, pagrindžiančius pasirinktą rezultatą. Specifikacija išlieka ilgalaikiu turtu, o įgyvendinimo pasirinkimai lieka atviri ilgiau.","research-forge.business.titleAccent":"kol įrodymai nuspręs","research-forge.business.titleLead":"Laikykite intenciją atvirą","research-forge.businessGlyph.ambiguous":"Elgesys vis dar dviprasmiškas","research-forge.businessGlyph.assurance":"Užtikrinimas įvardytas","research-forge.businessGlyph.boundary":"Tyrimų programa, o ne programinės įrangos pasiūlymas","research-forge.businessGlyph.candidateA":"Kandidatas A","research-forge.businessGlyph.candidateB":"Kandidatas B","research-forge.businessGlyph.candidateC":"Kandidatas C","research-forge.businessGlyph.candidateD":"Kandidatas D","research-forge.businessGlyph.counterexample":"Rastas priešpavyzdys","research-forge.businessGlyph.execution":"Planą ir rezultatas susieti","research-forge.businessGlyph.fixed":"Pataisyta","research-forge.businessGlyph.kera":"Kera vykdymas","research-forge.businessGlyph.lowLatency":"Mažiausias vėlavimas","research-forge.businessGlyph.lowMovement":"Mažiausias judėjimas","research-forge.businessGlyph.policy":"Atrankos politika","research-forge.businessGlyph.portability":"Plačiausias perkeliamumas","research-forge.businessGlyph.research":"Tyrimas","research-forge.businessGlyph.selected":"Pasirinktas grafas","research-forge.businessGlyph.simpleProof":"Paprasčiausias įrodymas","research-forge.businessGlyph.spec":"Elgsena, ribos ir užtikrinimo politika","research-forge.businessGlyph.specFixed":"Specifikacija fiksuota","research-forge.businessGlyph.specLabel":"Nekintama specifikacija","research-forge.businessGlyph.subtitle":"Patikrinti alternatyvos prieš vykdymą","research-forge.businessGlyph.title":"Specifikacijos sprendimų lapas","research-forge.businessGlyph.tradeoffs":"Kompromisai matomi","research-forge.businessGlyph.visible":"Matoma","research-forge.businessHero.titleMiddle":"geresnė","research-forge.businessHero.titleSuffix":"programinė įranga","research-forge.c00cde6a62":"Baigtinė deklaruota sritis buvo padengta be gedimų.","research-forge.c023fe51a2":"Forge prieinama per Dweve tyrimų partnerių programą. Išbandykite ribotus programos sintezės klausimus ir susitarkite dėl vertinimo sąlygų prieš suteikiant prieigą. Rezultatai lieka tyrimų įrodymais, o ne produkto pažadu.","research-forge.c040f6e04f":"riba nurodyta kartu su rezultatu","research-forge.c0caf528d8":"Daugiatikslis kaštas","research-forge.c10a6d0899":"Prieštaringi reikalavimai, rasti diegimo metu, tampa vėlavimu ir perdarymu. Neaiškumas, rastas po diegimo, tampa nenuoseklia elgsena, kurią kažkas turi suderinti. Rasti bet kurį iš jų prieš diegimą yra pigiausia vieta tai rasti.","research-forge.c12f928235":"Grafo perdavimas","research-forge.c144b00ba8":"Vėlavimas, pralaidumas ir kritinis kelias","research-forge.c174fa3158":"Riba nejuda, kai keičiasi politika","research-forge.c1929c45f3":"Paieška gali įrodyti, kad niekas deklaruotoje kalboje neatitinka reikalavimo, negali nuspręsti klausimo pagal savo teorijos ir išteklių ribas arba nustatyti, kad pateikti įrodymai leidžia kelias nesuderinamas elgsenas.","research-forge.c1fcd5ecff":"Jis gali būti greitesnis. Jis gali būti mažesnis. Jis gali būti pats elegantiškiausias dalykas, kokį kas nors buvo sugalvojęs tai problemai.","research-forge.c20d749a05":"KOMPROMISAI MATOMI","research-forge.c2184a31d3":"Reikalavimas yra dalykas, kurį verta išlaikyti, o diegimas yra jo sukurtas rezultatas.","research-forge.c297908b88":"Kandidatas negali būti paaukštintas valdikliu, tik įrodymais, kad egzistuoja kita pakopa.","research-forge.c29cf0b245":"Kompromisai","research-forge.c2bb6fa0c5":"SPECIFIKACIJA NEKINTAMA","research-forge.c2ea17d5fe":"TRYS LAUKAI","research-forge.c33ef52668":"reikalavimas to nedaro","research-forge.c3451e6677":"Pavyzdžiai rodo numatomą elgseną atvejais, kuriuos žmonės gali patikrinti. Loginės sąlygos apibrėžia, kas turi galioti už tų atvejų ribų. Dalinis eskizas išsaugo saugumo architektūrą, sąsają arba privalomą valdymo srautą, kol viena sritis lieka atvira atradimams. Kartu jie padaro reikalavimą pakankamai tikslių, kad mašina galėtų prieš jį žlugti, o tam ir skirta specifikacija. Viskas, ką paieškai leidžiama nuspręsti jūsų vardu, priklauso tam pačiam dokumentui.","research-forge.c36594e8f5":"minimalus deklaruotos kalbos ribose","research-forge.c3be8bb127":"Kaip greitai","research-forge.c3e4b59bd1":"Kiek duomenų programa perkelia","research-forge.c439038abe":"Nepadengta","research-forge.c440d9bf36":"Paieška negali išgelbėti kandidato pakeisdama tikslą.","research-forge.c4cc9c34bd":"Vienas tobulinimo ciklas","research-forge.c533db2294":"prieš matant pasirinkimus","research-forge.c554cb5d95":"Dweve Research, Nyderlandai","research-forge.c60a3a3cff":"Ieškokite palaikomoje srityje pažeidžiančios įvesties.","research-forge.c648f0b37b":"Keturios priežastys, kodėl atsakymas yra ne programa","research-forge.c69925079f":"neteisinga būtent šiuo atveju","research-forge.c6c9f7cd5c":"Protingas trumpinys","research-forge.c6d954c113":"Niekas deklaruotoje kalboje ir prielaidose neatitinka reikalavimo.","research-forge.c74dddd8a0":"Įrašai, atsakantys į vėlesnį klausimą, buvo parašyti, kai buvo priimtas sprendimas.","research-forge.c76a21c28e":"Štai kodėl pažįstama tapatybė gali būti priimta tikslių sveikųjų skaičių srityje ir atmesta slankiojo kablelio srityje tame pačiame grafe. Sąlyga lieka pririšta prie ryšio, todėl ištraukimas niekada nepaveldi perrašymo, kuriam jis neturėjo teisės.","research-forge.c7e00eda62":"teiginys yra minimalus šioje kalboje, šioje riboje","research-forge.c7f2c2e7d4":"Trys etapai","research-forge.c8050fa93f":"Tai įrodo, kad vienas kelias egzistuoja. Tai tikras rezultatas, ir jį verta turėti anksti, nes jis parodo, kad reikalavimas apskritai gali būti įvykdytas jūsų deklaruotoje kalboje.","research-forge.c82f0b5250":"kertanti pora yra kompromisas, o ne reitingas","research-forge.c855f0a33c":"Nepalaikoma teorija sustabdo kandidatą ties išbandyta arba už apimties ribų, ir įrašas nurodo, kuri. Formalus rezultatas gali įvardyti semantinį grafą, kol išleistas artefaktas vis dar laukia savo vykdymo nuorodos. Nė viena iš šių būsenų nėra suspausta į vieną ženkliuką.","research-forge.c932a404bb":"Išbandykite, iššūkite ir įrodykite, ką įrodymai palaiko.","research-forge.c93e1581c7":"Net maža problema gali turėti milijonus galimų programų. Forge žiūri į operacijas ir ribas, kurias eksperimentas leidžia, o skirtingos paieškos elgsenos tyrinėja skirtingas tos erdvės dalis. Ko nė viena iš jų negali daryti, tai palengvinti problemą: reikalavimas yra už paieškos ribų ir nejuda.","research-forge.c940737ecf":"Forge, tyrimų vaizdas","research-forge.c968557f4b":"Patikrintas grafas ir įrodymai Kera","research-forge.c9bf3b001c":"vertingiausias rezultatas","research-forge.c9d8f0eef6":"genėti prieš vertinant","research-forge.ca032b5844":"Ką tai daro","research-forge.ca046ad257":"Skaityti tyrimą","research-forge.ca08ca46bd":"Užtikrinimo kopėčios","research-forge.ca09c54bff":"Galimybės","research-forge.ca6d0e3aaa":"Etapas","research-forge.ca7b181648":"Fiksuota tvarka","research-forge.cb3242398c":"Kelių programų galiojimas išlieka","research-forge.cb3888722e":"Nė viena pusė neperima kitos teiginio, o grafiko tapatybė išlaiko ryšį tikslų.","research-forge.cb48a44ca9":"Trys iteracijos","research-forge.cb4ae000d8":"programa lieka atidaryta","research-forge.cb5c0156c2":"Turi savo apribojimus","research-forge.cbb9f1b292":"kiekvienas sako ką nors kita","research-forge.cbbe214a22":"Pateikite specifikaciją","research-forge.cc68ebf0f3":"Riba laiko kandidatus, kurių nepralenkia joks kitas kandidatas pagal visus aktyvius tikslus. Pašalinti narį reikia įrodomo dominavimo ryšio, o ne paieškoje paslėpto pirmumo. Tai techninį palyginimą paverčia tuo, ką gali perskaityti peržiūros komisija: kiekvienas narys atitinka tą pačią sutartį ir skiriasi tik savo kaina.","research-forge.ccfd13401b":"Prisekite problemą","research-forge.cd27068c9e":"Ilgalaikis turtas","research-forge.cd3d5a59f1":"Deterministinis vykdymas","research-forge.cdaa0de1dc":"Bendro požymio dalijimasis","research-forge.cdbed7e540":"Paieškos kalba","research-forge.cde215073a":"visi keturi atitinka tą pačią sutartį","research-forge.cdf33799d9":"Vykdymo nuorodos įrašas","research-forge.ce3b4e045e":"prieš jam tampant nuolatiniu","research-forge.ce9e850988":"paieška praneša apie skirtumą, o ne pasirenka vieną iš jų","research-forge.cec4b662d3":"Dalinė programa","research-forge.cecae09ffe":"Mašina randa kandidatą.","research-forge.cf5ed047cf":"Tikslų reikšmės ir padėtis riboje.","research-forge.cf61965045":"faktai, žinomi prieš ką nors vertinant","research-forge.cf88038e56":"Ne galutinis","research-forge.cf9b77061f":"Atidaryta","research-forge.consumer.banner.bodyOne":"Kandidatas gali būti greitesnis, mažesnis arba lengviau paleidžiamas.","research-forge.consumer.banner.bodyTwo":"Jei jis pažeidžia specifikaciją, tai nėra tos programos optimizavimas.","research-forge.consumer.banner.checkDetail":"Reikalaukite eksperimento nurodyto įrodymų lygio.","research-forge.consumer.banner.checkLabel":"Patikrinti teisingumą","research-forge.consumer.banner.checkStatus":"Vartai","research-forge.consumer.banner.compareDetail":"Tik priimtini kandidatai patenka į kompromisų aptarimą.","research-forge.consumer.banner.compareLabel":"Palyginti kainą","research-forge.consumer.banner.compareStatus":"Tada palyginkite","research-forge.consumer.banner.eyebrow":"Nesuderinama riba","research-forge.consumer.banner.findDetail":"Naršykite skirtingas leistinas programų struktūras.","research-forge.consumer.banner.findLabel":"Rasti kandidatus","research-forge.consumer.banner.findStatus":"Paieška","research-forge.consumer.banner.footer":"Dweve Forge, patikrintas programų atradimas","research-forge.consumer.banner.instrumentTag":"Fiksuota","research-forge.consumer.banner.instrumentTitle":"Tvarka","research-forge.consumer.banner.stateDetail":"Užrašykite rezultatą ir jo ribas prieš paiešką.","research-forge.consumer.banner.stateLabel":"Nurodykite elgesį","research-forge.consumer.banner.stateStatus":"Fiksuota","research-forge.consumer.banner.titleAccent":"jei tai pakeičia atsakymą","research-forge.consumer.banner.titleLead":"Protingas trumpinys nenaudingas","research-forge.consumer.banner.verdictLabel":"Taisyklė","research-forge.consumer.banner.verdictValue":"Teisingumas suteikia teisę į kompromisų aptarimą.","research-forge.consumer.close.body":"Vieša Forge medžiaga paaiškina specifikaciją, atrastus alternatyvius variantus, kontrpavyzdžius ir tai, ką tyrimas iš tikrųjų gali įrodyti. Forge yra aktyvus vidinis tyrimas, be programinės įrangos bandomosios versijos, viešo paketo ar atvirojo kodo atsisiuntimo.","research-forge.consumer.close.eyebrow":"Dweve Forge, patikrintas programų atradimas","research-forge.consumer.close.primary":"Naršyti Dweve tyrimus","research-forge.consumer.close.secondary":"Grįžti prie eksperimento","research-forge.consumer.close.title":"Sekite paiešką nuo ketinimo iki įrodymų.","research-forge.consumer.counterexample.body":"Kandidatas gali veikti su visais pateiktais pavyzdžiais ir vis tiek žlugti kitur. Forge gali jį iššūkį pateikdamas konkretų įvestį, kuri atskleidžia skirtumą. Ta įvestis tampa kontrpavyzdžiu.","research-forge.consumer.counterexample.eyebrow":"Nesėkmė kaip naudingas įrodymas","research-forge.consumer.counterexample.footer":"Daug pavyzdžių išlaikymas vis tiek nereiškia, kad programa įrodyta teisinga.","research-forge.consumer.counterexample.pillFailure":"Konkreti nesėkmė","research-forge.consumer.counterexample.pillPermanent":"Nuolatinė byla","research-forge.consumer.counterexample.pillRetry":"Ieškoti iš naujo","research-forge.consumer.counterexample.secondaryLeft":"Nesėkmingas atvejis prisijungia prie nuolatinių įrodymų. Kitas kandidatas turi atitikti ir ankstesnius pavyzdžius, ir naują ribą.","research-forge.consumer.counterexample.secondaryLeftLabel":"Kandidatas keičiasi","research-forge.consumer.counterexample.secondaryRight":"Nesėkmė taip pat gali atskleisti užklausos dviprasmiškumą ar prieštaravimą. Paaiškinus intenciją sukuriama nauja specifikacija, o ankstesnis rezultatas lieka matomas.","research-forge.consumer.counterexample.secondaryRightLabel":"Intencija gali keistis","research-forge.consumer.counterexample.sideChallengeDetail":"Žvelkite už draugiškų pavyzdžių.","research-forge.consumer.counterexample.sideChallengeLabel":"Iššūkis","research-forge.consumer.counterexample.sideFooter":"Nesėkmė susiaurina paiešką ir paaiškina žmogaus reikalavimą.","research-forge.consumer.counterexample.sideMetaLabel":"Kryptis","research-forge.consumer.counterexample.sideMetaValue":"Kiekvieną kartą griežčiau","research-forge.consumer.counterexample.sideProposeDetail":"Raskite kandidatą, atitinkantį žinomus atvejus.","research-forge.consumer.counterexample.sideProposeLabel":"Pasiūlyti","research-forge.consumer.counterexample.sideRememberDetail":"Pridėkite konkretų nesėkmės atvejį prie įrodymų.","research-forge.consumer.counterexample.sideRememberLabel":"Prisiminti","research-forge.consumer.counterexample.sideRetryDetail":"Ieškokite kandidato, kuris atlaikytų stipresnį rinkinį.","research-forge.consumer.counterexample.sideRetryLabel":"Bandyti iš naujo","research-forge.consumer.counterexample.sideStatus":"Ciklas","research-forge.consumer.counterexample.sideSubtitle":"Kaip silpnas kandidatas paaštrina klausimą","research-forge.consumer.counterexample.sideTitle":"Vienas kontrpavyzdžio ciklas","research-forge.consumer.counterexample.titleAccent":"neteisingas būtent šiuo atveju","research-forge.consumer.counterexample.titleLead":"Ne tik neteisingas","research-forge.consumer.counterexample.visualFooter":"Kitas kandidatas turi būti geresnis nesusilpninant reikalavimo.","research-forge.consumer.counterexample.visualMeta":"Iliustracinis atvejis","research-forge.consumer.counterexample.visualStatus":"Rastas kontrpavyzdys","research-forge.consumer.counterexample.visualSubtitle":"Trys kandidatai atitinka vis griežtesnę ribą","research-forge.consumer.counterexample.visualTitle":"Nesėkmingas atvejis tampa nuolatine pareiga","research-forge.consumer.glyph.evidence.counterexample":"Nesėkmė užfiksuota","research-forge.consumer.glyph.evidence.examples":"Pavyzdžiai atitikti","research-forge.consumer.glyph.evidence.execution":"Vykdymas susietas","research-forge.consumer.glyph.evidence.proof":"Ryšys įrodytas","research-forge.consumer.glyph.footer":"Mašina gali negrąžinti jokios programos.","research-forge.consumer.glyph.header.detail":"Užklausa lieka fiksuota, o keliai keičiasi.","research-forge.consumer.glyph.header.state":"Tyrimas aktyvus","research-forge.consumer.glyph.header.title":"Programos atradimo eksperimentas","research-forge.consumer.glyph.path.a.label":"Nepraeina ribinio atvejo","research-forge.consumer.glyph.path.a.state":"Atmesta","research-forge.consumer.glyph.path.b.label":"Teisinga, didesnė kaina","research-forge.consumer.glyph.path.b.state":"Išlaikyti","research-forge.consumer.glyph.path.c.label":"Teisinga, kitoks kompromisas","research-forge.consumer.glyph.path.c.state":"Įrodyta","research-forge.consumer.glyph.request.detail":"Pavyzdžiai, taisyklės ir dalinė programa apibrėžia paieškos ribą.","research-forge.consumer.glyph.request.label":"Transformuokite kiekvieną palaikomą įvestį ir išlaikykite nurodytą ribą.","research-forge.consumer.hero.eyebrow":"Dweve Forge, patvirtintas programų atradimas","research-forge.consumer.hero.lede":"Dweve Forge yra tyrimų projektas, kuris ieško programų, atitinkančių pavyzdžius, apribojimus ar dalines specifikacijas, gerina galiojančius kandidatus pagal aiškius tikslus ir įrašo kiekvieną rezultatą pagrindžiančius įrodymus.","research-forge.consumer.hero.ledgerLabel":"Tyrimų pastaba","research-forge.consumer.hero.ledgerPill":"Aktyvus","research-forge.consumer.hero.ledgerPurpose":"Tikslas","research-forge.consumer.hero.ledgerPurposeValue":"Atrasti, palyginti ir patikrinti programas","research-forge.consumer.hero.ledgerStatus":"Būsena","research-forge.consumer.hero.ledgerStatusValue":"Aktyvus vidinis tyrimas","research-forge.consumer.hero.primary":"Sekite vieną atrastą programą","research-forge.consumer.hero.secondary":"Sužinokite, ką reiškia patvirtinta","research-forge.consumer.hero.titleAccent":"Leiskite mašinai ieškoti, kaip.","research-forge.consumer.hero.titleLead":"Apibūdinkite, kas turėtų įvykti.","research-forge.consumer.intent.body":"Forge tyrimas prasideda nuo pavyzdžių, taisyklių ar iš dalies parašytos programos. Pavyzdžiai rodo konkrečius atvejus. Taisyklės nurodo, kas turi išlikti teisinga apskritai. Dalinė programa išsaugo sprendimus, kurių nereikėtų perduoti paieškai.","research-forge.consumer.intent.eyebrow":"Pradinis taškas","research-forge.consumer.intent.footer":"Kai elgsena aiški, mašina gali ieškoti daugybės būdų jai sukurti.","research-forge.consumer.intent.pillExamples":"Pavyzdžiai","research-forge.consumer.intent.pillRules":"Taisyklės","research-forge.consumer.intent.pillSketch":"Dalinė programa","research-forge.consumer.intent.secondaryLeft":"Užklausa gali paprašyti kodo ir gauti kažką tikėtino. Ji pati savaime neapibrėžia išsamaus standarto, pagal kurį tas kodas galėtų būti vertinamas kaip netinkamas.","research-forge.consumer.intent.secondaryLeftLabel":"Užklausa","research-forge.consumer.intent.secondaryRight":"Specifikacija nustato elgseną, ribas ir leistinus pasirinkimus. Jos pakeitimas sukuria kitokią tyrimo problemą, o ne išgelbsti silpną kandidatą.","research-forge.consumer.intent.secondaryRightLabel":"Specifikacija","research-forge.consumer.intent.sideExamplesDetail":"Šiam įvesčiui pateikite šią išvestį.","research-forge.consumer.intent.sideExamplesLabel":"Pavyzdžiai","research-forge.consumer.intent.sideFooter":"Reikalavimas yra pirmoje vietoje; įgyvendinimas lieka atviras.","research-forge.consumer.intent.sideMetaLabel":"Fiksuota paieškos metu","research-forge.consumer.intent.sideMetaValue":"Elgsena ir apimtis","research-forge.consumer.intent.sideRulesDetail":"Kiekvienam palaikomam įvesčiui išsaugokite šią savybę.","research-forge.consumer.intent.sideRulesLabel":"Taisyklės","research-forge.consumer.intent.sideSketchDetail":"Išlaikykite šią struktūrą ir atraskite trūkstamą dalį.","research-forge.consumer.intent.sideSketchLabel":"Eskizas","research-forge.consumer.intent.sideStatus":"Pradėti","research-forge.consumer.intent.sideSubtitle":"Kiekviena suteikia kitokią ribą","research-forge.consumer.intent.sideTitle":"Trys būdai išreikšti intenciją","research-forge.consumer.intent.titleAccent":"prieš pasirenkant įgyvendinimą","research-forge.consumer.intent.titleLead":"Apibūdinkite elgseną","research-forge.consumer.intent.visualFooter":"Programa keičia formą. Reikalavimas ne.","research-forge.consumer.intent.visualMeta":"Iliustratyvus kelias","research-forge.consumer.intent.visualStatus":"Vyksta tyrimas","research-forge.consumer.intent.visualSubtitle":"Iliustratyvus viešas programų atradimo eksperimento vaizdas","research-forge.consumer.intent.visualTitle":"Vienas reikalavimas, keli galimi keliai","research-forge.consumer.proof.body":"Formalus rezultatas gali įrodyti, kad programa atitinka nurodytą savybę palaikomiems įvesčiams ir semantikai. Jis neįrodo, kad reikalavimas buvo išmintingas, išsamus ar tinkamas kiekvienai realiai aplinkai.","research-forge.consumer.proof.eyebrow":"Ką turėtų sakyti ženklelis","research-forge.consumer.proof.footer":"Kartais stipriausias sąžiningas rezultatas yra tai, kad mašina negali sukurti programos.","research-forge.consumer.proof.pillAssumptions":"Prielaidos matomos","research-forge.consumer.proof.pillLimits":"Ribos matomos","research-forge.consumer.proof.pillScoped":"Apribota","research-forge.consumer.proof.secondaryLeft":"Programa, savybė, prielaidos ir įrodymai lieka kartu. Jei programa pasikeičia, keičiasi ir įrodymo ryšys.","research-forge.consumer.proof.secondaryLeftLabel":"Teiginys","research-forge.consumer.proof.secondaryRight":"Forge yra aktyvus, nebaigtas vidinis tyrimas. Tai ne produktas, ne vieša sintezės paslauga ir ne atvirojo kodo atsisiuntimas.","research-forge.consumer.proof.secondaryRightLabel":"Tyrimo riba","research-forge.consumer.proof.sideAssumptionsDetail":"Įvesčiai ir aplinka, kuriems taikomas teiginys.","research-forge.consumer.proof.sideAssumptionsLabel":"Prielaidos","research-forge.consumer.proof.sideFooter":"Įrodymas sustiprina tikslų teiginį, o ne miglotą pažadą.","research-forge.consumer.proof.sideLimitsDetail":"Ko rezultatas nenustato.","research-forge.consumer.proof.sideLimitsLabel":"Ribos","research-forge.consumer.proof.sideMetaLabel":"Stipriausia sąžininga būsena","research-forge.consumer.proof.sideMetaValue":"Įvardytas, niekada numanomas","research-forge.consumer.proof.sideProgramDetail":"Tikslus kandidatas, kuris tikrinamas.","research-forge.consumer.proof.sideProgramLabel":"Programa","research-forge.consumer.proof.sidePropertyDetail":"Elgsena, kuri yra teigiama.","research-forge.consumer.proof.sidePropertyLabel":"Savybė","research-forge.consumer.proof.sideStatus":"Įrodymas","research-forge.consumer.proof.sideSubtitle":"Keturios dalys, kurios turi likti kartu","research-forge.consumer.proof.sideTitle":"Įrodymo teiginys","research-forge.consumer.proof.titleAccent":"ne teisingas kiekviename įmanomame pasaulyje","research-forge.consumer.proof.titleLead":"Patvirtinta pagal šias taisykles","research-forge.consumer.proof.visualFooter":"Nežinomas, neįmanomas, dviprasmiškas ir neapimtas lieka teisėtais tyrimo rezultatais.","research-forge.consumer.proof.visualMeta":"Iliustratyvus įrodymas","research-forge.consumer.proof.visualStatus":"Apimtis matoma","research-forge.consumer.proof.visualSubtitle":"Testavimas, riboti patikrinimai, formalus įrodymas ir vykdymo susiejimas yra skirtingi rezultatai","research-forge.consumer.proof.visualTitle":"Užtikrinimo kopėčios laiko savo laiptelius atskirai","research-forge.consumerHero.titleSuffix":"ieškant geresnių kelių","research-forge.d02603176f":"Universalus","research-forge.d092bf9ea1":"Naršykite tyrimą","research-forge.d0f4e7e15e":"grafas juos išlaiko tikslius","research-forge.d105692d52":"Pasirinktas kandidatų grafas","research-forge.d1a475961a":"Ribota išsami paieška gali rasti mažiausią išraišką siauroje kalboje. Kontrpavyzdžių valdomas tobulinimas linkęs rasti tvirtas struktūruotas programas. Apribojimų vedama paieška išsprendžia sudėtingas bitų lygio sritis. Tiriamoji paieška pasiekia neįprastų įgyvendinimų.","research-forge.d1b06384eb":"Pavyzdžiai, taisyklės arba iš dalies parašyta programa.","research-forge.d1ed30ebcf":"Fiksuota riba","research-forge.d1f8a8cdec":"Sujungimas yra tik tiek stiprus, kiek jį pagrindžiantis testas.","research-forge.d1f8e5ea93":"Pasirinkimas","research-forge.d2089fb287":"Teorijos maršrutizavimas","research-forge.d2316c0df0":"Penki įrašai","research-forge.d23276442b":"Dizaino erdvės problema","research-forge.d23c4c8d4e":"Vienas sakinys, trys naudojamos formos","research-forge.d255672f1b":"ir paaštrina užklausą","research-forge.d286c609a6":"Specifikacijos versija","research-forge.d2b02aa6ad":"įrašas įpareigoja abi puses","research-forge.d2bad80400":"Paprasta užklausa, išskaidyta į pavyzdžius, taisyklę ir eskizą, šalia atsakymo, parašyto tiesiai iš sakinio, kurio nėra su kuo patikrinti","research-forge.d2d0b16b22":"Pašalinkite struktūrinius dublikatus ir pastebėtus dublikatus.","research-forge.d2d43bec88":"Tikslinės galinės dalys (vertinimo apimtis)","research-forge.d35260a00f":"Taikiniai","research-forge.d362822809":"Kur pateikti problemą","research-forge.d36f29cacf":"Suderinti","research-forge.d3d6314184":"Kiekvienas kandidatas yra linija per visas ašis, o ne taškas vienoje.","research-forge.d3dee74f70":"Formalus rezultatas ir atskiras jo patikrinimas, kai yra.","research-forge.d3ec6e1bad":"Semantinis objektas, kurį gauna Kera, su pridedamais įsipareigojimais.","research-forge.d4621d18f0":"su nurodyta riba","research-forge.d4a74b503a":"Skaitykite dokumentus","research-forge.d4ccefcb5e":"nė vienas iš keturių nesibaigia sukurdamas kažką tikėtino","research-forge.d50b109f99":"Keli išvedimai išlieka gyvi vienu metu, o galutinis pasirinkimas laukia objektyvių įrodymų.","research-forge.d51fb63a04":"kiekvienas rezultatas į jį nukreipia","research-forge.d5383ea7af":"Užfiksuota","research-forge.d5dc89d194":"Palaikomoms Kera sutartims grynas vykdymas pakartoja bitus identiškai be sėklos, įskaitant padengtus slankiojo kablelio šeimos kelius. Kai programa sąmoningai naudoja atsitiktinę būseną, ta būsena yra deklaruotas įvestis, ir jos pakartotinis naudojimas atkuria visą vykdymą.","research-forge.d5ec4f1c39":"Kodėl ši programa egzistuoja","research-forge.d5f412e831":"Kera","research-forge.d659989a95":"Forge ieško kalbos, sudarytos iš tipizuotų skaičiavimo operacijų. Įvestys, išvestys, formos, skaitinės šeimos, efektai, galimybės, nuosavybė ir taikinių apribojimai nusprendžia, kurios kompozicijos yra teisėtos, todėl netinkamos programos yra pašalinamos struktūriškai, o ne generuojamos ir taisomos po vertinimo. Kalba parenkama kartu su paketu ir uždaroma vykdymui.","research-forge.d66c44dfdf":"Neįmanoma","research-forge.d6a6f2deb1":"Ką daro ciklas","research-forge.d71df112ac":"Ką paieška gali daryti","research-forge.d769ded7e8":"Kandidatas","research-forge.d79c0b71d1":"kurio pirmoji teisinga programa nėra pakankama","research-forge.d7e5b39755":"Neaiškumas tampa matomas prieš jam tampant kodu. Du kandidatai gali atitikti visus pateiktus pavyzdžius ir vis tiek nesutarti dėl įvesties, kurios niekas neužrašė. Forge praneša apie tą nesutarimą ir prašo kito reikalavimo, o ne tyliai pasirenka vieną elgesį.","research-forge.d7e94eb0fb":"Kiekviena organizacija remiasi mažais, kritiniais kodo gabalais. Forge klausia, ar programų sintezės paieška gali pasiūlyti kandidatų įgyvendinimus pagal deklaruotą specifikaciją ir matavimo planą. 2025 m. ataskaita dokumentuoja eksperimentą, o ne gamybinę parengtį; jokia paskelbta etaloninė sistema nenustato optimalios ar greičiausios versijos.","research-forge.d835dab5b4":"tikslus sveikasis skaičius","research-forge.d90c9bd5a7":"dydis nuo 2 iki 4","research-forge.d9f6acb036":"ištraukimas atliekamas paskutinis","research-forge.da09c06014":"Forge pradeda nuo elgesio sutarties, kuri nesikeičia. Paieška gali pasiūlyti tūkstančius įgyvendinimų, o pavyzdžiai, kontrpavyzdžiai ir formalios užklausos nusprendžia, kurie iš jų lieka. Rezultatas yra tipizuotas programos kandidatas su išvedimu, objektyviu vektoriumi ir nurodytu užtikrinimo lygiu.","research-forge.da7a712c59":"Ką programa turi daryti","research-forge.daec3d5393":"Kontrpavyzdžiai, įrodymai ir užtikrinimo perėjimai.","research-forge.db1c784524":"Nuoroda","research-forge.dc131e9db4":"Ką paketas įtvirtina","research-forge.dc16ac61b4":"viena ašis negali įvertinti fronto","research-forge.dc5b5aba63":"sugriežtina reikalavimą","research-forge.dcd69b02b3":"Specifikacija yra nuosekli","research-forge.dd00b8f82f":"Pavadintas užtikrinimas","research-forge.dd3c9b9d09":"Nefiksuokite perrašymo eilės","research-forge.dd3e8f4841":"Testai nustato elgesį tais atvejais, kurie buvo paleisti. Išsami ribota patikra apima deklaruotą baigtinę sritį. Formalus įrodymas patvirtina užkoduotą ryšį pagal nurodytas prielaidas. Vykdymo susiejimas pririša rezultatą prie grafiko ir plano, kurie iš tikrųjų buvo paleisti. Forge praneša, kurį iš jų kandidatas pasiekė, nes sprendimas, priimtas remiantis netinkamu, yra sprendimas, priimtas remiantis netinkamais įrodymais. Toje kopėčiose yra penki laipteliai, ir kandidatas vienu metu laiko tiksliai vieną iš jų.","research-forge.de135d6b61":"gryna sritis","research-forge.de56d45fd4":"ir ko jam neleidžiama liesti","research-forge.de9e9925af":"dalys, kurios turi likti kartu","research-forge.dfda3a3599":"Peržiūrimas","research-forge.e0078f1adb":"Jis negali pridėti failų ar tinklo prieigos, kuri niekada nebuvo leista. Jis negali pakeisti skaičiaus tipo, kurį naudoja atsakymas. Jis negali sušvelninti reikalavimo, nes perspektyvus kandidatas beveik jį įvykdė.","research-forge.e03608577a":"Ribų peržiūra","research-forge.e048b8a355":"Kaip garantijos susideda per optimizavimą ir planavimą.","research-forge.e15760689d":"Patobulinti","research-forge.e192f8980b":"Statiniai modeliai reitinguoja kandidatus prieš bet ką paleidžiant. Kalibruoti tiksliniai profiliai patikslina tuos įverčius. Išmatuoti paleidimai juos patvirtina arba pataiso. Kiekvienas lieka pažymėtas, todėl prognozuota latencija niekada nerodoma ten, kur turėtų būti išmatuota.","research-forge.e24f8562eb":"įgyvendinimas tampa rezultatu","research-forge.e29a79fe0c":"Peržiūra","research-forge.e2f9cea1dd":"ką kiekviena forma nustato ir ko nenustato","research-forge.e31ae17fe2":"Ką ji palieka atvirą","research-forge.e340683de2":"Paskelbti konkretūs atvejai praėjo.","research-forge.e341bf4b5e":"Išsamumas priklauso paskelbtai erdvei, o ataskaitoje nurodoma, kokia ta erdvė buvo.","research-forge.e380a981e1":"Dvi inžinerijos sekos","research-forge.e3a3474f57":"Lygiavertės šaltinio eilutės gali apibūdinti tą patį skaičiavimą, o panašiai atrodantis šaltinis gali slėpti skirtingus efektus. Dirbant su grafu, struktūrinis bendrinimas, kandidatų palyginimas, įrodymų susiejimas ir kilmė tampa tikslūs, o ne kažkas, kas išvedama iš teksto po kiekvienos transformacijos.","research-forge.e3aa756f4f":"Trys rodiniai","research-forge.e3f3e0b2d5":"Neatsakymas su priežastimi yra sprendimas, kuriuo organizacija gali remtis šiandien.","research-forge.e3f4660921":"Kai paieška išlaiko kelias teisingas programas, kažkas turi pasakyti, kuris kompromisas svarbus. Tai sprendimas, ir Forge jį užfiksuoja kaip tokį, kartu su programomis, kurių nepasirinko, ir priežastimi, kodėl kiekviena buvo atmesta.","research-forge.e40786cd04":"grafas yra pavadintas, o ne šaltinis","research-forge.e43a425d4c":"Vienas nepavykęs atvejis","research-forge.e4709d4a03":"Kažkas paskelbtoje kalboje atitinka reikalavimą.","research-forge.e4ec169f06":"Trys iteracijos, vienas vis aštrėjantis reikalavimas","research-forge.e5a5debd01":"ir nukreipia kitą investiciją","research-forge.e5e6eefa7c":"kiekvienas gali įvardyti skirtingą geriausią kandidatą","research-forge.e5fa3a8592":"Pridėkite įrodymų, kurie atskiria konkuruojančius elgesius.","research-forge.e6737991ff":"Kandidatų paieška","research-forge.e6c167fd27":"NARYS","research-forge.e6f72dbc9e":"Gerai suformuotas per vykdymą niekada nesusilieja.","research-forge.e70fb2879c":"kuris keičia atsakymą","research-forge.e713d42aa6":"SUBJEKTAS","research-forge.e73791d2ee":"Įrašas sukurtas taip, kad jį skaitytų tas, kuris ten nebuvo. Jis įvardija specifikacijos versiją, o ne šaką, kandidatų grafą, o ne failą, ir dominavimo santykį, o ne pageidavimą, todėl recenzentas gali paklausti, kodėl ne kandidatas B, ir gauti atsakymą.","research-forge.e78c82b9d8":"Lygiaverčių programų erdvė","research-forge.e792eed957":"Išvardykite pagal tipą ir dydį","research-forge.e79545edad":"Forge gali rasti programą, rasti kelias, rasti kontrpavyzdį, kuris vieną užbaigia, arba nustatyti, kad leistinoje erdvėje niekas neveikia. Bet kuris iš šių variantų gali įvykti per vieną paleidimą.","research-forge.e7c6bfda5f":"Pavyzdžiai, apribojimai ir eskizai","research-forge.e7eaf3097f":"NENUSPRĘSTA","research-forge.e83744eb1b":"Vienas grafas per Dweve kaminą","research-forge.e89c5a1fe5":"Prašyti demonstracijos","research-forge.e8c9206319":"Jūs nurodote elgesį","research-forge.e93a01e74c":"Įėjimai ir išėjimai","research-forge.e9a46a96e9":"Dviprasmiškas","research-forge.e9c366b4f3":"Reikalavimas","research-forge.e9e1bb076f":"Įrodymas, grafas, planas ir rezultato tapatybė yra susieti.","research-forge.ea2f183ae8":"Nesėkmė, įvardijanti tikslų įėjimą, paieškai pasako daugiau nei nesėkmė, įvardijanti balą.","research-forge.ea66222972":"Apibrėžkite elgesį, kandidatų kalbą, tikslų vektorių ir įrodymus, kurių jums reikia. Forge gali tai paversti kontroliuojamu paieškos, palyginimo ir patikros eksperimentu.","research-forge.ea66d3cd71":"Formaliai patvirtinta","research-forge.eae192773b":"Sukūrė","research-forge.eb01bf04c9":"Pavyzdžiai","research-forge.eb5d2f4a58":"JIT","research-forge.eb65476556":"atsisakymas prieš vertinimą nieko nekainuoja","research-forge.eb86bd10d0":"Išbandykite ir formaliai patikrinkite išlikusius.","research-forge.ebc93602b0":"Mokslinių tyrimų partnerių programa","research-forge.ebd1b8a0ed":"Teisingumas ir kaina lieka atskirai","research-forge.ebf002ed26":"Ką kiekvienas leistinas įėjimas turi pateikti arba išsaugoti?","research-forge.ec00edb305":"Matavimo būsena","research-forge.ec80d62108":"Trijų ašių kompromiso grafikas su dominuojamais kandidatais pilkais, politikos parinkiklis, pasirenkantis vieną nedominuojamą narį, ir valdiklis, pridedantis tikslą ir perbraižantis frontą","research-forge.ec8c6779f3":"Išvedimas","research-forge.eca98aa4dd":"Nuolatinis invariantas","research-forge.ecc4622e4a":"Ketinimas kaip turtas","research-forge.eccd8c22c7":"Atvejai","research-forge.ed03c68d9c":"Iš dalies","research-forge.ed625e27bc":"atsakymas nuskaitomas iš įrašo, o ne atkuriamas iš jo","research-forge.ed834ee730":"Dvi programos, kiekvienas pavyzdys, vienas nesutarimas","research-forge.ed868fa2d4":"Ką vienas atsakymas nustato","research-forge.edd8fb596d":"Ko organizacija nori","research-forge.ee531c138e":"viena tapatybė viso gyvavimo ciklo metu","research-forge.ee6e0d9004":"ką grąžina Kera","research-forge.eebc8ec4db":"Didžiausias darbinis rinkinys","research-forge.eebfc58277":"Paprastai yra daugiau nei vienas geras atsakymas, o pasakyti, kurį pasirinkote, yra atsakymo dalis.","research-forge.ef4e3a4971":"Kas dar gali skirtis","research-forge.ef73fdd1c8":"Keturi atvejai","research-forge.f04208c0f4":"išorinius tris žiedus galima nagrinėti neatidarius vidinio","research-forge.f061352d1c":"Šeima, plotis, apvalinimas ir galiojantis klaidų intervalas.","research-forge.f0aa98e438":"Problema užrašoma pirmiausia","research-forge.f128a0033d":"Forge lygina tinkamus kandidatus pagal operacijų skaičių, kritinį kelią, atminties srautą, darbinį rinkinį, registrų apkrovą, kodo dydį, numatomą energijos sąnaudas, perkeliamumą, įrodymų sudėtingumą ir tinkamumą tikslui. Kurie iš jų aktyvūs, priklauso eksperimento paketui, pasirenkamam prieš matuojant bet kurį kandidatą, todėl palyginimo negalima koreguoti po rezultatų gavimo.","research-forge.f1513553a0":"Penki kandidatai, įgyvendinantys tą pačią specifikaciją, kiekvienas su skirtingu struktūriniu siluetu ir tikslų juosta, o pirmasis rastas kandidatas pažymėtas kaip dominuojamas","research-forge.f19a088441":"Kandidatų programų formų laukas trijose būsenose aplink fiksuotą reikalavimų rėmą centre, kuris niekada nekeičia dydžio","research-forge.f1e6269a35":"Forge kandidatas yra tipizuotas semantinis grafas. Jo mazgai išlaiko operacijas, priklausomybes, reikšmes, efektus, nuosavybę ir skaitinius įsipareigojimus, o paieška prideda, šalina ir sujungia regionus, kol sąsaja išlieka gerai suformuota. Šaltinio sintaksė yra vienas to objekto vaizdas, o ne jo tapatybė, todėl įrodymas gali prie jo prisirišti ir išlikti pasikeitus rašybai.","research-forge.f21eba9d4c":"Teigiamas elgesys apie jį.","research-forge.f2b83c0462":"Peržiūrėti kandidato rezultatą","research-forge.f3263fc33a":"Kokie įėjimai, efektai ir aplinkos patenka į apimtį?","research-forge.f33b37791c":"vienas fiksuotas reikalavimas","research-forge.f34faaf18c":"Kas lieka fiksuota vykdymo metu","research-forge.f3717fe94b":"Trys jungtys, viena tipizuota kalba","research-forge.f3b8596ff9":"Eskizai","research-forge.f3e0a2c003":"Operacija, būsenos perėjimas ir kiekvienas efektas, kurį jam leidžiama turėti.","research-forge.f44f712120":"metodas lieka tyrimu","research-forge.f4b90ff6c9":"enumeratyvus, CEGIS, GP, MCTS","research-forge.f4c0773264":"Tipai, efektai, nuosavybė ir sąsajos yra tinkami.","research-forge.f5330c10d4":"Dvi sistemos, vienas objektas","research-forge.f539273fc2":"Jis įveikė deklaruotus konkrečius atvejus.","research-forge.f53a569905":"Institucinė problema","research-forge.f591672335":"nuo pradžios iki pabaigos","research-forge.f5def394f5":"Tikslus kandidatas, kuris buvo patikrintas.","research-forge.f61f151c35":"Apibūdinkite, kas vyksta","research-forge.f6c1c2d45c":"pasirinktas kandidatas išlaiko politiką, kuri jį pasirinko","research-forge.f6fbfa37a0":"Efektų apribotas","research-forge.f7313a2c50":"Dauguma sistemų, rašančių kodą, prašomos tęsti tekstą tikėtinu būdu. Forge prašoma patenkinti aprašymą, ką programa turi daryti. Ji ieško įgyvendinimų, atmeta tuos, kurie nepavyksta su konkrečiu įėjimu, lygina išlikusius ir tiksliai nurodo, kaip stipriai rezultatas buvo patikrintas.","research-forge.f740162265":"Palyginamas","research-forge.f793bcd5e3":"Pasirinktas pagal dabartinę politiką","research-forge.f7bce3aeb0":"Trys vienodumo rūšys","research-forge.f7fcfa132e":"Patvirtinta visada reiškia patvirtinta pagal tai, kas nurodyta.","research-forge.f85d540ea4":"Jie taip pat nepavyksta skirtingai. Kandidatas gali įveikti visus pateiktus pavyzdžius ir vis tiek pažeisti kiekybinę sąlygą, kurią pavyzdžiai turėjo iliustruoti. Įrašas įvardija tą skirtumą, todėl testų rinkinio įveikimas niekada vėliau nėra laikomas įrodymu.","research-forge.f8ad81d4ed":"Dvi programos gali atlikti lygiai tą patį darbą ir vis tiek skirtis gyvenime. Viena baigia anksčiau. Viena perkelia mažiau duomenų. Viena veikia daugiau rūšių mašinų. Viena tiesiog lengviau patikrinama. Pagerinti bet kurį iš šių aspektų paprastai kainuoja kitoje srityje, todėl Forge išlaiko gerus, o ne paskelbia vieną nugalėtoją.","research-forge.f915e592e0":"Pakankamai nusistovėję, kad būtų galima aiškiai pasakyti: nekintama specifikacija, vienas tipizuotų kandidatų baseinas, maitinamas kelių paieškos elgsenų, pavyzdžiai kaip nuolatiniai įsipareigojimai, riba vietoj paslėpto balo, įvardyti užtikrinimo lygiai ir grafiko tapatybė, išgyvenanti perdavimą Kera.","research-forge.f91cf3695e":"kas palieka Forge ir ką Kera grąžina","research-forge.f942052ae1":"Pirmoji teisinga programa","research-forge.f95d9699ab":"ne geriausio apibrėžimas","research-forge.f9743247fa":"Skaityti dokumentaciją","research-forge.f97f6d5c34":"Skaičiaus rūšis atsakyme","research-forge.f9917655d9":"Patvirtinti ir atmesti kandidatai, kurie buvo svarbūs.","research-forge.f9d589b5e4":"Etiketė įvardija lygį, o įrašas šalia jos įvardija apimtį, kurią tas lygis apima.","research-forge.fa6b511877":"Negali keistis","research-forge.fa7f633b0c":"Trys kandidatų bylos, sustabdytos skirtinguose užtikrinimo lygiuose, kiekviena atverianti įrodymus už savo etiketės, o paaukštinimas rodomas kaip nepasiekiamas be įrodymų","research-forge.fa8d0afff2":"ir pateikti šaltinį krašte","research-forge.fb588797f2":"Programinė įranga, kuri rašo","research-forge.fba63933d7":"įrodinėjimas nustato elgesį","research-forge.fbe8d4180f":"Viena sėkla, daug formų","research-forge.fc5fed48be":"Ieškoti grafe","research-forge.fc7583ec76":"Nekintama specifikacija","research-forge.fca77b7e3a":"Iš pirmo žvilgsnio","research-forge.fca8a06b17":"Forge įrašo, kuri vienodumo rūšis pateisino kiekvieną sujungimą, todėl pigus dubliavimosi pašalinimas paieškos metu niekada vėliau nėra laikomas semantiniu rezultatu.","research-forge.fd2145e1f8":"Tvarka, kuri niekada nesikeičia","research-forge.fd9cfb5232":"Kelios paieškos elgsenos sukuria vieną rūšį tipizuotų kandidatų.","research-forge.fdd0dfedc0":"Keturi dalykai galioja","research-forge.fe03c35158":"Semantika","research-forge.fe0863e1b3":"Penki užtikrinimo lygiai","research-forge.fe08eef5c7":"Žingsniai, priklausantys Dweve vidiniam metodui, grandinėje atsiranda kaip užantspauduoti mazgai. Kiekvienas iš jų skelbia savo įvestis, išvestis ir tapatybę, todėl grandinė išlieka sujungta, o strategija jos viduje lieka tyrimo dalimi.","research-forge.fe17f86199":"Projektavimo erdvė","research-forge.fe8b95b52a":"Pasirinktas grafas, judantis iš Forge į Kera viena juosta, su gretimomis Dweve sistemomis, kurios skaito tą patį objektą, ir rezultato tapatybe, grįžtančia į jį","research-forge.fec325ce2f":"Perkelia mažiau duomenų","research-forge.fef04acdce":"kas išlieka esant kiekvienam kandidato dydžiui","research-forge.ff52cebd1d":"Baigtinė deklaruota sritis buvo išnaudota.","research-forge.ff63942f4e":"Grandinė, kurią recenzentas gali pereiti","research-forge.ff75e0dce3":"Neaišku","research-forge.ffa7344f37":"Vieša Forge medžiaga paaiškina specifikaciją, atrastus alternatyvius variantus, kontrpavyzdžius, kurie kai kuriuos iš jų užbaigė, ir ką tyrimas iš tikrųjų gali įrodyti.","research-forge.technicalHero.titleSuffix":"Z3","section_st_a2_split-spec-sheet.7c9a7c0610":"Išsamiau","section_st_a6_split-scenario-triad.f75fd3a884":"Be priklausomybių vykdymo metu","section_st_a6_split-scenario-triad.143ac4ef35":"Vienas dvejetainis failas","section_st_a6_split-scenario-triad.c61f134d87":"Trys paviršiai","section_st_a6_split-scenario-triad.215475056e":"KUR VEIKIA","section_st_a6_split-scenario-triad.a794a586f0":"Paruošta sandariam kambariui","section_st_a6_split-scenario-triad.42d52c32ea":"Vietinis modelis","section_st_a6_split-scenario-triad.fe6168e59f":"Be tinklo","section_st_a6_split-scenario-triad.7d93f83c3e":"Prijungtas tomas su kodu","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":"Be diegimo","section_st_a6_split-scenario-triad.f600b9e709":"Vienas dvejetainis failas","section_st_a7_split-connector-grid.4e6822a6d4":"Karštas perkrovimas","section_st_a7_split-connector-grid.19e35f0609":"Nustatyta TOML","section_st_a7_split-connector-grid.d9de50b343":"Skambintojo valdomas inventorius","section_st_a7_split-connector-grid.8be1bb51b7":"JUNGTYS","section_st_a8_split-scaling-profile.7e0861e04c":"Tunable in TOML","section_st_a8_split-scaling-profile.56d6732417":"Per-project ceiling","section_st_a8_split-scaling-profile.27a454915b":"Active dots reflect concurrent agents per tier.","section_st_a8_split-scaling-profile.0ea215ea0d":"BACKGROUND","section_st_a8_split-scaling-profile.9fc6fb7e03":"TEAMS","section_st_a8_split-scaling-profile.018d2cd1a5":"PARALLEL","section_st_a8_split-scaling-profile.16623c5d4a":"CHAINS","section_st_a8_split-scaling-profile.0fb79c96ed":"Solo → Team → Network","section_st_a8_split-scaling-profile.068f6b3ecc":"TEAM SCALE","section_st_a8_split-scaling-profile.53ebc572b4":"Network","section_st_a8_split-scaling-profile.218887269a":"Team","section_st_a8_split-scaling-profile.9fc93acaa4":"Solo","section_st_a9_split-time-lost-donut.7c9a7c0610":"Išsamiau","section_st_b5_request-lifecycle.47e364232a":"auditas #4521","section_st_b5_request-lifecycle.4d3535f846":"pataisa · session.rs","section_st_b5_request-lifecycle.6c2519cd62":"Įrankio vykdymas","section_st_b5_request-lifecycle.f6d1c823ab":"sesija #128 · 14:02","section_st_b5_request-lifecycle.636de0d0c3":"> \"pataisyk šią klaidą\"","section_st_b5_request-lifecycle.0208131a7d":"Vartotojo užklausa","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":"JŪSŲ KODO BAZĖ","section_st_b8_defense-stack.89b6e2a784":"GILUS GYNIMAS","section_st_c2_dual-loop-flow.9d29573ea6":"įrankis / žingsnis","section_st_c2_dual-loop-flow.08ab1ac55a":"planas / perplanavimas","section_st_c5_integration-spoke.55d0677ac3":"Visi jungtuvai eina per tą patį audito ir leidimų sluoksnį.","section_st_c5_integration-spoke.c29eb7e425":"Vietinis agentas","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":"Išoriniai įrankiai","section_st_c5_integration-spoke.70c123381f":"JSON-RPC 2.0","section_st_c5_integration-spoke.dc99d54d99":"Vietinis","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":"Pradėti","toc-rail.f5cbdf6bfb":"Turinys"}