{"aura-ask-grid.af0854de67":"Aura","aura-business-sides.a0853da24b":"Tekniset tiedot","aura-business-visuals.40417391c5":"Aura · ratkaisee","aura-business-visuals.271973aefe":"xMidYMid meet","aura-business-visuals.3e91add48a":"BOARD","aura-showcase.eyebrow":"Dweve-alusta","aura-showcase.subtitle":"Koodausagentti ja operaattorin apuri. Demomittarit ovat havainnollistavia.","aura-showcase.pillTools":"25+ työkalua","aura-showcase.pillRunning":"käynnissä","aura-showcase.pillAnalysing":"analysoidaan koodikantaa","aura-showcase.capabilityToolsTitle":"25+ työkalua","aura-showcase.capabilityToolsBody":"Pääte, haku, lint, testi, git ja paljon muuta.","aura-showcase.capabilityMemoryTitle":"Semanttinen muisti","aura-showcase.capabilityMemoryBody":"Muistaa koodikantasi ja tiimisi kontekstin.","aura-showcase.capabilityAgentsTitle":"Multi-agenttiorkestrointi","aura-showcase.capabilityAgentsBody":"Erikoistuneet agentit tekevät yhteistyötä eri osa-alueilla.","aura-showcase.guaranteeAuditTitle":"Auditointijälki","aura-showcase.guaranteeAuditBody":"Jokainen vaihe tallennetaan aikaleimoilla.","aura-showcase.guaranteeGuardrailsTitle":"Suojakaiteet","aura-showcase.guaranteeGuardrailsBody":"Käytännöt, tarkistukset ja testit ajetaan aina.","aura-showcase.guaranteeApprovalTitle":"Koodimuutokset hyväksynnällä","aura-showcase.guaranteeApprovalBody":"Tarkista diffit, pyydä muutoksia, lopullinen hyväksyntä.","aura-showcase.guaranteeReplayTitle":"Deterministinen toisto","aura-showcase.guaranteeReplayBody":"Toista mikä tahansa istunto bitti bitiltä, kun jotain on tarkistettava.","aura-showcase.workflowUnderstand":"Ymmärrä","aura-showcase.workflowUnderstandCaption":"Lue retry.ts, jäljitä aikakatkaisubugi","aura-showcase.workflowPlan":"Suunnittele","aura-showcase.workflowPlanCaption":"Erota guard + rajoita uudelleenyritykset","aura-showcase.workflowImplement":"Toteuta","aura-showcase.workflowImplementCaption":"Korjattu retry.ts + types.ts","aura-showcase.workflowTest":"Testaa","aura-showcase.workflowTestCaption":"28 testiä, 94% kattavuus","aura-showcase.workflowVerify":"Varmista","aura-showcase.workflowVerifyCaption":"Ajetaan lint & typecheck...","aura-showcase.workflowAudit":"Autonomiset agentit, jotka kirjoittavat koodia ja pitävät kirjaa","aura-showcase.workflowAuditCaption":"käynnissä","aura-showcase.footer":"epäonnistuu","aura-showcase.testsPassing":"muokattu","aura-showcase.testsFailing":"Aura","aura-showcase.modified":"Käynnissä","aura-showcase.af0854de67":"Analysoidaan koodikantaa","aura-showcase.73989d9c59":"Työnkulku","aura-showcase.f9e94338d0":"Yhtenäinen","aura-showcase.d7a484140f":"Kattavuus","aura-showcase.287fda8114":"Erotettu isRetryableError","aura-showcase.80e13549b4":"käsittelemään\n                    verkon aikakatkaisuja, 5xx-vastauksia ja idempotentteja\n                    ehtoja. Puhdas apufunktio, täysin yksikkötestattu.","aura-showcase.b71cc78b34":"Poimittu isRetryableError","aura-showcase.c37a8a9e2b":"käsittelemään\n                    verkon aikakatkaisuja, 5xx-vastauksia ja idempotenttiturvallisia\n                    ehtoja. Puhdas apufunktio, täysin yksikkötestattu.","aura-tech-middles.7fba7d244f":"Kuuma polku","aura-tech-middles.1be47ef71c":"Läpileikkaava","aura-tech-middles.92096d78df":"Saapuva liikenne","aura-tech-middles.8e05a902ed":"Lähtevä liikenne","aura-tech-middles.49a66c994d":"Sisäänrakennetut agentit","aura-tech-middles.a60792e996":"Ulompi silmukka","aura-tech-middles.0dfd4db698":"Sisempi silmukka","aura-tech-middles.bbd88bff92":"Saapuva pyyntö","aura-tech-middles.a618b4be8d":"Kysely","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":"Lohko","aura-tech-middles.271973aefe":"xMidYMid meet","page-breadcrumb.c766e66518":"Murupolku","page-toc.7e439c353e":"Tällä sivulla","res-forge-action-instrument.089b6f0342":"Laukaisija","res-forge-action-instrument.97c89a4d66":"Toiminto","res-forge-ambiguity-board.af13a94202":"on tulos, ja se kirjataan\n          yhdeksi.","res-forge-ambiguity-board.e9a46a96e9":"Monitulkintainen","res-forge-ambiguity-board.1ee9387ca8":"Kolme tapaa, joilla henkilö voi vastata. Haku ei ota niistä yhtäkään sellaisenaan.","res-forge-ambiguity-board.f275049b4b":"Minkä niistä tarkoitit?","res-forge-ambiguity-board.e1f6a95de4":"tyhjä sekvenssi","res-forge-ambiguity-board.39f54f4f92":"Syötettä ei annettu","res-forge-ambiguity-board.3636a0be7f":"on samaa mieltä","res-forge-ambiguity-board.140f86aae5":"syöte","res-forge-ambiguity-board.5a3eea8643":"Jokainen annettu esimerkki","res-forge-ambiguity-board.fd50372bde":"Viisi annettua esimerkkiä ja miten molemmat ehdokkaat vastaavat niihin","res-forge-ambiguity-board.86c03753f3":"raportoi sekvenssin pienimmän määrän","res-forge-ambiguity-board.e9c366b4f3":"Vaatimus","res-forge-ambiguity-board.957a3c6b10":"rajaa toimialuetta","res-forge-ambiguity-board.b0567c7519":"lisää ehto","res-forge-ambiguity-board.7713f29af2":"lisää esimerkki","res-forge-ambiguity-board.5472c41b95":"lukee tyhjän sekvenssin sallitun syötteen ulkopuolelle","res-forge-ambiguity-board.2597c3398a":"virhe","res-forge-ambiguity-board.9adfc74130":"Ehdokas 2","res-forge-ambiguity-board.72e8350f75":"lukee tyhjän sekvenssin neutraaliksi määräksi","res-forge-ambiguity-board.170d4a4827":"Ehdokas 1","res-forge-assurance-ladder.7607387940":"mitä se ei vahvista","res-forge-assurance-ladder.204b9b0c88":"mitä se oletti","res-forge-assurance-ladder.f03d859ccc":"mitä tarkistettiin","res-forge-assurance-ladder.6b3fa46450":"kaksi ehdokasta, kaksi rehellistä pysäytyskohtaa, molemmat raportoitu sellaisina kuin ne ovat","res-forge-assurance-ladder.ed682e5934":"EI PÄÄTELTY Q:STA","res-forge-assurance-ladder.bdad2aeeb8":"Varmuuden portaat","res-forge-assurance-ladder.9a9f9e5d26":"EI PORRASTA PÄÄTELLÄ","res-forge-assurance-ladder.8259f9a8e2":"muodollinen teoria nykyisen sopimuksen ulkopuolella","res-forge-assurance-ladder.4f7ee515f7":"raportoitu suoritukseen sidottuna","res-forge-assurance-ladder.0d9389b742":"Kaikki käyttäytyminen kohteessa, jota tietue ei nimeä.","res-forge-assurance-ladder.246b796ef8":"Että tallennetut identiteetit ovat ne, jotka suoritus tuotti.","res-forge-assurance-ladder.69ded617f9":"graafi, suunnitelma, artefakti ja tulos jakavat yhden tietueen","res-forge-assurance-ladder.5102f2ad33":"identiteetti sidottu päästä päähän","res-forge-assurance-ladder.49d89b6ce4":"SUORITUKSEEN SIDOTTU","res-forge-assurance-ladder.a1cce5c1a6":"Kaikki ominaisuudet, joita sopimus ei koodannut, ja kaikki lähetetyt artefaktit.","res-forge-assurance-ladder.a7d0feec4e":"Semantiikka, joka koodattiin, ja oletukset, jotka paketti kiinnitti.","res-forge-assurance-ladder.fce451ff2c":"oletukset on kiinnitetty ja lueteltu","res-forge-assurance-ladder.c830a6c3be":"todistettu symbolinen ominaisuus","res-forge-assurance-ladder.da528b9287":"MUODOLLISESTI VARMENNETTU","res-forge-assurance-ladder.d4c1c6915e":"Käyttäytyminen sidoksen ulkopuolella, jota ei koskaan haettu.","res-forge-assurance-ladder.99d127dcae":"Että ilmoitettu toimialue on se, jonka sisällä tulosta käytetään.","res-forge-assurance-ladder.d8a8ea038d":"toimialue on ilmoitettu väitteen kanssa","res-forge-assurance-ladder.4538c7d77c":"äärellinen toimialue, katettu","res-forge-assurance-ladder.dfa6e659c8":"RAJATTU TARKISTETTU","res-forge-assurance-ladder.1412ce6f4c":"Käyttäytyminen millä tahansa syötteellä tallennetun joukon ulkopuolella.","res-forge-assurance-ladder.a1fde5a17c":"Että ilmoitetut tapaukset edustavat käyttäytymistä, josta tutkija välittää.","res-forge-assurance-ladder.df4854fc18":"tapaukset on tallennettu tuloksen kanssa","res-forge-assurance-ladder.36cba7e6ad":"konkreettiset tapaukset","res-forge-assurance-ladder.b5516f2280":"TESTATTU","res-forge-assurance-ladder.c0169d217f":"Ei mitään käyttäytymisestä millään syötteellä.","res-forge-assurance-ladder.da65feb01c":"Vain että paketti nimesi kielen, josta ehdokas rakennettiin.","res-forge-assurance-ladder.6903a5abc9":"ilmoitettu kieli on suljettu","res-forge-assurance-ladder.676886a349":"rakenteellinen kelpoisuus","res-forge-assurance-ladder.68d222a4f0":"HYVIN MUODOSTETTU","res-forge-assurance-ladder.85e08ba525":"Että todiste, graafi, Kera-suunnitelma ja tulosidentiteetti viittaavat toisiinsa.","res-forge-assurance-ladder.5e68702137":"Tuettu symbolinen ominaisuus, todistettu koodatun semantiikan yli.","res-forge-assurance-ladder.9c8a0471a5":"Jokainen arvo äärellisessä ilmoitetussa toimialueessa ilman epäonnistumista.","res-forge-assurance-ladder.77345a75bc":"Jokainen konkreettinen tapaus, jonka paketti ilmoitti, ajettu ja verrattu.","res-forge-assurance-ladder.8c4857d4f9":"Tyypit, muodot, vaikutukset, omistajuus ja ilmoitettu rajapinta.","res-forge-badge-opened.9a3d81d562":"Merkki kuuluu täsmälleen yhteen ohjelmaan","res-forge-badge-opened.3d1307a7ff":"Takaisin tavalliseen rakenteelliseen tunnisteeseen","res-forge-badge-opened.bac2685fbc":"Yksi vaihe muuttui","res-forge-badge-opened.aed3b8c6a7":"Vahvistettu","res-forge-badge-opened.bf2bc5e115":"Sama merkki yhden vaiheen muutoksen jälkeen","res-forge-badge-opened.d62d8e0dde":"Ota pois mikä tahansa näistä viidestä, ja se on eri väite.","res-forge-badge-opened.eb38f1807a":"Merkki ja viisi osaa, joita se väittää","res-forge-badge-opened.98987f9e01":"palauta tulos","res-forge-badge-opened.613ac981db":"pyöristä se eri tavalla","res-forge-badge-opened.25f1a0d208":"ota lukema","res-forge-badge-opened.16b22f5e52":"Ei sano mitään desimaaliaritmetiikasta.","res-forge-badge-opened.349be220c7":"Muodollinen tulos ja erillinen tarkistus siitä.","res-forge-badge-opened.17b29d4546":"Vain kokonaislukuja, eikä mitään ohjelman ulkopuolelta.","res-forge-badge-opened.7d77d99854":"Pätee jokaiseen kokonaislukuun ilmoitetulla alueella.","res-forge-badge-opened.7112a3df4e":"Tämä täsmällinen ohjelma, askel askeleelta.","res-forge-boundary-instrument.e29c5de6a0":"Yksi rivi on jaettu. Jokainen muu vastuu on täsmälleen yhdellä rajapinnan puolella.","res-forge-boundary-instrument.c6dda4f283":"omistettu","res-forge-boundary-instrument.d18aac96b9":"jaettu","res-forge-boundary-instrument.1ac443dbd4":"ei omistettu","res-forge-business-glyph.161d1b9d9a":"Yksi spesifikaatio","res-forge-business-glyph.ab98f5b857":"Kiinteä","res-forge-business-glyph.82b6d04b0e":"Vaatimus, joka ei liiku","res-forge-business-glyph.b5bf8067cf":"Ehdokkaat","res-forge-business-glyph.7e1d88fa7c":"tavoitevektori","res-forge-business-glyph.45d74a7136":"dominoitu","res-forge-business-glyph.239aff5852":"rintamalla","res-forge-business-glyph.f476109f39":"epäselvä","res-forge-business-glyph.473161067f":"Valintakäytäntö","res-forge-business-glyph.7eff74a5a8":"kirjattu, ei piilotettu","res-forge-business-glyph.c3b9a01442":"viive","res-forge-business-glyph.b727a735e7":"liike","res-forge-business-glyph.1a7d89d441":"tavoitteen sopivuus","res-forge-business-glyph.ef64363d23":"todiste","res-forge-business-glyph.efe124888c":"varmuus nimetty","res-forge-business-glyph.b086634a92":"kompromissit näkyvissä","res-forge-business-glyph.ca2bc19088":"Kera suorittaa","res-forge-business-glyph.f735a5ba22":"Tutkimusohjelma, ei ohjelmistotarjous","res-forge-candidate-fan.b6871fa0fc":"Siluetit ovat rakenteellisia, eivät lähde. Nauhan pituudet ovat suhteellisia sijainteja yhdellä\n            rajapinnalla.","res-forge-candidate-fan.8641796596":"Ehdokas E on dominoitu ehdokkaan D toimesta aktiivisessa tavoitejoukossa","res-forge-candidate-fan.d769ded7e8":"Ehdokas","res-forge-candidate-fan.45d74a7136":"dominoitu","res-forge-candidate-fan.100ec4462d":"todiste","res-forge-candidate-fan.1a7d89d441":"kohdeyhteensopivuus","res-forge-candidate-fan.b727a735e7":"liike","res-forge-candidate-fan.714eea0f4c":"aika","res-forge-candidate-fan.73ea3f356f":"Dominoitu","res-forge-candidate-fan.82f8a46f55":"sisäkkäinen puu","res-forge-candidate-fan.416bfd329b":"Rajapinnalla","res-forge-candidate-fan.00c93cd155":"kaksikaistainen jako","res-forge-candidate-fan.a70e321a36":"kompakti lohko","res-forge-candidate-fan.f259a41862":"leveä viuhka","res-forge-candidate-fan.8503665914":"Ensimmäisenä löydetty","res-forge-candidate-fan.e2a3a58a40":"yksi pitkä ketju","res-forge-choice-board.2f98d2f5be":"Tasapainoinen on myös mieltymys, ja se kirjataan sellaiseksi.","res-forge-choice-board.ce025222b1":"Kaikki nämä neljä ovat oikein, joten tämä on mieltymys eikä paremmuusjärjestys.","res-forge-choice-board.48e09e45c5":"Oikein","res-forge-choice-board.13f66243ef":"Suosi","res-forge-choice-board.55559438c9":"B luopuu vähiten mistään yksittäisestä mittarista.","res-forge-choice-board.03342dbb85":"Tasapainoinen","res-forge-choice-board.3cd298fe82":"D:llä on lyhin tarkistuspolku.","res-forge-choice-board.baf123fc17":"Selkein","res-forge-choice-board.58adc98abc":"C toimii laajimmalla tuettujen koneiden joukolla.","res-forge-choice-board.b2df292ee2":"Laajin","res-forge-choice-board.7987c4ffa8":"B siirtää vähiten dataa ja kestää kauemmin.","res-forge-choice-board.4e76f5796f":"Kevyin","res-forge-choice-board.cda4a6b217":"A valmistuu nopeimmin ja pitää eniten dataa muistissa työskennellessään.","res-forge-choice-board.4cb3bb0fc4":"Nopein","res-forge-choice-board.ed798211fb":"D luopuu yhdestä uudelleenkirjoituksesta pysyäkseen yksinkertaisena tarkistaa.","res-forge-choice-board.2a318223e9":"Ohjelma D","res-forge-choice-board.69a71f0df6":"C siirtää enemmän dataa päästäkseen perille.","res-forge-choice-board.d7782ce200":"Ohjelma C","res-forge-choice-board.018761680d":"B kestää kauemmin.","res-forge-choice-board.d2307ff43a":"Ohjelma B","res-forge-choice-board.4c06d2baf8":"A pitää eniten dataa muistissa työskennellessään.","res-forge-choice-board.2be70eef66":"Ohjelma A","res-forge-choice-board.97876b8380":"Tarkistus","res-forge-choice-board.2940ff1e5f":"Koneet","res-forge-choice-board.89c8a2851d":"Muisti","res-forge-choice-board.6c82e6dd86":"Aika","res-forge-choice-instrument.e786244260":"Sen hyväksymä kustannus","res-forge-choice-instrument.fd9a9f965e":"Suhteellinen mallinnettu viive","res-forge-choice-instrument.24d3e4fdd9":"Vahvuus","res-forge-choice-instrument.6853c98a6f":"Jäsen","res-forge-conflict-board.0e565b0b3e":"Tällä taululla ei ole yhtään kaistaa, joka päättyisi luotuun varakoodiin. Jokainen päättyy nimettyyn tulokseen ja henkilöön, joka omistaa seuraavan siirron.","res-forge-conflict-board.bb54db510a":"Hyväksy","res-forge-conflict-board.09c3f0d154":"ei edustettuna varmennussopimuksessa","res-forge-conflict-board.75e6b42fc5":"Soveltamisalan ulkopuolella","res-forge-conflict-board.281dd83602":"Laajenna","res-forge-conflict-board.8a97b9af81":"teoria- ja budjettiraja","res-forge-conflict-board.bc7819b34f":"Tuntematon","res-forge-conflict-board.3e0fb17cab":"Selvennä","res-forge-conflict-board.7835f9c578":"hylkää erän","res-forge-conflict-board.9522606498":"palauttaa neutraalin kokonaissumman","res-forge-conflict-board.e9a46a96e9":"Epäselvä","res-forge-conflict-board.d36f29cacf":"Sovita","res-forge-conflict-board.9a064eb243":"ehdokasta ei ole olemassa kielessä L","res-forge-conflict-board.5f20d0f3ac":"Tyydyttämätön","res-forge-conflict-board.151864867d":"Yhden vaatimuksen kuusi lauseketta","res-forge-conflict-board.426475873e":"tulos saapuu kiinteän seinäkelloikkunan sisällä","res-forge-conflict-board.6933c35154":"korjaava merkintä voi vähentää kokonaissummaa","res-forge-conflict-board.4bf7985a78":"tulos on tarkka viimeiseen yksikköön asti","res-forge-conflict-board.55dca06fb3":"tyhjä erä hyväksytään","res-forge-conflict-board.5b3e0d86e8":"kokonaissumma ei koskaan pienene, kun merkintöjä lisätään","res-forge-conflict-board.33f78f4681":"jokainen summa pysyy ilmoitetun alueen sisällä","res-forge-consumer-glyph.9154742cfc":"Työ yhdessä lauseessa","res-forge-consumer-glyph.b7d5d68aa8":"Pidä kaikki lukemat turvallisella alueella","res-forge-consumer-glyph.5a29585e3f":"Yritykset","res-forge-consumer-glyph.6bd1f59b85":"kaksi epäonnistuu tapauksessa","res-forge-consumer-glyph.059c3755e1":"kaksi saapuu","res-forge-consumer-glyph.d3f5d23e46":"yksi kantaa sinetin","res-forge-consumer-glyph.6bb9173137":"se etsii","res-forge-consumer-glyph.50814a267d":"monia mahdollisia ohjelmia","res-forge-consumer-glyph.64c675f85c":"se hylkää","res-forge-consumer-glyph.7403925825":"kaiken, mikä epäonnistuu yhdessä tapauksessa","res-forge-consumer-glyph.c1a77ef9ed":"se kertoo, kuinka vahvasti se tarkisti","res-forge-consumer-glyph.691b10181f":"ja missä tarkistus pysähtyy","res-forge-consumer-glyph.100ec4462d":"todisteet","res-forge-consumer-glyph.88acf54a65":"joskus ei ohjelmaa","res-forge-consumer-glyph.72dc433046":"Vastaus voi olla ei ohjelmaa","res-forge-cost-vector.140b63310c":"Ehdokas C","res-forge-cost-vector.2437a7ecbd":"Näyttö tavoitetta kohti","res-forge-cost-vector.25b7302067":"Vertailu, joka siirtyy toiseen kokeeseen.","res-forge-cost-vector.26d24d71f0":"Muistiliikenne","res-forge-cost-vector.3e39972526":"Viive","res-forge-cost-vector.405bdec664":"Mittausta ei ole","res-forge-cost-vector.4b1dda27e1":"Mitä vektori ei ole","res-forge-cost-vector.555486354d":"Koodin koko","res-forge-cost-vector.5d0b1f6647":"Kaksi viivaa risteävät, minkä vuoksi kumpikaan ehdokas ei yksinään ole vastaus.","res-forge-cost-vector.66374d941d":"Mitattu laitteistolla","res-forge-cost-vector.89a596e251":"Tyhjä solu on väite: todistuksen monimutkaisuus mallinnettiin, mutta sitä ei koskaan mitattu.","res-forge-cost-vector.8a4da1dcc8":"Paikka, jossa mallin tuotos voi korvata mittauksen.","res-forge-cost-vector.ab8dd4df08":"Kalliimpi","res-forge-cost-vector.ac46a8c74c":"Todistuksen monimutkaisuus","res-forge-cost-vector.ad638eff4a":"Neljä tavoitetta, kaksi ehdokasta, yksi koe","res-forge-cost-vector.b0b01215a0":"Ehdokas D","res-forge-cost-vector.bf8197e03c":"Suhteelliset sijainnit yhdessä kokeessa, korkeampi tarkoittaa kalliimpaa.","res-forge-cost-vector.cd05967fea":"Mallinnettu ennen ensimmäistäkään suoritusta","res-forge-cost-vector.ec8e6defbf":"Yksi pisteet, jonka mukaan kaksi ehdokasta voidaan asettaa järjestykseen.","res-forge-cost-vector.f4cfc474fa":"Halvempi","res-forge-counterexample-loop.aca21ce064":"luo uuden spesifikaatioidentiteetin","res-forge-counterexample-loop.fb8953469c":"LISÄÄ EDELLYTYSEHTO","res-forge-counterexample-loop.7e5559029b":"suoritus jatkuu samalla identiteetillä","res-forge-counterexample-loop.89ad46cbd8":"LISÄÄ TAPAUS","res-forge-counterexample-loop.9001aab10f":"KAKSI OIKEUTETTUA VASTAUSTA EPÄONNISTUMISEEN","res-forge-counterexample-loop.8888c622ac":"mitä todentajalta kysyttiin","res-forge-counterexample-loop.ec6e54733d":"sarake ei koskaan menetä riviä","res-forge-counterexample-loop.2a117d0937":"TODISTE, JOKA SEURAAVAN EHDOKKAAN ON TÄYTETTÄVÄ","res-forge-counterexample-loop.da7195483c":"Valitse tarkennussilmukan iteraatio","res-forge-counterexample-loop.a0c4d76862":"Kolmas ehdokas täyttää kaikki kirjatut velvoitteet. Todentaja ei löydä rikkovaa syötettä tuetun toimialueen sisältä ja palauttaa todisteen, jonka oletukset on lueteltu sen vieressä.","res-forge-counterexample-loop.f4800df8d1":"ulos","res-forge-counterexample-loop.2c3cbd53a7":"kertolasku","res-forge-counterexample-loop.d052634571":"levennä","res-forge-counterexample-loop.c7e42d43b0":"suojaa","res-forge-counterexample-loop.11f6ad8ec5":"x","res-forge-counterexample-loop.fcdd12a167":"MUODOLLISESTI TODENNETTU, oletukset lueteltu","res-forge-counterexample-loop.02b8a8db00":"kaikille x i32:ssä sekä molemmille kirjatuille tapauksille","res-forge-counterexample-loop.30f7f19326":"Toisen ehdokkaan on täytettävä esimerkit ja ylivuototapaus yhdessä. Se levennetään välitulos ennen kertolaskua, ja todentaja palauttaa toisen tapauksen, jota spesifikaatio ei ollut koskaan kiinnittänyt: tyhjän syötteen.","res-forge-counterexample-loop.02dc309df7":"HAVASTETTU, vastaesimerkki löytyi","res-forge-counterexample-loop.9ab3ad07a9":"kaikille x i32:ssä sekä kirjatulle tapaukselle","res-forge-counterexample-loop.47d7508d9a":"Ensimmäinen ehdokas täyttää kolme annettua esimerkkiä. Todentaja etsii koko i32:stä ja palauttaa yhden konkreettisen syötteen, jossa skaalattu tulo poistuu ilmoitetulta alueelta.","res-forge-counterexample-loop.ad5fa3b2c6":"kaikille x i32:ssä","res-forge-counterexample-loop.d1c8b37b24":"x = tyhjä syöte","res-forge-counterexample-loop.b412089d87":"x = 2147483647, ylivuoto","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":"mikään tällä sivulla ei tiivistä neljää tavoitetta yhdeksi luvuksi","res-forge-decision-record.d327f7b3ba":"Ei yhtä sijoitusta","res-forge-decision-record.6a7eee59c0":"Ei valittu, ja miksi","res-forge-decision-record.3e7c118949":"Valinnut","res-forge-decision-record.1918daaba9":"Valittu jäsen","res-forge-decision-record.974ff8bb6e":"Tavoitejoukko","res-forge-decision-record.e38c2194b4":"muodollisesti varmennettu","res-forge-decision-record.ea2dfcc9cc":"Varmennuskynnys","res-forge-decision-record.1ccf5d25df":"Määrittely","res-forge-decision-record.5a445661ea":"dominoi","res-forge-decision-record.f950982dd0":"Sama jokaisessa käytännössä","res-forge-decision-record.e6f8a915dc":"Rintama","res-forge-decision-record.473161067f":"Valintakäytäntö","res-forge-decision-record.1a7d89d441":"kohdeyhteensopivuus","res-forge-decision-record.b3c5533e86":"muistisiirto","res-forge-decision-record.544852fd7a":"yksinkertaisin todiste","res-forge-decision-record.6bf0b2c0d8":"pidempi auditointipolku, joka laajentaa kohdeyhteensopivuutta","res-forge-decision-record.fdd18306eb":"Jäsen C","res-forge-decision-record.ee96b43256":"pidempi auditointipolku, joka vähentää muistisiirtoa","res-forge-decision-record.1e19ce513c":"Jäsen B","res-forge-decision-record.7ad441b0c0":"pidempi auditointipolku kuin valitulla jäsenellä aktiivisessa joukossa","res-forge-decision-record.d04e27e317":"Jäsen A","res-forge-decision-record.fec4a6c489":"Säännelty ohjelma lukee saman rintaman todisteakselilla ja valitsee jäsenen D.","res-forge-decision-record.32cba0b9da":"suorin auditointipolku","res-forge-decision-record.f88efb9bc7":"Jäsen D","res-forge-decision-record.47942077ae":"Yksinkertaisin todiste","res-forge-decision-record.e9647ad29d":"toimii harvemmilla tuetuilla kohteilla, vaihtaen laajuuden auditointipolkuun","res-forge-decision-record.baede38a31":"toimii harvemmilla tuetuilla kohteilla, vaihtaen laajuuden muistisiirtoon","res-forge-decision-record.7b357b2d93":"toimii harvemmilla tuetuilla kohteilla kuin valittu jäsen","res-forge-decision-record.2a6987fbaf":"Sekalaiselle laitteistolle hajautettu kokonaisuus lukee saman rintaman kohdeakselilla ja valitsee jäsenen C.","res-forge-decision-record.462746df39":"laajin kohdeyhteensopivuus","res-forge-decision-record.ad59e3b102":"Laajin","res-forge-decision-record.6235c63244":"siirtää enemmän dataa ja pitää lyhyemmän johdannon","res-forge-decision-record.709e1b623c":"siirtää enemmän dataa, hajautettuna useammille tuetuille kohteille","res-forge-decision-record.7efb4f14c6":"siirtää enemmän dataa kuin valittu jäsen aktiivisessa joukossa","res-forge-decision-record.26929cd71c":"Muistiliikenteen rajoittama käyttöönotto lukee saman rintaman muistisiirtoakselilla ja valitsee jäsenen B.","res-forge-decision-record.993033f0b5":"pienin muistisiirto","res-forge-decision-record.4e76f5796f":"Kevyin","res-forge-decision-record.344f41f998":"korkeampi mallinnettu viive, eikä sen lyhyempi auditointipolku ole akseli","res-forge-decision-record.ed3d6e1e77":"korkeampi mallinnettu viive, eikä sen laajuutta makseta tässä","res-forge-decision-record.0be3560065":"korkeampi mallinnettu viive kuin valitulla jäsenellä aktiivisessa joukossa","res-forge-decision-record.b8b9888522":"Insinööritiimi, jolla on yksi kohdekone, lukee rintaman viiveakselilla ja valitsee jäsenen A.","res-forge-decision-record.ffefb7fa98":"pienin mallinnettu viive","res-forge-decision-record.4cb3bb0fc4":"Nopein","res-forge-equivalence-space.638d0226a9":"vain suhteelliset sijainnit, ei mitattuja lukuja","res-forge-equivalence-space.b727a735e7":"siirto","res-forge-equivalence-space.e8c39c4d7e":"operaatiot","res-forge-equivalence-space.4619486033":"irrotettu muoto","res-forge-equivalence-space.f42512d469":"Irrotuksen kohde","res-forge-equivalence-space.92149cf8ce":"SEED","res-forge-equivalence-space.217cb1c2eb":"Yksi lauseke laajennettu neljäksi vastaavan muodon luokaksi, polku valittuun\n                  irrotuksen kohteeseen valaistuna ja yksi evätty reuna piirrettynä mutta ei koskaan valaistuna","res-forge-equivalence-space.ccce87f620":"Lauseke laajennettu vastaavien muotojen verkostoksi, reunoilla ehdot","res-forge-equivalence-space.27fa456ce7":"Irrotus siirrettävyyttä varten ottaa vahvuuden vähennyksen ja asettelun muutoksen. Se suorittaa enemmän operaatioita kuin algebrallinen muoto ja saavuttaa laajimman joukon tuettuja kohteita.","res-forge-equivalence-space.27d7e452b1":"(a << 1) + a, pakattu","res-forge-equivalence-space.feba5b9c56":"Irrotus siirtoa varten vie saman algebrallisen vaiheen fuusioluokkaan. Se suorittaa vähemmän operaatioita kuin asettelumuoto ja pitää kolmesta alhaisimman muistin siirron.","res-forge-equivalence-space.37226e169c":"fuusio(a + a + a)","res-forge-equivalence-space.a2f4cd4d38":"Irrotus viivettä varten ottaa algebrallisen muodon ja pysähtyy siihen. Se suorittaa vähiten operaatioita ja siirtää enemmän dataa kuin fuusioitu muoto, ja sillä on oikeus todistettuun leveyden ehtoon.","res-forge-equivalence-space.4b10d3e274":"3 * a","res-forge-equivalence-space.dfb1d5b6c2":"SIIRRETTÄVYYS","res-forge-equivalence-space.37f756c7d0":"SIIRTO","res-forge-equivalence-space.49d6c10ece":"VIIVE","res-forge-equivalence-space.8e43c13f74":"f32-reassosiaatio evätty","res-forge-equivalence-space.13d2c4a154":"i32-leveys todistettu","res-forge-equivalence-space.dcc4e6c574":"ASETTELULUOKKA","res-forge-equivalence-space.69688a961b":"FUUSIOLUOKKA","res-forge-equivalence-space.16cbdc05fc":"VAHVUUSLUOKKA","res-forge-equivalence-space.dbb0f90765":"ALGEBRALLINEN LUOKKA","res-forge-equivalence-space.bc109fb076":"siirrettävä","res-forge-equivalence-space.7aca22de0b":"pakattu","res-forge-equivalence-space.1f08a3216a":"fuusioitu","res-forge-equivalence-space.b0c659fe95":"virtautettu","res-forge-equivalence-space.28e1e451f0":"f32-ryhmittely","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":"Ylennys vaatii näyttöä, ei hallintaa. Tämä ominaisuus ei ole käytettävissä missään\n              tilassa tällä taululla, mikä on piirrettävä sääntö.","res-forge-evidence-cards.61c57736e7":"Ylennä","res-forge-evidence-cards.7d903d3344":"Ylennyssääntö","res-forge-evidence-cards.8fc2a131ae":"yksi solmu muuttui, ja tunniste palautuu hyvin muodostetuksi","res-forge-evidence-cards.4acf3ac41d":"Ehdokasasiakirjat","res-forge-evidence-cards.65748fb5d3":"saman graafin kelluva alue, jota tämä koodaus ei esitä","res-forge-evidence-cards.d274f5b4e3":"Mitä ei ole vahvistettu","res-forge-evidence-cards.8f4f743d7f":"tarkka kokonaislukusemantiikka ja paketin puhtaaksi julistama alue","res-forge-evidence-cards.7d37b7550c":"Millä oletuksilla","res-forge-evidence-cards.2bae06de12":"jokainen syöte, jonka formaali teoria voi ilmaista","res-forge-evidence-cards.e700afa7f9":"Millä alueella","res-forge-evidence-cards.8be740fd8c":"koodattu relaatio koko tuetulla alueella","res-forge-evidence-cards.b76e542d96":"Mitä tarkistettiin","res-forge-evidence-cards.906c590060":"tuettu universaali relaatio todistettiin annetuilla oletuksilla","res-forge-evidence-cards.ea66d3cd71":"Formaalisesti varmennettu","res-forge-evidence-cards.b7330133c1":"Ehdokas R","res-forge-evidence-cards.8e950fc545":"mikä tahansa syöte toimitetun joukon ulkopuolelta, mukaan lukien kvantifioitu ehto","res-forge-evidence-cards.72d0fc35c6":"paketin mukana toimitettu vertailukäyttäytyminen omalla alueellaan","res-forge-evidence-cards.2c8e59076b":"toimitetut syötteet yksi kerrallaan","res-forge-evidence-cards.961d36c1e2":"spesifikaatioon kirjoitetut konkreettiset tapaukset","res-forge-evidence-cards.593aeb47dc":"ilmoitetut konkreettiset tapaukset läpäistiin, eikä niiden lisäksi väitetty mitään","res-forge-evidence-cards.919003799d":"Testattu","res-forge-evidence-cards.24f43cdd11":"Ehdokas Q","res-forge-evidence-cards.8af32eb207":"käyttäytyminen kohdeprofiililla, jota suorituslinkki ei nimeä","res-forge-evidence-cards.d7201bf2e3":"numeerinen perhe ja paketin sallimat vaikutukset, molemmat kiinnitettyinä","res-forge-evidence-cards.dfaa1686c4":"ilmoitettu syötealue yhdellä tuetulla kohdeprofiililla","res-forge-evidence-cards.707e2a56c9":"todistettu relaatio, sitten suunnitelma ja artefakti, joka vei sen suoritukseen","res-forge-evidence-cards.f092d6fe39":"graafi, suunnitelma, artefakti ja tulosidentiteetti pysyvät sidottuina","res-forge-evidence-cards.32d888fecc":"Suoritus linkitetty","res-forge-evidence-cards.0483882b1c":"Ehdokas P","res-forge-experiment-packet.7a6aad1d4c":"uusi koe, erillinen tietue","res-forge-experiment-packet.aad6b5ae20":"PAKETIN TUNNISTE","res-forge-experiment-packet.bbcc172a1e":"JOS JOKIN KENTTÄ MUUTTUU","res-forge-experiment-packet.f5ca7850da":"sinetöity ajon alussa","res-forge-experiment-packet.1f7febf95f":"ILMOITETTU KÄYTÄNTÖ","res-forge-experiment-packet.39b2c01e18":"KIELI SULJETTU","res-forge-experiment-packet.c2bb6fa0c5":"ERITTELY MUUTTUMAton","res-forge-experiment-packet.4484cb6fa9":"raportoi tuntematon","res-forge-experiment-packet.feaf4dd4e6":"sidottu: koko <= 6","res-forge-experiment-packet.5aa50aebf7":"muodollinen, jos tuettu","res-forge-experiment-packet.31be469709":"KÄYTÄNTÖ","res-forge-experiment-packet.e1e3e98714":"koodin koko","res-forge-experiment-packet.b3c5533e86":"muistin siirto","res-forge-experiment-packet.e64e22b150":"TAVOITTEET","res-forge-experiment-packet.48aef70526":"kokonaisjärjestys kiinteä","res-forge-experiment-packet.294793bfad":"kahden komplementti, 32 bittiä","res-forge-experiment-packet.1e9edfb9ee":"SEMANTIIKKA","res-forge-experiment-packet.9c5c96b457":"ei ulkoista vaikutusta","res-forge-experiment-packet.d835dab5b4":"tarkka kokonaisluku","res-forge-experiment-packet.2a3ffd9ebb":"KIELI","res-forge-experiment-packet.486c4f6f95":"1 luonnos, 2 reikää","res-forge-experiment-packet.9254dc6ec8":"1 universaali relaatio","res-forge-experiment-packet.dbeac903da":"4 esimerkkiä","res-forge-experiment-packet.32082e06e3":"ERITTELY","res-forge-forms-instrument.b050566d50":"ei lainkaan","res-forge-forms-instrument.d680340c0b":"osittain","res-forge-forms-instrument.ad22e7e15b":"ratkaisee asian","res-forge-forms-instrument.7cb8793606":"ei ratkaise asiaa","res-forge-forms-instrument.ed5a4b874a":"ratkaisee asian osittain","res-forge-four-silences.a2b701e0b3":"Ohjelmaa ei tuoteta, ja syy nimetään.","res-forge-four-silences.5faa59d4bc":"Tulos","res-forge-four-silences.5647cada0f":"Mikä muuttaisi sen","res-forge-four-silences.7661e6591f":"Mitä tapahtui","res-forge-four-silences.1189b54fc7":"Mitä kysyttiin","res-forge-four-silences.c648f0b37b":"Neljä syytä, miksi vastaus on ei ohjelmaa","res-forge-four-silences.2637ce69f5":"OHJELMA","res-forge-four-silences.f61fa98a3b":"MALLI","res-forge-four-silences.cbbef8ce7e":"ULKOPUOLINEN","res-forge-four-silences.ce75fc2aec":"ANNETTU RAJA","res-forge-four-silences.3a339a1749":"SÄÄNTÖ 2","res-forge-four-silences.35a7d11e05":"SÄÄNTÖ 1","res-forge-four-silences.8cc9c3c016":"Takaisin siihen, mitä väite kattaa","res-forge-four-silences.971c87e299":"Tuo palvelu mallin sisään tai rajaa väitettä.","res-forge-four-silences.88868a0c58":"Osa käyttäytymisestä on sen rajan ulkopuolella, jonka tarkistus pystyy kuvaamaan.","res-forge-four-silences.181032c74d":"kysy rajaa ulkoiselta palvelulta","res-forge-four-silences.407dfebcf1":"Takaisin lisätilalla","res-forge-four-silences.97cd9b5795":"Pidempi ajo tai eri menetelmä.","res-forge-four-silences.33af89d7fc":"Haku saavutti sille annetun rajan ja pysähtyi ennen kuin kysymys ratkesi.","res-forge-four-silences.086f7cbb23":"yksi sääntö jokaisesta tuetusta syötteestä","res-forge-four-silences.74864a1ff8":"Takaisin yhtä päätöstä varten","res-forge-four-silences.7c78667c01":"Anna yksi esimerkki lisää.","res-forge-four-silences.fd58916c0c":"Kaksi eri käyttäytymistä ovat samaa mieltä kaikista kolmesta esimerkistä ja eri mieltä neljännestä syötteestä.","res-forge-four-silences.96dee44862":"3 antaa 9","res-forge-four-silences.9179befc0c":"2 antaa 4","res-forge-four-silences.3d47eae588":"1 antaa 1","res-forge-four-silences.35f6e4ab6c":"Takaisin sääntöjen kirjoittajalle","res-forge-four-silences.5c332290c5":"Löysää toista kahdesta säännöstä.","res-forge-four-silences.ece7f203f5":"Kaksi sääntöä kohtaavat suoraan. Negatiivinen syöte ei voi täyttää molempia samaan aikaan.","res-forge-four-silences.b25d65ea16":"palauta syöte muuttamattomana","res-forge-four-silences.a4d3a2c877":"palauta aina positiivinen luku","res-forge-four-silences.20cb7eef2c":"Mallin ulkopuolella","res-forge-four-silences.c439038abe":"Ei katettu","res-forge-four-silences.04ae6467a0":"Ei johtopäätöstä","res-forge-four-silences.280c5e7fc6":"Kaksi tulkintaa","res-forge-four-silences.3fe459f958":"Mikään ei sovi","res-forge-graph-asset.49281c01cf":"assurance palaa hyvin muodostettuun","res-forge-graph-asset.670f6bdd9a":"uusi kandidaatti-identiteetti","res-forge-graph-asset.197e419ad3":"UUSI GRAAFIN IDENTITEETTI","res-forge-graph-asset.33dd31d4b3":"VAIHDA MERKITTY SOLMU","res-forge-graph-asset.d7b94d76cf":"YKSI SOLMU, MERKITTY KAIKKIIN KOLMEEN RENDERÖINTIIN","res-forge-graph-asset.990742f8b4":"puskurit","res-forge-graph-asset.1bdbf6a26d":"rajaa, tallenna ulos","res-forge-graph-asset.e9e90fc64f":"skaalaa, kerro, lisää","res-forge-graph-asset.851967b4a3":"lataa x, k, lo","res-forge-graph-asset.46599c6b1e":"operaattorinimet vastaavat solmujen nimiä","res-forge-graph-asset.59cfc3e2d4":"ulos = rajaa(lisää(m, lo))","res-forge-graph-asset.c73bb57286":"m = kerro(s, k)","res-forge-graph-asset.bdc36b0a67":"s = skaalaa(x)","res-forge-graph-asset.2cef65c1d0":"SAMA OLIO","res-forge-graph-asset.31e8d812fa":"DATAVIRTA","res-forge-graph-asset.891bbd450e":"LAUSEKE","res-forge-graph-asset.e7bd56e1ec":"GRAPH","res-forge-graph-asset.30a5d0d91f":"Sama semanttinen graafi renderöitynä solmugraafina, lausekkeena ja datavirtana,\n              yksi solmu merkittynä kaikkiin kolmeen renderöintiin ja yhdistettynä yhdellä säännöllä","res-forge-graph-asset.0be82d1c87":"Yksi semanttinen graafi piirrettynä kolmella tavalla, graafina, lausekkeena ja datavirtana, clamp-solmu merkittynä kaikkiin kolmeen","res-forge-graph-asset.da528b9287":"MUODOLLISESTI TODISTETTU","res-forge-graph-asset.894f6d1562":"GRAFIN IDENTITEETTI","res-forge-graph-asset.33daecb09d":"ulos : i32","res-forge-graph-asset.a4ab4f2116":"clamp","res-forge-graph-asset.58d1bbce29":"lisää","res-forge-graph-asset.2c3cbd53a7":"kerro","res-forge-graph-asset.60020d1b19":"skaalaa","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":"Ei mitään, mihin sitä verrata","res-forge-intent-cards.f2b3a1f895":"Kirjoitettu suoraan lauseesta","res-forge-intent-cards.8af3e09e73":"Sama lause vastasi suoraan","res-forge-intent-cards.ee3c9325a5":"Nämä voivat epäonnistua, mikä on tarkoitus","res-forge-intent-cards.a014f9c662":"Muoto säilyy, aukkoja etsitään.","res-forge-intent-cards.d40fae93b9":"Kaksi aukkoa","res-forge-intent-cards.32fd056d3d":"Luonnos","res-forge-intent-cards.5b6d56b37e":"Tarkistettu jokaisella lukemalla, jonka sääntö voi nimetä.","res-forge-intent-cards.43a980aaf8":"reading, the answer stays between 0 and 100, and never moves by more than one\n                  step.","res-forge-intent-cards.d8784ae2ea":"Jokaiselle","res-forge-intent-cards.57f6dcedb1":"Yksi rivi","res-forge-intent-cards.78e1790e29":"Sääntö","res-forge-intent-cards.85ee9e64bf":"Tarkistettu toimittamillasi lukemilla.","res-forge-intent-cards.ef73fdd1c8":"Neljä tapausta","res-forge-intent-cards.eb01bf04c9":"Esimerkit","res-forge-intent-cards.77d979bc52":"Kolme muotoa, jotka lause voi ottaa","res-forge-intent-cards.b784f64740":"Se jakautuu kolmeen muotoon, ja jokainen voidaan tarkistaa.","res-forge-intent-cards.6802fdd79e":"Mitä pyydettiin","res-forge-intent-cards.650c85708e":"puuttuva askel","res-forge-intent-cards.d2fb792999":"rajoita, kuinka pitkälle se saa hypätä","res-forge-intent-cards.d2fde1a28f":"pidä se alueen sisällä","res-forge-intent-cards.25f1a0d208":"ota lukema","res-forge-intent-cards.94407bb3ee":"”Pidä jokainen lukema turvallisella alueella, äläkä koskaan anna sen hypätä.”","res-forge-intent-modes-instrument.fd197e80cc":"Lomake valitaan, ei yhdistetä. Tietue säilyttää, kumpi kantoi väitteen.","res-forge-intent-modes-instrument.a6c44a9033":"Kattaa","res-forge-intent-modes-instrument.abd6628786":"Kolme tapaa ilmaista, mitä ohjelman pitäisi tehdä","res-forge-intent-routes.5170330dcc":"Molemmat kaistat asettavat saman vaatimuksen. Vain toinen niistä on edelleen auki piirustuksen alaosassa.","res-forge-intent-routes.544852fd7a":"yksinkertaisin todistus","res-forge-intent-routes.3e7c118949":"Valinnut","res-forge-intent-routes.9a976fc228":"Valittu","res-forge-intent-routes.239aff5852":"rajalla","res-forge-intent-routes.be601df25e":"Tutkimus","res-forge-intent-routes.f577430e54":"uusi projekti","res-forge-intent-routes.f6ef754e2d":"Lukituspiste","res-forge-intent-routes.7b2d03931b":"Perinteinen","res-forge-intent-routes.f18b41890d":"käyttäytyminen, rajoitteet ja riskit, kirjattu kerran","res-forge-intent-routes.e9c366b4f3":"Vaatimus","res-forge-intent-routes.eb9ceb1149":"vastaesimerkki","res-forge-intent-routes.462746df39":"laajin kohderyhmän yhteensopivuus","res-forge-intent-routes.120e0af75a":"pienin liike","res-forge-intent-routes.cd3e7bf034":"optimointiprojekti","res-forge-intent-routes.92be6abbc0":"yksi koodikanta","res-forge-intent-routes.9732c542fc":"toteutus kirjoitettu","res-forge-intent-routes.27df60a6a2":"arkkitehtuuri valittu","res-forge-kera-boundary.1ccf5d25df":"Määrittely","res-forge-kera-boundary.29a184b65c":"graafi","res-forge-kera-boundary.2fa9505626":"artefakti","res-forge-kera-boundary.37a5301a88":"tulos","res-forge-kera-boundary.3bd7b119dd":"jokainen ei-dominoitu jäsen","res-forge-kera-boundary.4aca16af35":"Varmennustulos","res-forge-kera-boundary.61792020d0":"Tavoitefrontti","res-forge-kera-boundary.646e287869":"todistus ja sen oletukset","res-forge-kera-boundary.6f8f7df48d":"FORGE","res-forge-kera-boundary.700bb94783":"redusoinnit","res-forge-kera-boundary.7bc555991d":"kiinteä","res-forge-kera-boundary.7c1df38fca":"VARMENTETTU SEMANTTINEN GRAAFI","res-forge-kera-boundary.807a40a32f":"osoittaa takaisin graafiin","res-forge-kera-boundary.8b36233e89":"varmentettu semanttinen graafi sekä velvoitteet","res-forge-kera-boundary.8cd3def21e":"tällä puolella ei ole kohde-emitteriä","res-forge-kera-boundary.970c175475":"tavoiteprofiili","res-forge-kera-boundary.9c31467d05":"Pidetty tällä puolella porttia","res-forge-kera-boundary.a30f1285d5":"SUORITUSLINKKI","res-forge-kera-boundary.b727a735e7":"liike","res-forge-kera-boundary.bed97175b0":"suunnitelma","res-forge-kera-boundary.c9ff38c8bb":"kiinnitetty tutkimusongelma","res-forge-kera-boundary.cce55e4309":"järjestys","res-forge-kera-boundary.d4f766efab":"Kolme hallintaa, yksi objekti ylittää","res-forge-kera-boundary.efe0c41bcb":"KERA","res-forge-loop-instrument.1e76c7e5b8":"Yksi vastaesimerkkisilmukka, neljä vaihetta","res-forge-pareto-frontier.e2ee360818":"LISÄÄ ENERGIATAVOITE","res-forge-pareto-frontier.b0e56d1efe":"käyrä on kiinteä, vain politiikka muuttuu","res-forge-pareto-frontier.787ca603fd":"rintama kuuluu tavoitejoukkoon","res-forge-pareto-frontier.d0eeccbe8d":"valinnut","res-forge-pareto-frontier.173d916846":"energia","res-forge-pareto-frontier.1a7d89d441":"tavoitteen sopivuus","res-forge-pareto-frontier.b727a735e7":"liike","res-forge-pareto-frontier.c3b9a01442":"viive","res-forge-pareto-frontier.3404b13cac":"tavoitejoukko","res-forge-pareto-frontier.e38c2194b4":"muodollisesti varmennettu","res-forge-pareto-frontier.bf984aca27":"varmuuskynnys","res-forge-pareto-frontier.03d6a194f4":"määrittely","res-forge-pareto-frontier.33ca7f61b6":"ENERGIAN TUOTOT","res-forge-pareto-frontier.0acbd1c769":"MUISTIN LIIKE","res-forge-pareto-frontier.4b93d5e7ea":"VIIVE, KORKEAMPI OIKEALLE","res-forge-pareto-frontier.43bf415954":"Ristiriitakuvaaja viiveestä muistin liikettä vasten, tavoitteen sopivuus merkittynä pisteen\n                kokona, neljä ei-dominoitua jäsentä yhdistettynä rintamakäyrällä ja seitsemän dominoitua\n                ehdokasta, joista kukin on yhdistetty sitä dominoivaan jäseneen","res-forge-pareto-frontier.f2b023979d":"xMinYMid meet","res-forge-pareto-frontier.473161067f":"Valintapolitiikka","res-forge-pareto-frontier.7c1e368123":"Tasapainotettu polvi -politiikka valitsee myös ehdokkaan C, mutta eri perusteluin: se on piste, jossa lisäviiveen uhraaminen lakkaa tuomasta merkittävää liikkeen parannusta. Kaksi politiikkaa valitsee saman jäsenen, mikä on tosiasia tästä rintamasta, ja tietue kertoo silti, kumpi politiikka valitsi sen.","res-forge-pareto-frontier.b7aedb3b70":"Yksinkertaisin todiste -politiikka valitsee ehdokkaan D. Se luopuu yhdestä aggressiivisesta uudelleenkirjoituksesta, joten sen varmennusvelvoite on pienin neljästä.","res-forge-pareto-frontier.5614e2e73d":"Vähiten liikettä -politiikka valitsee ehdokkaan B. Sen kriittinen polku on neljästä pisin, mikä on hinta vähimmän datan siirtämisestä.","res-forge-pareto-frontier.14826696ec":"Nopein politiikka valitsee ehdokkaan A. Se pitää hallussaan suurinta työskentelyjoukkoa rintamalla, ja tietue säilyttää sen valinnan rinnalla sen sijaan, että piilottaisi sen pisteeseen.","res-forge-pareto-frontier.c65681bb2d":"tavoitteen sopivuus: levein","res-forge-pareto-frontier.b097d0ac54":"liike: keskitasoa","res-forge-pareto-frontier.05da02c2f2":"viive: keskitasoa","res-forge-pareto-frontier.d0b64e1eec":"tavoitteen sopivuus: keskitasoa","res-forge-pareto-frontier.144e5e5e83":"liike: pienempi","res-forge-pareto-frontier.aa828b0585":"viive: suurempi","res-forge-pareto-frontier.e3a088e260":"tavoitteen sopivuus: kapea","res-forge-pareto-frontier.6fc0d51b39":"liike: pienin","res-forge-pareto-frontier.1b565dbd5d":"viive: suurin","res-forge-pareto-frontier.79c0f24c30":"liike: suurin","res-forge-pareto-frontier.83504b708a":"viive: pienin","res-forge-pareto-frontier.37671e6ba6":"Tasapainotettu polvi","res-forge-pareto-frontier.47942077ae":"Yksinkertaisin todiste","res-forge-pareto-frontier.8703111807":"Levein tavoite","res-forge-pareto-frontier.0b2147fd0a":"Vähiten liikettä","res-forge-pareto-frontier.4cb3bb0fc4":"Nopein","res-forge-pareto-frontier.7e6396c2ce":"Levein tavoite -politiikka valitsee ehdokkaan C. Se toimii laajimmalla tuettujen tavoitteiden joukolla ja sijoittuu molemmilla piirretyillä akseleilla ääripäiden väliin.","res-forge-programme-boundary.97af50dd3d":"Portti ylittää kolme julkaistua kehää ja pysähtyy ytimen rajalle. Ulommat kolme\n          voidaan tarkastaa avaamatta sisintä.","res-forge-programme-boundary.9ba1f67469":"Tutkimusohjelma, ei ohjelmistotarjous","res-forge-programme-boundary.f72e361ba7":"Julkaisunhallinta","res-forge-programme-boundary.108e9b7f90":"tutkimusmenetelmänä","res-forge-programme-boundary.88306943fe":"Menetelmä","res-forge-programme-boundary.68836c550e":"Ydin","res-forge-programme-boundary.175267da12":"teorian reititys","res-forge-programme-boundary.15e58bec8d":"budjetin kohdentaminen","res-forge-programme-boundary.b32f31d61d":"rintaman asema","res-forge-programme-boundary.6f3c47977c":"rajattu mittaus","res-forge-programme-boundary.ff7fc62f3f":"varmuustila","res-forge-programme-boundary.500aadccf6":"valittu ehdokas","res-forge-programme-boundary.5faa59d4bc":"Tulos","res-forge-programme-boundary.6840659e94":"tuntemattoman käsittely","res-forge-programme-boundary.3404b13cac":"tavoitejoukko","res-forge-programme-boundary.78a3386c55":"resurssiraja","res-forge-programme-boundary.90f54b8f1b":"sallittu kieli","res-forge-programme-boundary.c445f7aab5":"spesifikaatiokorpus","res-forge-programme-boundary.1ed77c3f7f":"Protokolla","res-forge-programme-boundary.aba4559466":"aiempi taide nimetty","res-forge-programme-boundary.0c447c79ec":"tutkimuskysymys","res-forge-programme-boundary.002ff59811":"Kysymys","res-forge-programme-instrument.a725020675":"Tila","res-forge-programme-instrument.dc4e08a408":"Väite","res-forge-proof-parts-instrument.ba3fef96ae":"Todiste viidessä osassa","res-forge-provenance-chain.040c236a24":"neljä yhdeksästä solmusta, eikä niiden joukossa yhtään sinetöityä vaihetta","res-forge-provenance-chain.0ca6a997b6":"MITÄ TOISTON ON TOISTETTAVA","res-forge-provenance-chain.7c0a292070":"BRÄNDIPISTE MERKITSEE SOLMUN, JOTA TOISTOPOLUN ON KOSKETTAVA","res-forge-provenance-chain.763ad25abd":"sinetöi r:1c62e08","res-forge-provenance-chain.da528b9287":"MUODOLLISESTI TODENNETTU","res-forge-provenance-chain.9106ca2738":"VALITTU","res-forge-provenance-chain.416eb4fbb0":"rintama","res-forge-provenance-chain.8e016346a6":"EKVIVALENSSILUOKKA","res-forge-provenance-chain.97d9eb838e":"cx 2","res-forge-provenance-chain.21fedfd21e":"ehdokas 2","res-forge-provenance-chain.2ce3ff82d2":"ulos: ehdokas 2","res-forge-provenance-chain.656b15a358":"sisään: ehdokas 1 sekä cx 1","res-forge-provenance-chain.a65edb573d":"TUTKIMUSVAIHE","res-forge-provenance-chain.b0b7ba4666":"YKSITYINEN","res-forge-provenance-chain.6495ecf841":"cx 1","res-forge-provenance-chain.7312546346":"ehdokas 1","res-forge-provenance-chain.32082e06e3":"ERITTELY","res-forge-provenance-chain.4ee56d08c0":"Vasemmalta oikealle etenevä johdannaismalli: erittely, kaksi ehdokasta, kaksi vastaesimerkkiä,\n              yksi sinetöity sisäinen vaihe, ekvivalenssiluokka, rintama ja valittu todennettu\n              tulos","res-forge-provenance-chain.e259f512bc":"Johdannaismalli erittelystä valittuun todennettuun ehdokkaaseen, jossa yksi sisäinen vaihe on sinetöity mutta yhdistetty","res-forge-provenance-chain.191f8b1087":"SUORITUSSIDOS","res-forge-provenance-chain.88be68d35d":"TODENNUSTULOS","res-forge-provenance-chain.bdd7fdaa13":"EHDOkAS 2","res-forge-provenance-chain.608c5b40ac":"ERITTELY v1","res-forge-record-timeline.0794c4ea35":"Päätös tehty","res-forge-record-timeline.0f9c9e32f9":"Versio, ei koskaan haaran nimi","res-forge-record-timeline.314d8e79c0":"Miksi ehdokasta B ei valittu?","res-forge-record-timeline.39ab49c337":"Tarkka virheellinen syöte, säilytetty hyvästä syystä","res-forge-record-timeline.4868056615":"Mikään tällä rivillä ei ole palautettu commit-viesteistä.","res-forge-record-timeline.4bd9342a8a":"Kolme merkintää vastaa siihen, eikä yhtäkään niistä tarvitse rekonstruoida.","res-forge-record-timeline.59d432b5cb":"Vaihtoehdot vertailtu","res-forge-record-timeline.6546ec1158":"Arvioija saapuu paljon myöhemmin","res-forge-record-timeline.6833948a23":"Kirjoitettu silloin","res-forge-record-timeline.7d1e2e97e8":"Vaatimus esitetty","res-forge-record-timeline.90726e413a":"Vastaa kysymykseen","res-forge-record-timeline.aaddcdd4a5":"Tutkimusmenetelmä, sinetöity","res-forge-record-timeline.ccf3d548fe":"Luettu takaisin","res-forge-record-timeline.de805f67e3":"Viisi ehdokasta, yksi dominanssisuhde","res-forge-record-timeline.e4a8371aea":"Tietue, luettu vasemmalta oikealle","res-forge-record-timeline.e8412cdd3e":"Käytäntö ja sen taustalla oleva auktoriteetti","res-forge-record-timeline.eeb026e98f":"Vastaesimerkki kirjattu","res-forge-record-timeline.f4452aa131":"Porras ja sen kattama laajuus","res-forge-record-timeline.f65fb0cd45":"Varmuus saavutettu","res-forge-search-field.f6d08e6875":"Suhteelliset pituudet, ei lukumäärät","res-forge-search-field.e9fd9a1eaa":"Mitä kentässä on","res-forge-search-field.fbd8250bed":"UNCHANGED FOR THE WHOLE RUN","res-forge-search-field.6a38722b12":"VAATIMUS","res-forge-search-field.dbd3e24a6c":"Kenttä ehdokasohjelmamuodoista kolmessa tilassa yhden kiinteän vaatimuskehyksen ympärillä keskellä","res-forge-search-field.0c596f1034":"xMidYMid slice","res-forge-search-field.7be0fdc4e0":"Rakennettu, sitten kiinni jäänyt","res-forge-search-field.9545c5f30a":"Epäonnistui tapauksessa","res-forge-search-field.e247bbc42c":"Ei koskaan rakennettu","res-forge-search-field.3d7da15c51":"Tyypin hylkäämä","res-forge-search-field.70c98ed3c6":"Sallittu tarkistettavaksi","res-forge-search-field.35633f30dd":"Sopii sääntöihin","res-forge-search-field.50c026300b":"Hyväksytty","res-forge-silence-instrument.3bc40f4b2a":"Neljä tulosta, jotka palaavat ilman ohjelmaa","res-forge-size-lattice.a82ce62110":"LAAJEMPI KIELI, UUSI KOKEILU","res-forge-size-lattice.74ed41aa02":"MINIMAALINEN KIELESSÄ L, KOOSSA 5 TAI PIENEMMÄSSÄ","res-forge-size-lattice.4ca63f9c2e":"EI HAETTU, EI VAADITTU","res-forge-size-lattice.b79d0fac18":"ILMOITETTU RAJA","res-forge-size-lattice.5e265fa4aa":"ENSIMMÄINEN VARMISTETTU","res-forge-size-lattice.92664d7dff":"havainto, ei todiste","res-forge-size-lattice.950b23b925":"poistettu havaittuna kaksoiskappaleena","res-forge-size-lattice.a615e7ad1a":"hylätty tyypin perusteella ennen arviointia","res-forge-size-lattice.6f389bc568":"hyväksytty","res-forge-specification-desk.65d9989d71":"TODISTEET EIVÄT OLE VAIHTOKELPOISIA","res-forge-specification-desk.166b5a63b2":"läpäisee kaikki neljä esimerkkiä","res-forge-specification-desk.26a9ba5602":"x = -9","res-forge-specification-desk.5099050f90":"TAPAUS, JOKA EROTTAA NE","res-forge-specification-desk.561f36ce2f":"suoritettava vastaus, omine rajoituksineen","res-forge-specification-desk.ca24d384c1":"domain of the oracle: 0 to 100 only","res-forge-specification-desk.3cee30a3ad":"VIITE","res-forge-specification-desk.0d99250013":"rakenne kiinteä, kaksi tyypitettyä aukkoa avoinna","res-forge-specification-desk.c1dc5611bb":"palauta clamp(t,","res-forge-specification-desk.2e5baed7cb":"olkoon t =","res-forge-specification-desk.b3274ca07a":"olkoon s = scale(x)","res-forge-specification-desk.ebdeb573df":"LUONNOS","res-forge-specification-desk.c597bbdbc1":"jokainen syöte, jonka teoria voi ilmaista","res-forge-specification-desk.15ac2f23db":"kaikille x tuetulla toimialueella:","res-forge-specification-desk.61ed10966f":"RAJOITTEET","res-forge-specification-desk.0ec3e255af":"neljä tapausta, tarkistettu tarkasti","res-forge-specification-desk.9659699670":"ESIMERKIT","res-forge-specification-desk.191f4bd034":"rajaa skaalattu arvo ilmoitettuun alueeseen","res-forge-specification-desk.4ad49a4ec4":"YKSI MUUNNOS","res-forge-specification-desk.d9b48caf78":"rikkoo monotonisuuden oraakkelin toimialueen ulkopuolella","res-forge-stack-path.4d5fa1b006":"Jokainen järjestelmä lukee samaa objektia kopion sijaan, mikä pitää spesifikaation, todistuksen, suunnitelman ja tuloksen samassa identiteetissä.","res-forge-stack-path.86506efb99":"tuloksen identiteetti palaa siihen graafi-identiteettiin, josta se alkoi","res-forge-stack-path.c83a5945cb":"jossa ohjelma säilyttää varmennetun tilan","res-forge-stack-path.55561848ab":"Aion","res-forge-stack-path.17ed2b5e88":"jossa fyysisen järjestelmän malli on osa spesifikaatiota","res-forge-stack-path.1699ca16fb":"FMI ja Twin","res-forge-stack-path.d5f412e831":"Kera","res-forge-stack-path.3ab11b75ca":"Forge","res-forge-stack-path.11e7686a81":"Graafi-identiteetti","res-forge-stack-path.8e246a1e8d":"Forge-levyllä ei näy kohde-emitteriä.","res-forge-technical-glyph.be601df25e":"Tutkimus","res-forge-technical-glyph.91a9d5d08f":"Spesifikaatio muuttumaton","res-forge-technical-glyph.c2237a2d15":"Kokeilupaketti","res-forge-technical-glyph.03d6a194f4":"spesifikaatio","res-forge-technical-glyph.e11523c5ff":"kieli","res-forge-technical-glyph.7b7f9366a3":"tavoitteet","res-forge-technical-glyph.f3753f1b6b":"varmennus","res-forge-technical-glyph.9d78bc179c":"tyypitetty graafialue","res-forge-technical-glyph.2b90fe2fea":"aika, liike, koko","res-forge-technical-glyph.a8a172a738":"haastettu","res-forge-technical-glyph.e1d96de67b":"Ehdokasjoukko","res-forge-technical-glyph.6f389bc568":"hyväksytty","res-forge-technical-glyph.a503bc1da2":"hylätty","res-forge-technical-glyph.880949479a":"testattu","res-forge-technical-glyph.ec734b6515":"varmennettu","res-forge-technical-glyph.61792020d0":"Tavoiterintama","res-forge-technical-glyph.096280facb":"yksi valittu","res-forge-technical-glyph.9985d73a38":"Varmennusportaat","res-forge-technical-glyph.83ced341c8":"hyvin muodostettu","res-forge-technical-glyph.e38c2194b4":"muodollisesti varmennettu","res-forge-technical-glyph.275ed0c2c7":"suoritukseen sidottu","res-forge-technical-glyph.49794a5e29":"Valittu ehdokas","res-forge-technical-glyph.9e955c5620":"vastaesimerkit säilytetty","res-forge-technical-glyph.74ef6c0061":"Luovutus Keralle","res-forge-technical-glyph.bed97175b0":"suunnitelma","res-forge-technical-glyph.37a5301a88":"tulos","res-forge-technical-glyph.96a6bf1d97":"varmennettu graafi","res-forge-technical-glyph.b8d8aaff0a":"todisteet liitetty","res-forge-technical-glyph.100ec4462d":"todisteet","res-forge-technical-glyph.416eb4fbb0":"rintama","res-forge-technical-glyph.dd4fb84f32":"tuntematon on tulos","res-forge-technical-glyph.3137db7c8b":"Tuntematon, tyydyttämätön ja monitulkintainen ovat tuloksia","res-forge-technical-glyph.d5f412e831":"Kera","res-forge-technical-glyph.00f6d27f5f":"DWEVE FORGE","res-forge-three-tries.ca6f569d32":"Vasemmanpuoleisesta luettelosta ei koskaan poisteta mitään","res-forge-three-tries.48fce8a80b":"Kolme yritystä samaan ongelmaan","res-forge-three-tries.8805376577":"Kierros 3 sisältää kaiken, mitä kaksi ensimmäistä kierrosta löysivät, ja yhden tapauksen lisää.","res-forge-three-tries.da17ea9bb5":"Tapausluettelo kierros kierrokselta","res-forge-three-tries.8cc87a2190":"ei lisättävää","res-forge-three-tries.36d5623704":"ja sitten todistettiin","res-forge-three-tries.0f0b41cfe8":"Läpäisi kaikki tapaukset","res-forge-three-tries.1e35a52de1":"Yritys 3","res-forge-three-tries.3b26ea5e3d":"tyhjä luettelo","res-forge-three-tries.b8575badd2":"tyhjällä luettelolla","res-forge-three-tries.09fef5d8d9":"Epäonnistui","res-forge-three-tries.969a17cecc":"Yritys 2","res-forge-three-tries.15d3c90fb9":"suurin mahdollinen luku","res-forge-three-tries.f88b9a4765":"suurimmalla mahdollisella luvulla","res-forge-three-tries.ff31d219ef":"Yritys 1","res-forge-three-tries.f65e38d46b":"luettelo, jossa on yksi kohde","res-forge-three-tries.e8741ca2e3":"luettelo, joka on jo järjestyksessä","res-forge-three-tries.9450ac4e17":"lyhyt luettelo","res-forge-three-tries.4d944a9d7e":"Kierros 3","res-forge-three-tries.fa2b87ffe2":"Kierros 2","res-forge-three-tries.f7648d3834":"Kierros 1","res-forge-type-sockets.13fff86afe":"Kaksi operaatiota, yksi liitos","res-forge-type-sockets.2251b5f821":"Rajoittamattomat kokonaisluvut","res-forge-type-sockets.338ce27565":"Kolme kompositiota tarjottuna yhdelle tyypitetylle kielelle","res-forge-type-sockets.3d7da15c51":"Tyypin hylkäämä","res-forge-type-sockets.50c026300b":"Hyväksytty","res-forge-type-sockets.5e5da2cd3c":"Verkkoyhteys","res-forge-type-sockets.681bcaf5e4":"Tämän laudan hylkäys ei maksa mitään, koska mitään siitä ei ole vielä arvioitu.","res-forge-type-sockets.7303a0d112":"Kyvykkyyden hylkäämä","res-forge-type-sockets.73841deb9d":"Suljettu tälle ajolle","res-forge-type-sockets.76123e0c4c":"Toinen operaatio tarvitsee kyvykkyyden, jota paketti ei myöntänyt, joten se on hakutilan ulkopuolella.","res-forge-type-sockets.93c6a1f183":"Pistorasia","res-forge-type-sockets.a1369155ac":"Tiedostopääsy","res-forge-type-sockets.b4ae90c7f4":"Kaksi pistorasiaa eivät kohtaa, joten tästä parista ei koskaan koota ehdokasta.","res-forge-type-sockets.b957ab83e5":"Lähtötyyppi vastaa syöttötyyppiä, joten ehdokas kootaan ja voidaan arvioida.","res-forge-type-sockets.c7303935a3":"Tarkistamaton aliasing","res-forge-type-sockets.d3f0610632":"Tulos","res-forge-type-sockets.dbe18d2e48":"Kieli valitaan paketin kanssa eikä laajene haun aikana.","res-forge-type-sockets.eb8606da6a":"Tarjottu kompositio","research-forge.00274e0e63":"kieltäytyi, virhesopimus","research-forge.002ff59811":"Kysymys","research-forge.005a8c4891":"Tuo toimialan intentti, formaalit menetelmät, laitteistomittaus tai riippumaton arviointi. Forge tarjoaa yhteisen tutkimuskohteen ohjelmien löytämisen, todistamisen ja suorittamisen vertailuun.","research-forge.008fef2a92":"Hae sallittujen toimintojen sisältä.","research-forge.01038388dc":"Vastaamattomuus pysyy näkyvissä","research-forge.0109e7127b":"MAHDOTON","research-forge.0143790011":"suunnittelu ja suoritus","research-forge.019d4e8e82":"Mikä pysyy totena","research-forge.01f66c63e3":"Kahta paria ei voi koota, ja kieli on se, joka sen sanoo.","research-forge.01fc285874":"Vastuut Forgea ja Keraa kohtaan","research-forge.02ff5bf386":"Käytäntökatsaus","research-forge.0303c4bacd":"viisi kenttää kiinnitetty ennen ensimmäistä ehdokasta","research-forge.030afc5361":"Forge voi säilyttää vaatimusversion, merkitykselliset ehdokkaat, vastaesimerkit, varmuuden siirtymät, tavoiterajan ja käytännön, joka valitsi yhden jäsenen. Kaksi vuotta myöhemmin tietue vastaa edelleen kysymykseen, jonka arvioija oikeasti kysyy, ei siihen, mitä rakennettiin, vaan miksi vaihtoehdot hylättiin. Polku kulkee yhteen suuntaan, ja jokainen askel voidaan kulkea takaisin: vaatimus, joka määritteli onnistumisen, varmennetut ja hylätyt ehdokkaat, joilla oli merkitystä, vastaesimerkit ja varmuuden siirtymät, tavoite-arvot, jotka asettivat kunkin ehdokkaan rajalle, ja auktoriteetti, joka valitsi yhden niistä. Mikään tästä ei elä päätöksen vieressä. Se kulkee sen mukana.","research-forge.03102018f1":"Ehdokas on rakenteellisesti kelvollinen.","research-forge.03128bed90":"Varmennus","research-forge.0393c06f67":"EHDOkas","research-forge.0397a076c3":"Esiehdon lisääminen on laillinen siirto, ja se luo uuden spesifikaatioidentiteetin vanhan muokkaamisen sijaan. Aikaisempi koe jää tietueeseen epäonnistumisensa kanssa. Tutkimusyhteisö kutsuu yleistä ehdota, haasta, tarkenna -kuviota CEGIS:ksi.","research-forge.03bec6ab74":"Kolme muotoa","research-forge.04126cee0d":"Neljä kohtaavat keskellä, joten yhteen siirtyminen maksaa yleensä jotain toiselle.","research-forge.0428abce3e":"Rajoitettu tarkistettu","research-forge.0432a371aa":"Varmuuskäytäntö","research-forge.04731f0ef3":"Vain yksi akseli, suhteellinen mallinnettu viive. Palkin pituus ei ole kokonaisjärjestys.","research-forge.04ae6467a0":"Ei johtopäätöstä","research-forge.04bf9ee3c6":"ei jätetty pois tilistä","research-forge.04e9b5cd14":"monia johdannaisia esiintyy täällä","research-forge.04fa443e7b":"Pisin kriittinen polku","research-forge.05005f366c":"Forge-tutkimus","research-forge.05625954d2":"miten hakua käykin","research-forge.05d1c23f1f":"epäonnistuminen kaventaa hakua","research-forge.05db5a7f8a":"Spesifikaatioversio, jonka jokaisen ehdokkaan oli täytettävä","research-forge.065d4a5b25":"Kaikki tuottavat samanlaisen tyypitetyn ehdokkaan ja päätyvät samaan vertailuun. Organisaatio vertaa siis ohjelmia hakumenetelmien sijaan, eikä ehdokkaan löytänyt menetelmä anna sille etua päätöksessä.","research-forge.07a688568e":"Kohdeartefakti","research-forge.0820b32b20":"Testaus","research-forge.08b22e1ba0":"Yksi sopimus","research-forge.08cfb3e0f2":"Spesifikaatiokatsaus","research-forge.09496b01f9":"Luovutus","research-forge.09a3354e63":"Sivuehdot","research-forge.09d053226c":"Seuraa yhtä hakua","research-forge.0a3eb3abd3":"Sisäinen kalibrointi","research-forge.0a5e7a0583":"Raja","research-forge.0a799711ad":"Normalisointi säästää hakua","research-forge.0ab39d71e2":"Ekvivalenssi","research-forge.0ade2ace0d":"Jokainen vastaesimerkki","research-forge.0ae18773cb":"Tutkimusavustaja","research-forge.0b101a23a3":"Assosiatiivinen ryhmittely","research-forge.0b81fbebb5":"Optimointi myöhemmin","research-forge.0ba4e46484":"Yksi graafi","research-forge.0bc357c912":"EI KATETTU","research-forge.0c19b6603f":"Tuleva arvioija tarkastelee päätöstä tietueesta eikä rekonstruoi sitä commit-viesteistä.","research-forge.0c6c9b91c5":"Tunnetko sen tunteen, kun tehtävällä saattaa olla yksinkertaisempi toteutus? Forge muuttaa kysymyksen tutkimustyönkulkuksi: anna sille rajoitettu spesifikaatio, hae ehdokasohjelmia ja tallenna tarkistukset ja mittaukset. Vuoden 2025 raportti dokumentoi kokeen, ei tuotantovalmiin tuloksen tai julkaistun vertailun.","research-forge.0d358c9749":"Kaksi testiä, kaksi vahvuutta","research-forge.0db809cc66":"Varmuus","research-forge.0e26aaf414":"Mallikatsaus","research-forge.0e3c434842":"Testattu, rajoitettu, todistettu","research-forge.0ef3858209":"Rajoitetut tarkistukset tallennettu","research-forge.0f1e49f0bf":"Esimerkit rajoittavat käyttäytymistä antamillasi syötteillä. Loogiset ehdot rajoittavat jokaista syötettä, jonka formaali teoria voi ilmaista. Luonnos säilyttää arkkitehtuurin, jota tutkija ei ole valmis antamaan haulle, ja jättää tyypitetyt aukot sen sisään. Referenssikäyttäytyminen tarjoaa suoritettavan oraakkelin ja kantaa oraakkelin oman alueen mukanaan. Forge tallentaa, mikä muoto tuki kutakin johtopäätöstä, sen sijaan että kohtelisi jokaista syötettä yhtä vahvana spesifikaationa.","research-forge.109bff6e75":"Spesifikaatio, ei koodikanta","research-forge.1178a4ffb4":"Hae uudelleen","research-forge.1181c3f399":"Paketti kertoo myös, milloin lopettaa: resurssirajan, varmuuskynnyksen, jonka ehdokkaan on saavutettava päästäkseen rajalle, ja sen, mitä ajo raportoi, kun mikään ei saavuta sitä. Haku, joka päättyy ilman ohjelmaa, päättyy silti tulokseen.","research-forge.11c14ce16a":"Organisaatio omistaa sitten intentin yhden ilmaisun sijaan ja voi sanoa, miksi tietty toteutus valittiin. Vaatimuksesta tulee kestävä omaisuus, ja toteutuksesta tulee tulos, jonka se voi laskea uudelleen, kun prioriteetit muuttuvat.","research-forge.11dd823248":"For this input, produce this output.","research-forge.12c8d914cc":"Mitä tulos ei osoita.","research-forge.13792d7c2a":"TODISTEELLA ON RAJA","research-forge.140b63310c":"Ehdokas C","research-forge.1462811ad5":"ehdokas, joka näyttää vakuuttavalta","research-forge.151978bff3":"tietue nimeää joka kerta spesifikaation, kynnyksen ja käytännön","research-forge.15c2d33108":"Arvioitava tutkimusintegraatio","research-forge.15f1b08e56":"todiste, raja tai ilmoitettu rajoite","research-forge.16181ed76f":"Sallitut operaatiot, tyypit, vaikutukset ja numeerinen semantiikka","research-forge.161fa759f7":"Äärellisessä määritellyssä kielessä haku voi rakentaa ehdokkaita kasvattamalla kokoa ja hylätä virheelliset koostumukset ennen kuin mikään niistä suoritetaan. Ehdokkaat, jotka käyttäytyvät samoin nykyisen näytön perusteella, voidaan tiivistää työn säästämiseksi, kun taas vastaavuusväite itse odottaa vahvistusta. Kun menetelmä kattaa kaikki hyvin muodostetut ehdokkaat ilmoitettuun rajaan asti, ensimmäinen vahvistettu ohjelma osoittaa koon minimaalisuuden kyseisessä kielessä ja kyseisessä rajassa. Operaatiovalikoiman laajentaminen tuottaa erilaisen kokeen, jolla on oma vastauksensa.","research-forge.169f619e4f":"Rehellinen merkki kantaa rajansa, ja raja on sen hyödyllisin osa.","research-forge.16a3fa00e3":"Tuettu symbolinen ominaisuus todistettiin ilmoitetuissa oletuksissa.","research-forge.16ec74fc0a":"CLEAR","research-forge.171ca0385a":"Käyttäytyminen","research-forge.173315f506":"mikään tämän taulun kaista ei pääty luotuun varakoodiin","research-forge.17405ade0e":"Varmuus, jolla on laajuus","research-forge.17a86caa5b":"Velvoite","research-forge.17b8b28e9e":"ei koskaan kohdella vaihtokelpoisina","research-forge.17ecf461a5":"Ongelma on tyydytettävä","research-forge.1822a38ec8":"neljä syytä jatkaa hakua","research-forge.189ee02d36":"Rehellinen toimittamatta jättäminen","research-forge.18d60fce22":"Nimetty varmuustaso ja sen laajuus","research-forge.18dd2ccb59":"Viisi osaa","research-forge.18e9128279":"Tuloksen nimeäminen pitää ongelman siellä, mihin se kuuluu. Ristiriitaiset vaatimukset palaavat niiden kirjoittajalle. Epäselvä tapaus palaa päätöstä varten. Ratkaisematon haku palaa suuremmalla budjetilla tai eri menetelmällä.","research-forge.18f906f6da":"Säilytetään ikuisesti","research-forge.192ad837e6":"Kirjattu käytäntö, ei piilotettu pistemäärä","research-forge.19626a1e65":"Mikä tahansa, joka epäonnistuu yhdessä tapauksessa","research-forge.1a23a7cddc":"Forge löytää","research-forge.1a66b5eeb6":"Kumppanin pääsy","research-forge.1bb360f468":"Rajoitettu","research-forge.1bb90c04d2":"Epäonnistuminen, joka tuottaa konkreettisen syötteen, on haulle arvokkaampi kuin epäonnistuminen, joka tuottaa pistemäärän.","research-forge.1bf39cee63":"Nopeampi, pienempi, kevyempi","research-forge.1bff62bf9b":"Menetelmä loppui kesken. Eri menetelmä tai pidempi ajo voi ratkaista sen.","research-forge.1c013851a3":"Mitä tietue sisältää","research-forge.1c56ea452a":"Neljä spesifikaatiokorttia, jotka kuvaavat saman pienen muunnoksen, ja yksittäinen tapaus, jossa kaksi niistä ovat eri mieltä","research-forge.1c56fd19d7":"Yksi avoin tapaus","research-forge.1c82340479":"väitettä voidaan tarkastella","research-forge.1c875de71f":"Se on yhtä lailla hallintoominaisuus kuin tekninen. Hetki, jolloin kaksi vaatimuksen tulkintaa eroavat, on juuri se, mihin sidosryhmän päätös kuuluu, ja se on paljon halvempaa ennen kuin toteutus on rakennettu toisen ympärille.","research-forge.1c9bbc4b77":"Pidä vaihtoehdot, kunnes käytäntö on kirjattu.","research-forge.1cb61a389f":"muuttunut kenttä on uusi koe, ei korjattu sellainen","research-forge.1ccf5d25df":"Spesifikaatio","research-forge.1cdd46cd0e":"Lue tutkimus","research-forge.1d17812687":"Neljä syötettä, neljä eri takuuta","research-forge.1d2c6fe888":"kaikki viisi tai ei yhtään","research-forge.1d444e826a":"Kera suorittaa","research-forge.1d9b3bd5d3":"Pienin viive","research-forge.1d9d3e69fa":"Rust, C, Verilog","research-forge.1e269ebac7":"Yksi muunnos","research-forge.1e748c3e4b":"muuta solmua ja sinulla on uusi ehdokas, ja todistuksen sitovuus seuraa solmua","research-forge.1ecdc691a8":"harmaa reitti tuottaa jotain luettavaa, eikä mitään, johon sitä verrata","research-forge.1ed77c3f7f":"Protokolla","research-forge.1fd9da00a7":"Käytäntö ja auktoriteetti, joka valitsi yhden ehdokkaan.","research-forge.2030fae2a7":"Kolme tapaa sanoa se","research-forge.2040757c11":"Cranelift, natiivi suorituskykymittaus","research-forge.2041447f84":"vain haku","research-forge.206009c4a7":"Viisi käytäntöä","research-forge.20cb7eef2c":"Mallin ulkopuolella","research-forge.2154ca1eb7":"Jokainen näistä on tulos, jolla on eri seuraava askel. Forge tallentaa vahvimman tilan, jonka se voi perustella, ja nimeää, minkä pitäisi muuttua, jotta siitä päästään eteenpäin.","research-forge.21a0ffd68c":"avoimet kysymykset ovat sivulla","research-forge.21efbc283d":"Nopeus, muisti, kattavuus ja näyttö","research-forge.220b9c622c":"Syntetisoi","research-forge.2354ab0ba0":"ennen ohjelman ehdottamista","research-forge.235bfff3a2":"Tutkimusohjelma","research-forge.236656bf91":"Valtuudet","research-forge.23d4ef785c":"koko 5","research-forge.243dcbef8c":"suunnittelu ja päästö alla","research-forge.24a264b83c":"Kaksi kandidaattia, neljä tavoitetta","research-forge.24c0bda2ba":"Suorin auditointipolku","research-forge.24cb5be0b0":"päätös säilyttää perustelunsa","research-forge.24d50592b7":"Tavoitteet","research-forge.2550b1dcad":"Vastuu","research-forge.25754f1c93":"tutkimusohjelma, ei ohjelmistotarjous","research-forge.258195bb3d":"Yksi identiteetti","research-forge.25c843b80e":"Tämä tekee kielestä kaksi asiaa samalla kertaa. Se on tehokkuusmekanismi, koska suurinta osaa avaruudesta ei koskaan tarvitse arvioida. Se on myös aikomuksen raja, koska se ilmoittaa etukäteen, mihin kone saa yltää.","research-forge.25fa97aa1a":"Se ei kerro, onko reitti nopein, kevyin, siirrettävin, helpoin auditoida vai sellainen, jota organisaatio pystyy operoimaan. Nämä ovat erillisiä kysymyksiä, joilla on erillinen näyttö.","research-forge.261c22b85c":"Insinööriorganisaatio sitoutuu yleensä yhteen toteutukseen kauan ennen kuin se voi tietää, onko kyseinen malli nopein tai helpoin varmistaa. Forge tutkii järjestystä, jossa spesifikaatio on kestävä omaisuus ja toteutus on hakutuos, jonka ilmoitettu käytäntö valitsee.","research-forge.26369471c9":"Tarkka ekvivalenssi, rajattu numeerinen relaatio tai efekti-ekvivalenssi, kukin varmistettuna.","research-forge.267f81bab8":"Mihin ohjelma saa koskea","research-forge.277b67c1e8":"ja mitä se tarvitsisi","research-forge.27f11f9fe1":"sinetöity solmu julkaisee silti syötteensä, tulosteensa ja identiteettinsä","research-forge.27fab35201":"Nimetty ei-vastaus on hyödyllisempi kuin uskottava ohjelma.","research-forge.280c5e7fc6":"Kaksi tulkintaa","research-forge.281dd83602":"Laajenna","research-forge.282bd862f4":"Kandidaatti B","research-forge.2877a09f30":"useat vastaukset voivat olla järkeviä","research-forge.287b80caae":"oikeellisuus ei valitse","research-forge.294b4c06ac":"Kandidaattiavaruus","research-forge.296e71a0fb":"Kandidaatit koon mukaan rajatussa kielessä, näyttäen hyväksytyt, hylätyt ja romahtaneet tilat, ensimmäisen varmennetun kandidaatin ja ilmoitetun rajan, jonka väite kantaa","research-forge.297f419e18":"Se ei saa heikentää käyttäytymistä, lisätä efektiä, jota paketti ei ilmoittanut, tai muuttaa ratkaisematonta todistustilaa onnistumiseksi. Optimointi on vapautta rajan sisällä.","research-forge.29c69b4a35":"tai helpompi tarkistaa","research-forge.29fea3a06d":"Mitä se vahvistaa","research-forge.2a03a4b73a":"Päättämätön","research-forge.2a729227ad":"Yksi lauseke laajennettuna verkostoksi ekvivalentteja muotoja, joissa on ehtoja reunoilla, ja kolme poimintakohdetta valittuna sen jälkeen, kun avaruus on olemassa","research-forge.2a965a37b7":"Tämä on käytäntöpäätös, ja se on ilmoitettava, ei pääteltävä.","research-forge.2a965accf1":"Pienin ohjelma, jonka kieli sallii","research-forge.2ad40f7952":"Kompromissit hallinto-objektina","research-forge.2b27b7aec8":"Näyttöön perustuva","research-forge.2b3a5e307c":"Semanttinen","research-forge.2b7d95b8c6":"Minkä kompromissin haluat","research-forge.2b9c801e9e":"valinta pysyy eksplisiittisenä käytäntönä","research-forge.2bdb5e4d73":"Forge päättyy valittuun semanttiseen graafiin ja sen näyttöön. Dweve Kera vastaanottaa graafin, suunnittelee tuetun suorituksen ja tuottaa kohdeartefaktin, ja operaatioiden merkitys, efektit, omistajuus, numeerinen sopimus ja todistusvelvoitteet liitetään siirron yhteyteen. Sama kurinalaisuus yhdistää Forgen muuhun Dweve-pinoon: Aion, jossa ohjelma säilyttää varmennetun tilan, Reed ja Selvedge ympäröivään järjestelmätyöhön, FMI ja Twin, kun fyysisen järjestelmän malli on osa spesifikaatiota.","research-forge.2c8c94c95f":"ei vain se, mitä rakennettiin","research-forge.2c9ebecf8b":"Haun orkestrointi","research-forge.2cb597863b":"Nopea ohjelma, joka on väärä, on silti väärä.","research-forge.2cd3174fc9":"tulos päättää seuraavan kysymyksen","research-forge.2cff331976":"Löytö ja todistus yllä","research-forge.2d24e0a549":"Ja joskus","research-forge.2d3231ce48":"Monitulkintaisuus","research-forge.2da600bf94":"Versio","research-forge.2daa013c1b":"Tyypitetty semanttinen graafi, ei lähdeteksti","research-forge.2dd3547872":"täydellinen rajan sisällä","research-forge.2dfcf898a3":"Vertailu","research-forge.2e140f6f42":"Käytännön valinta","research-forge.2ea3bb9377":"Liity tutkimuskumppaniksi","research-forge.2f24ebaee0":"Karsi","research-forge.2f65736593":"(a * 2) + a","research-forge.2f81a22de0":"Pääsy","research-forge.2f89346f05":"Liukulukujen uudelleenryhmittely","research-forge.2f906454d9":"Jokainen muoto vastaa eri kysymykseen, ja tutkimusrekisteri kertoo, kumpi kantoi väitteen.","research-forge.30833f759b":"Suunnittelu ja laskeminen","research-forge.3107902192":"Viisi kandidaattia","research-forge.310e8151df":"kuvauksesta todisteisiin","research-forge.31139f400a":"vähintään <= 5","research-forge.3146c89579":"mikä vastuu on kummallakin puolella","research-forge.3179a54130":"Esimerkkejä, sääntöjä ja osittainen ohjelma, ei vaiheita","research-forge.31c2157a1c":"Yksi semanttinen graafi esitettynä graafina, lausekkeena ja datavirtana, identiteetti säilyy kaikissa kolmessa, ja yhden solmun muuttamisen vaikutus","research-forge.320ce22925":"Vahva, väitteille","research-forge.3218fcc602":"Todistuksen kompositio","research-forge.32438a2b70":"Ota automatisoitu löytäminen käyttöön","research-forge.32d888fecc":"Suoritus sidottu","research-forge.32ec2eb506":"Tyypin ohjaama","research-forge.32fd056d3d":"Luonnos","research-forge.32fe9f5bda":"Siemen","research-forge.331a390a95":"Merkitse, että takuuta ei voida perustella sellaisenaan.","research-forge.332fafafd4":"Useat ohjelmat ovat optimaalisia","research-forge.337cd4ef85":"ja suojaa jälkeenpäin","research-forge.3407af8c74":"Muodot vahvistavat toisiaan. Esimerkit tekevät loogisesta sopimuksesta lukijalle ymmärrettävän. Rajoitteet estävät ehdokasta ylisovittamasta näytettyihin tapauksiin. Luonnos pitää turvarakenteen kiinteänä, kun alueen sisällä oleva aritmetiikka tai datavirta jää avoimeksi löydettäväksi.","research-forge.3554ae9f37":"Graafin todistus ei automaattisesti ole mielivaltaisen kääntäjän tuotoksen todistus, joten suorituksen sidonta tallentaa graafin, suunnitelman, artefaktin ja tuloksen yhdessä. Forge voi sitten tutkia löytämistä väittämättä omistavansa kääntäjää.","research-forge.356258d8cf":"Oikeellisuus ansaitsee pääsyn kompromissikeskusteluun.","research-forge.357a580465":"laajennus ehdoilla","research-forge.3631815377":"joka pitää","research-forge.3647998e09":"suhteellinen mallinnettu latenssi yhdellä rajalla","research-forge.3662b6cd93":"Optimointi on vapautta rajan sisällä, joka kirjoitettiin ensin.","research-forge.3678b75177":"Todistuksen ankkuri","research-forge.3697e2badd":"Sama raja, neljä puolustettavaa vastausta","research-forge.3750b1e26e":"Yksi vaatimus","research-forge.378b19c94c":"ja universaalit ominaisuudet","research-forge.37a1d3ddee":"Haun laajuus","research-forge.37b658da82":"mikä on vakiintunutta ja mikä avointa","research-forge.37d9b94afa":"Arvioija voi seurata ketjun päästä päähän avaamatta yhtäkään sinetöityä solmua.","research-forge.37e5ec20ed":"Hiljaisuus merkitsee","research-forge.37e8f995e7":"Nimetty ei-vastaus antaa myös instituutiolle konkreettisen kohdan toimia. Se kertoo, mikä lauseke on ristiriidassa, mikä käyttäytyminen oli määrittelemätöntä, mikä teoria oli käytettävissä tai mikä budjetti loppui, ja siksi mitä pitäisi muuttaa.","research-forge.3856f4eb7c":"Menetelmä ei päässyt johtopäätökseen teoriansa ja resurssirajojensa puitteissa.","research-forge.387b54720d":"Taso, jolle tuloksen on yllettävä ennen kuin se lasketaan","research-forge.38b07c05cf":"Yksi varmuustikapuut, jossa kaksi ehdokasta lepää eri tasoilla ja laatikko näyttää, mitä kukin taso tarkisti, oletti ja ei vahvista","research-forge.391bc6cb44":"Todistus pitää rajansa","research-forge.396c19de10":"Neljä tapaa, joilla vaatimus vastustaa ohjelmaa","research-forge.39727bd48f":"takaisin syntetisoimaan","research-forge.3977816414":"todisteet ratkaisevat","research-forge.39d6a0ddc5":"Mitkä päätökset haku saa tehdä puolestasi?","research-forge.39fdec1194":"Testit","research-forge.3a06f841f3":"Se on testattu annettujen esimerkkien lisäksi.","research-forge.3a4be7155b":"Vaihtoehdot","research-forge.3ab11b75ca":"Forge","research-forge.3b08754530":"Forge lähtee käyttäytymisen kuvauksesta, ei koodipyynnöstä. Voit antaa sille työstettyjä esimerkkejä, sääntöjä joiden on pätevä yleisesti, tai osittain kirjoitetun ohjelman, jonka hankalat osat on jätetty avoimiksi. Mikä tahansa näistä antaa koneelle jotakin, johon sitä voidaan verrata, ja jotakin, jossa se voi näkyvästi epäonnistua.","research-forge.3b0896e4b0":"Tuettujen Kera-sopimusten osalta puhdas suoritus toistaa bitit identtisesti ilman siementä, mukaan lukien katetut liukulukuperheiden polut. Kun ohjelma tarkoituksella kuluttaa satunnaistilaa, tila on määritelty syöte, ja sen uudelleenkäyttö toistaa koko suorituksen.","research-forge.3b8be5e1a9":"leveys todistettu","research-forge.3bb1fa9d93":"on yksi piste avaruudessa","research-forge.3bb59d3903":"Vakiintunut","research-forge.3bcf82f6df":"Latenssi on ulottuvuus","research-forge.3bdab018c4":"Varmistetulla on aina toinen puoli: näiden sääntöjen alla, näille syötteille.","research-forge.3bf08a84f1":"MOVE","research-forge.3bf4aa62c6":"Yksi graafi, kaksi suunnitelmaa, yksi identiteetti","research-forge.3c37add762":"Hyvin muodostettu","research-forge.3d3349e560":"mitä instituutio päättää ennen hakua","research-forge.3d85b7b35e":"Neljä pientä tapausta, joista jokainen päättyy ilman ohjelmaa eri syystä, näyttäen mitä pyydettiin, mitä tapahtui ja mikä muuttaisi sen","research-forge.3d8dc8dd37":"Kantaa yksinkertaisemman tarkistuspolun","research-forge.3d9d45c6fc":"ja todistaa väärän mallin","research-forge.3dbbac272c":"Vastaesimerkit ja todistustila","research-forge.3e0fb17cab":"Selvennä","research-forge.3e39972526":"Latenssi","research-forge.3e9492ab1e":"Graafi, suunnitelma, artefakti ja tulos pysyvät sidottuina.","research-forge.3f1ea4240e":"Oletukset ovat osa tulosta, eivät pientä pränttiä sen alla. Todistus tarkoista kokonaisluvuista ei sano mitään desimaaleista. Todistus itsenäisestä laskelmasta ei sano mitään palvelusta, josta sille ei koskaan kerrottu.","research-forge.3f2151a870":"Koot yhdestä kuuteen","research-forge.3fd8fb2e1a":"Toiminnot, tyypit, muodot, vaikutukset ja kyvykkyydet, joita ehdokas saa käyttää.","research-forge.3fe459f958":"Mikään ei sovi","research-forge.40100e1934":"Ei-dominoituja ehdokkaita","research-forge.4025ca409c":"Hallitse suorituskykysi","research-forge.408f0af557":"Johdantograafi spesifikaatiosta valittuun todistukseen, sisäiset menetelmävaiheet suljettuina mutta yhdistettyinä, ja lyhyempi polku, joka toiston on todella toistettava","research-forge.40d33b38ad":"Mikään näistä ei ole jälkikäteen lisätty varaus. Se on tuloksen sisältö, minkä vuoksi tietue sijoittaa tason ja sen laajuuden samaan paikkaan, eikä mikään kontrolli voi nostaa toista.","research-forge.40f800b699":"Rintama kuuluu tavoitejoukkoon, joka sen tuotti. Energian lisääminen pakettiin voi palauttaa aiemmin dominoidun ehdokkaan, mikä on kysymyksen ominaisuus, ei muutos missään ohjelmassa.","research-forge.4141bac3ca":"ja anna ohjelman muuttua","research-forge.418cdd48b7":"Havaitut tapaukset","research-forge.41978064b8":"Keskustele yhteistyöstä","research-forge.41a3ff09e5":"Kuvaa käyttäytyminen","research-forge.4288fa85e0":"Mikä on ratkaistu ja mikä avointa","research-forge.42c7f4ea4d":"Kehys ei liiku","research-forge.42e742546a":"ja testattu ei ole todistettu","research-forge.43093ca0db":"Todistuksen laajuus, rakenteellinen yksinkertaisuus, näytön hinta","research-forge.435e8ecece":"harvoin yksi ohjelma voittaa kaikki neljä","research-forge.436fb3032c":"Päätä","research-forge.437b348524":"Järjestys, jossa ne tapahtuvat","research-forge.437bcb1511":"Energia","research-forge.439f7b365e":"Tutkimusdokumentit","research-forge.43d54e530d":"Vastaako koodattu vaatimus sitä, mitä organisaatio todella haluaa?","research-forge.43d8879a8c":"suorituslinkki sitoo todistuksen siihen, mikä todella ajettiin","research-forge.4412dd5d66":"Mahdoton ja ratkaisematon raportoidaan, ei muunneta koodiksi.","research-forge.4475dded01":"Yksi toteutus","research-forge.44ab85a252":"Alkuperä","research-forge.450d52d3ef":"Haut","research-forge.4585404748":"ehdokas, joka pysähtyy testattuun, raportoidaan testatuksi","research-forge.45aaefd6f4":"Neljä arviota","research-forge.4646f9193d":"Hyvin muodostettu ei ole testattu","research-forge.4651a34e4d":"Laajuus","research-forge.466fc49274":"Säilytä","research-forge.46ed5f573e":"Katso tutkimus","research-forge.4719d38f14":"Useat käyttäytymiset täyttävät annetun näytön ja ovat eri mieltä muuten.","research-forge.472643c4ca":"Yksi ehdokas dominoi toista vain, kun se ei ole huonompi missään aktiivisessa tavoitteessa ja parempi vähintään yhdessä. Dominoidut ehdokkaat poistuvat aktiiviselta rintamalta. Jäljelle jäävät ovat kaikki puolustettavia vastauksia samaan spesifikaatioon, ja niiden välillä valitseminen on politiikkapäätös, jonka tietue säilyttää, ei laskelma, jonka haku tekee hiljaa.","research-forge.472bff45c9":"Yksi muoto suuremmassa yhtä käyttäytyvien avaruudessa.","research-forge.473161067f":"Valintapolitiikka","research-forge.47942077ae":"Yksinkertaisin todistus","research-forge.47b74866d6":"Tarkista oikeellisuus","research-forge.47bcc2a36a":"Joskus kaksi pyydettyä asiaa eivät voi olla molemmat totta. Joskus esimerkit sallivat kaksi eri käyttäytymistä, eikä ole tapaa tietää, kumpi oli tarkoitettu. Joskus ongelma on yksinkertaisesti vaikeampi kuin menetelmä pystyy ratkaisemaan annetussa ajassa. Forge raportoi jokaisen näistä sellaisena kuin se on, ja kertoo, mitä pitäisi muuttua. Epäselvä tapaus vaatii yleensä yhden lisäesimerkin, ei suurempaa budjettia.","research-forge.47cda15a5a":"Kera: miten","research-forge.47da6f0838":"Yhdistä","research-forge.48298eb992":"Haku voi korvata operaatioita, järjestää datavirtaa uudelleen, yhdistää alueita, poistaa siirtoja ja päätyä toteutukseen, jota yksikään tutkija ei ollut ajatellut. Kaikki tämä on sallittua, ja suurin osa siitä on tarkoitus.","research-forge.483bf2075c":"Julkaistu","research-forge.4901e146cd":"Vertaa kustannuksia","research-forge.490d255908":"vaatimus pysyy vakaana objektina","research-forge.49df3ec7de":"Toimii useammilla tuetuilla koneilla","research-forge.4a828b8ab7":"Tutkimus, Forge","research-forge.4ab1a4f190":"Ensimmäisenä saapuneella ehdokkaalla ei ole päätöksessä muuta asemaa kuin oma näyttönsä.","research-forge.4aebc33326":"Neljä arviota ennen väitettä","research-forge.4b01608cdc":"Haku ei koskaan muokkaa pakettia pelastaakseen ehdokkaan.","research-forge.4b1960c2fb":"Järjestelmä, jota painostetaan tuottamaan koodia, tuottaa koodia. Se muuttaa vastaamattoman kysymyksen ohjelmaksi, jota jonkun on nyt ylläpidettävä, eikä epävarmuus katoa, se siirtyy vaikeammin nähtävään paikkaan.","research-forge.4bca6a7cdb":"Missä ohjelma alkaa","research-forge.4c175158a6":"Linkitetty tulos","research-forge.4c1e9313aa":"Yksi pooli","research-forge.4c39a99d3d":"Viisi tasoa","research-forge.4c6bdedadc":"lähde pysyy projisointina","research-forge.4cb3bb0fc4":"Nopein","research-forge.4d0ff72eb2":"Mille tasolle testauksen tai todistuksen tuloksen on yllettävä?","research-forge.4d6864f9a3":"Neljä rajavalintaa","research-forge.4d7f210eef":"Kolme ehdokasta tarkistetaan tapausten listaa vasten, joka kasvaa yhdellä epäonnistuvalla syötteellä joka kierroksella, eikä listalta poisteta koskaan mitään","research-forge.4db6c46b80":"jokainen järjestelmä lukee saman objektin eikä kopiota siitä","research-forge.4e4bed5372":"Ei koskaan","research-forge.4e76f5796f":"Kevyin","research-forge.4e90808185":"Neljä tapaa, joilla ajo voi päättyä","research-forge.4e9a44aeb4":"Kerro, mitä pitäisi tapahtua","research-forge.4ec9cc4f2f":"Varmennettu ohjelmien löytäminen","research-forge.4f9c4e1fdb":"Ensimmäinen oikea ehdokas osoittaa, että ongelma on tyydytettävä. Se voi myös olla suuri, hidas, muistia kuluttava, hankala varmennettava tai sidottu yhteen suoritusympäristöön. Forge käsittelee sitä todisteena eikä vastauksena, ja jatkaa etsintää niiden perheiden löytämiseksi, joihin erilainen hakukäyttäytyminen olisi päätynyt ensin.","research-forge.4faae9b4e9":"ovat eri väitteitä","research-forge.4fe6240efb":"Vastaako suorituskohde todistettua semantiikkaa?","research-forge.500d19ed3e":"Seuraavan ehdokkaan on täytettävä vahvempi joukko.","research-forge.505ddba0dc":"kone kertoo, mitä se tietää","research-forge.506f370762":"ehdon merkki reunalla päättää, saako poiminta käyttää sitä","research-forge.50e944749f":"WIDE","research-forge.50f771745f":"Onko se hyvä toteutus","research-forge.512f83ac42":"Kolme ehdokasta tarkistetaan kasvavaa velvoitejoukkoa vasten, ja mukana ovat kunkin päättänyt vastaesimerkki sekä kaksi hyväksyttävää vastausta epäonnistumiseen","research-forge.516f075235":"Neljä oikeaa ohjelmaa, neljä tapaa suosia yhtä","research-forge.5183317474":"Vapaus","research-forge.52550c8d07":"Tallenne kertoo miksi","research-forge.528d188e2a":"Vaadittu todistuksen taso","research-forge.52e68a873a":"Rajoitteet","research-forge.531e01782f":"Ratkaise ristiriitaiset vaatimukset, jotka todistus tunnisti.","research-forge.536a08d31b":"FAST","research-forge.541a19b522":"Raja tekee väitteestä tarkan. Graafin todistus on todistus kyseisestä graafista, joten suorituslinkitys tallentaa graafin, Kera-suunnitelman, artefaktin ja tuloksen identiteetin yhdessä, eikä oleta, että todistus kulki tuloksen mukana.","research-forge.546130711a":"Dweven tutkimusohjelma","research-forge.54a351154f":"Minimaalisuus on rajattu väite. Se pätee operaatioille, tyypeille ja rakenteille, jotka paketti salli, siihen kokoon asti, jonka ajo saavutti. Se ei sano mitään kielestä, jota koe ei ilmoittanut, ja operaatiojoukon laajentaminen tuottaa uuden kokeen omalla vastauksellaan.","research-forge.550d4ccba7":"Numeerinen perhe, järjestys, tilamalli ja ulkoiset olosuhteet, joita ajo olettaa.","research-forge.551fea67e6":"Kuvaus tulee ensin, ja toteutus pysyy avoimena kysymyksenä mahdollisimman pitkään.","research-forge.5521ea4314":"tavoitteen lisääminen voi palauttaa dominoitu ehdokkaan, mikä on tosiasia kysymyksestä","research-forge.5549dc87d0":"Ei jokainen määrittely","research-forge.5601f89af7":"ehdokas, joka vain näyttää oikealta","research-forge.563591cebc":"Kuinka nopeasti ohjelma suoritetaan","research-forge.56abd17a41":"Kun mitään ei palaa","research-forge.577d56824d":"KOLME SIIRTOA","research-forge.58357eb5f1":"vahvemmat väitteet vaativat vahvempaa näyttöä","research-forge.584e0ea86c":"vektori kuvaa kompromissin","research-forge.58c379fdea":"Kooltaan minimaalinen","research-forge.59df8e27c4":"Säilytä vaatimus","research-forge.5a0ba3bb83":"Sopimus","research-forge.5a2827f530":"Neljä rengasta","research-forge.5a314063cc":"miten heikko ehdokas terävöittää kysymystä","research-forge.5ab1aaea94":"EPÄSELVÄ","research-forge.5b1142d090":"Budjetin kohdentaminen","research-forge.5b141d8cb7":"Varmennettu näiden sääntöjen mukaan","research-forge.5b2a7fb11c":"Paljasta","research-forge.5b3facb840":"Neljä yhtä painavaa perhettä, ja paketti päättää, mitkä ovat aktiivisia.","research-forge.5b5d8a5af8":"Tallenna konkreettinen tapaus ja ominaisuus, jonka se rikkoi.","research-forge.5b6a58fb9f":"Halpa, hakua varten","research-forge.5b78187e47":"ei oikea jokaisessa maailmassa","research-forge.5b8955c7bc":"Ohjelman löytäminen","research-forge.5b92885b2d":"Insinööritiimi voi valita pienimmän viiveen jäsenen. Säännelty ohjelma voi valita puhtaimman varmennuspolun. Sekoitettuun laitteistoon hajautettu käyttöönotto voi valita laajimman kohdesovituksen. Kaikki valitsevat samasta varmennetusta joukosta.","research-forge.5c1be9b227":"Väite on toistettavissa","research-forge.5c262f33db":"Päättyy","research-forge.5c46a60955":"Miten työ jaetaan","research-forge.5c9d4874c3":"Mitkä syötteet ja mitkä ympäristöt väite kattaa.","research-forge.5ce01f3b67":"Ohjelma julkaisee sen, mitä sen näyttö tukee, ja pitää tutkimusmenetelmänsä tutkimuksena.","research-forge.5dfcf1dcc0":"Yksi identiteetti, kolme esitystä","research-forge.5dfe750940":"Tarkastettavissa","research-forge.5e0d7f4f07":"Forge on Dweven tutkimusprojekti. Sen sisäinen hakusalkku, muodollisen päättelyn toteutus, muunnostieto, tavoitteiden kalibrointi ja orkestrointi ovat osa tätä tutkimusta. Se, mitä ohjelma julkaisee, on kysymys, protokolla, tulos ja sen varmennustila sillä paljastustasolla, jota näyttö tukee. Yhteistyö alkaa rajatusta synteesikysymyksestä. Viittä väitettä seurataan tiloineen, kolme on ratkaistu ja kaksi vielä avoinna, ja avoimet ovat sivulla eikä niitä ole jätetty pois kuvauksesta.","research-forge.5e22dbb195":"Kolme paria","research-forge.5e3db9c4c0":"Vastaesimerkkiohjattu tarkennus","research-forge.5eb51a7a2a":"Seuraa todisteita, älä vain ohjelmaa, joka syntyi.","research-forge.5eede4abda":"Laajin kohdeyhteensopivuus","research-forge.5f174de1cc":"Todiste","research-forge.5f20d0f3ac":"Tyydyttämätön","research-forge.5f94916c54":"Katso institutionaalinen tapaus","research-forge.5faa59d4bc":"Tulos","research-forge.5ff1729499":"ennen kuin sanot miten","research-forge.603a007e8b":"ja vaihtoehdot sulkeutuvat","research-forge.60508aeb3d":"Minne kysymys viedään","research-forge.60539e2c57":"Missä riski sijaitsee","research-forge.6066a49124":"Tuo syöte liittyy joukkoon, joka jokaisen ehdokkaan on täytettävä.","research-forge.60e5c23b14":"Tyypitetty","research-forge.616d1d1b2a":"Viisi preferenssiä","research-forge.61792020d0":"Objektiivinen rintama","research-forge.61988aaea3":"Kokeilupaketti","research-forge.61a0ae3b84":"Rajoitteet","research-forge.61ad50a9b9":"Kohde","research-forge.61c2d00a1e":"Spesifikaatiomuodot","research-forge.61d0fdeb05":"Määritelty rajapinta, sen tyypit ja muodot.","research-forge.61e2187199":"Ensimmäisen kelvollisen ohjelman jälkeen","research-forge.625ba6f153":"FIT","research-forge.62c4bc1315":"Kaksi kaistaa samasta vaatimuksesta","research-forge.6320f96544":"anna koneen löytää miten","research-forge.636f4e740e":"on harvoin koko vastaus","research-forge.63ed4981dc":"Pareto","research-forge.63f0dfcfef":"Vaatimus jaettuna lauseisiin, neljällä kaistalla näyttäen, mitkä lauseet tuottivat tyydyttämättömän, monitulkintaisen, tuntemattoman tai ulkopuolisen tuloksen, ja mihin toimiin kukin kehottaa.","research-forge.64269f9bd2":"TIME","research-forge.647c656679":"Kaksi ehdokasta voi täsmätä tekstinä, täsmätä kun niiden graafit on normalisoitu, tai täyttää saman havaittavan käyttäytymisen määritellyn sopimuksen alla. Nämä ovat kolme eri väitettä, ja vain viimeinen kertoo jotain siitä, mitä ohjelma tekee.","research-forge.649ed30fda":"Laajuus kulkee väitteen mukana. Todiste tarkkojen kokonaislukusemantiikkojen yli ei sertifioi liukulukukäyttäytymistä. Puhtaan funktion todiste ei kata ulkoista palvelua, jota ei koskaan määritelty. Todistuksen jälkeen muokattu varmennettu graafi on uusi ehdokas, johon ei ole vielä liitetty todistetta.","research-forge.64bcb871de":"Vastaesimerkki voi paljastaa enemmän kuin toteutusvirheen. Se voi paljastaa puuttuvan ennakkoehdon, reunatapauksen, jota kukaan ei ollut päättänyt, tai kaksi tulkintaa vaatimuksesta, jotka olivat molemmat esimerkkien mukaisia. Tietue nimeää, minkä näistä tutkija sitten muutti.","research-forge.64c0978f0e":"Avoin, ja syy, miksi ohjelma on olemassa: kuinka suureksi varmennettu graafialue voi hyödyllisesti kasvaa, mitkä spesifikaatiomuodot ovat tarkkoja koneelle ja toimivia ihmiselle, miten osittaiset todisteet yhdistyvät optimoinnin ja suunnittelun kautta, ja mitkä tavoitteet tarvitsevat mitattua laitteistopalautetta.","research-forge.64d22c2e4e":"Forge määrittää tutkimusongelman ennen kuin ehdokasta on olemassa. Yksi paketti nimeää spesifikaation, sallitut operaatiot ja tyypit, vaikutukset ja numeerisen semantiikan, tavoiteulottuvuudet, hakurajat ja varmuuskäytännön, johon tuloksen on yllettävä. Ehdokasta voidaan arvioida vain jo määriteltyä ongelmaa vasten, mikä tekee paketista osan oikeellisuutta eikä sen ympärillä olevaa konfiguraatiota. Paketti kertoo myös, milloin lopettaa: resurssirajan, varmuuskynnyksen, johon ehdokkaan on yllettävä, ja mitä ajo raportoi, kun mikään ei yllä siihen.","research-forge.64f4056c85":"Käytäntö näkyvissä","research-forge.657c02a2ae":"Vaatimus pysyy kiinteänä","research-forge.664243d1c2":"Spesifikaatiomuodot sitä vastaan, mitä kukin ratkaisee","research-forge.66b4132999":"Keskustele synteesikysymyksestä","research-forge.66c7af05f3":"Forge tekee oletukset tarkasteltaviksi, ja ihmiset omistavat ne edelleen.","research-forge.66c95e7fc7":"Sinetti","research-forge.66cd84bcef":"muodot tulevat ja menevät, ja keskellä oleva kehys on sama koko ajan","research-forge.6703a68b0c":"käytäntö nimeää jäsenen","research-forge.6767e55d00":"Ensimmäinen kelvollinen","research-forge.681b5b5ae1":"Saatavuus","research-forge.6848ce552e":"Tulokset","research-forge.68ad9d9693":"Mikä pysyy kiinteänä","research-forge.693f74e1e9":"Forgen ja Keran raja","research-forge.6978e0d16d":"Ei ohjelmaa lainkaan voi olla rehellinen tulos","research-forge.6989b87ddb":"Siksi silmukka vain tiukentuu. Jokainen kierros alkaa kaikesta, minkä aiemmat kierrokset vahvistivat, sekä uudesta tapauksesta, joten ehdokas ei voi koskaan voittaa unohtamalla aiemman epäonnistumisen.","research-forge.699425d26b":"Lue menetelmä","research-forge.69da6fa492":"Esimerkit selittävät","research-forge.6a33efdc4e":"Kokeilupaketti koottuna kenttä kentältä, identiteetillä, joka nimeää sen, ja seurauksella, joka aiheutuu minkä tahansa kentän muuttamisesta","research-forge.6a455d1ff6":"Pidä tämä totena jokaiselle tuetulle syötteelle.","research-forge.6a54f54941":"Haku vastaa","research-forge.6aa0b7e952":"eri instituutiot valitsevat eri tavoin","research-forge.6ab0b8903c":"Numeerinen merkitys","research-forge.6b1716c3e5":"ei koskaan anteeksiantavampi","research-forge.6b2284f302":"Polvipiste","research-forge.6b6ae4c323":"velvoitejoukko vain kasvaa","research-forge.6b6f62925d":"Joskus vastaesimerkki kertoo jotain pyynnöstä eikä ohjelmasta. Kaksi sääntöä voi osoittautua ristiriitaisiksi, tai reunatapaus voi osoittautua sellaiseksi, jota kukaan ei ollut oikeasti päättänyt. Tämä on hyvä tietää varhain.","research-forge.6b7b6dcbaa":"Yksi graafi, neljä roolia","research-forge.6bc457b374":"Löydä ehdokas, joka täyttää jokaisen tunnetun tapauksen.","research-forge.6bcf5a7776":"Rintama, ei yksittäinen pistemäärä","research-forge.6c4b5393b9":"ja rajoitteet päättävät","research-forge.6c61bbcebe":"Todistettu","research-forge.6c82e6dd86":"Aika","research-forge.6c8dd48ed8":"Mittaussuunnitelma","research-forge.6c9b8325ab":"mitään porrasta ei koskaan päätellä","research-forge.6c9c88fe2f":"Kuvaus käyttäytymisen muutoksista muuttaa suhdetta. Se antaa haulle maalin, johon sen on osuttava, tavan jäädä kiinni, kun se epäonnistuu, ja jälkikäteen tallenteen siitä, mihin tapauksiin tulosta on koskaan verrattu.","research-forge.6cc1fdfb05":"Testattu, rajattu ja todistettu ovat eri väitteitä samasta ohjelmasta.","research-forge.6cd40b6ae3":"Vaatimukset alkavat haluttuna käyttäytymisenä, rajoitteina ja riskeinä. Kehitys muuttaa ne yhdeksi arkkitehtuuriksi ja yhdeksi toteutukseksi, ja siitä hetkestä lähtien jokainen vaihtoehto on uudelleenkirjoitus, migraatio tai optimointiprojekti. Valinta oli todennäköisesti järkevä silloin, kun se tehtiin, ja se tehtiin ennen kuin kukaan pystyi vertaamaan sitä vaihtoehtoihin, jotka se sulki pois.","research-forge.6d058a6f22":"ei yleinen lupaus","research-forge.6d3a0e2f30":"Tyypit karsivat ensin","research-forge.6d525b7156":"Suoritus","research-forge.6d5ef04ce2":"todiste, raja tai ilmoitettu rajoitus","research-forge.6d84ceaf60":"Poimi","research-forge.6db87cb08f":"Nopein mallinnettu","research-forge.6dfe9d2cfa":"Forge, pelkkä näkymä","research-forge.6e3f1d3672":"Neljä tapaa ilmaista tarkoitus","research-forge.6ef75c79a0":"Toiston ei tarvitse toistaa jokaista tutkivaa haaraa. Sen on toistettava todisteet, joihin väite nojaa: spesifikaatio, valittu kandidaatti, varmennustulos ja suoritussidos. Kaikki muu on hakuhistoriaa, ei todistetta.","research-forge.70bcce6545":"Useita reittejä","research-forge.70cbd1d6b1":"Ehdotettu","research-forge.7173d0cb0f":"tuntematon, epätyydyttävä ja monitulkintainen ovat tuloksia","research-forge.718eb2ad28":"Vahvuuden vähentäminen siirroksi","research-forge.71e541f178":"Testi ajaa ohjelman syötteillä, jotka joku valitsi. Todiste päättää jokaisesta syötteestä, jonka kirjoitettu spesifikaatio kattaa. Molemmat ovat hyödyllisiä ja vastaavat eri kysymyksiin. Kun Forge sanoo, että kandidaatti on varmennettu, lauseella on toinen puoli: varmennettu tätä ominaisuutta vastaan, näille syötteille, näillä oletuksilla. Viiden osan on kuljettava yhdessä, jotta lause merkitsee mitään: tarkalleen se ohjelma, joka tarkistettiin, siitä väitetty ominaisuus, oletukset, todisteet ja rajat, joita tulos ei vahvista.","research-forge.722e234a05":"Etsi kandidaatteja","research-forge.72637278c6":"mitä Forge luovuttaa","research-forge.729c82e196":"Yksi objekti kulkee koko elinkaaren läpi, joten mitään ei tarvitse johtaa uudelleen tekstistä jokaisessa vaiheessa.","research-forge.72aeb780b2":"Minne haku etenee seuraavaksi","research-forge.72e6f70d7c":"tulos osoittaa takaisin graafiin","research-forge.7305b76252":"vahvempi todiste ansaitsee vahvemman merkin","research-forge.73128a8f5b":"vaatimus tulee ensin","research-forge.734e643f73":"Neljä akselia","research-forge.734ee26abf":"Monia perheitä","research-forge.736500a024":"löytäminen ja todistaminen","research-forge.73710d0053":"Neljä asiaa ei muutu lopputuloksen mukaan, ja ne ovat syy siihen, että tuloksen voi lukea joku, joka ei ajanut hakua.","research-forge.73e5abe068":"ja menetelmä pysyy yksityisenä","research-forge.740141dd76":"Rajalliset tarkistukset ja ominaisuustestit","research-forge.746a18b508":"Muotoilu, operandien järjestys ja normalisoitu graafi. Riittää estämään hakua tekemästä samaa työtä kahdesti.","research-forge.757b8815d3":"Yksi kehys","research-forge.75be5b7552":"Mitä tallenne julkaisee","research-forge.75c9be68d0":"Hylkää","research-forge.75e6b42fc5":"Soveltamisalan ulkopuolella","research-forge.762b81621f":"Porras, johon kandidaatin on yltää päästäkseen rintamaan.","research-forge.7701124587":"Sen todistaminen, ettei pienempää oikeaa ohjelmaa ole olemassa ilmoitetun kielen sisällä, on kysymys, jota superoptimointitutkimuksen perinne tutkii. Tämä rajallinen haku on se esiintymä tästä kysymyksestä, jonka Forge voi suorittaa ja tarkistaa.","research-forge.7777053d27":"Tahallaan väärässä oleminen","research-forge.77809a4225":"x86-64, RISC-V, WASM, Vulkan GPU","research-forge.779df62acf":"Neljä pysyvää sitoumusta","research-forge.77e466696d":"Mikään ohjelma sallitussa tilassa ei voi tehdä sitä. Muuta lupaa tai pyyntöä.","research-forge.77ed933da8":"Tavoitevektori ja rintaman sijainti","research-forge.7800ae62d5":"Ei vain väärässä","research-forge.78546ce4c3":"Pyydettyä vaikutusta ei edusteta varmennussopimuksessa.","research-forge.79919ce9fd":"Vaikutukset ja kyvykkyydet","research-forge.79b38792f6":"Neljä tavoiteperhettä","research-forge.79b3e4bb6e":"Monia kandidaatteja","research-forge.7a36809fc6":"Forge tutkii erilaista järjestystä. Pidä vaatimus eksplisiittisenä pidempään. Anna useiden toteutusten kilpailla ilmoitetun kielen sisällä. Vahvista tuetut käyttäytymisväitteet ennen kuin valitset suorituskyvyn ja käyttöönoton kompromissien välillä.","research-forge.7a67d7aba8":"Ovatko ympäristö, vaikutukset ja numeeriset säännöt edustettuina?","research-forge.7b2d03931b":"Tavanomainen","research-forge.7ba8740951":"Mikä käytäntö valitsi yhden jäsenen, ja kuka seisoi sen takana","research-forge.7bec3a8510":"Pysähtyy","research-forge.7c04a5cf0e":"Kustannusvektori tuottaa rintaman, joka on eri asia kuin järjestys.","research-forge.7c1e14bb08":"se ei poista inhimillistä harkintaa","research-forge.7c3f4fda21":"koko 1","research-forge.7d448f8882":"Yksi kandidaattipooli","research-forge.7d58a74832":"Ehdokas voi läpäistä jokaisen esimerkin, joka sille on näytetty, ja silti olla väärässä jossakin, jota kukaan ei katsonut. Forge etsii tiettyä syötettä, joka paljastaa eron. Tämä syöte on vastaesimerkki, ja kun se on olemassa, se liittyy pysyvään joukkoon tapauksia, jotka jokaisen myöhemmän ehdokkaan on täytettävä. Tämän takana oleva sykli on lyhyt. Ehdokas ehdotetaan, sitä haastetaan annettujen esimerkkien ulkopuolella, yksi syöte paljastaa väärän käytöksen, ja tämä syöte säilytetään. Sitten haku alkaa uudelleen suurempaa joukkoa vasten. Se päättyy todistukseen, rajaan tai ilmoitettuun rajoitukseen, eikä koskaan ehdokkaaseen, joka vain näyttää oikealta. Tästä joukosta ei koskaan poisteta mitään, minkä vuoksi kolmas yritys merkitsee enemmän kuin ensimmäinen.","research-forge.7d5f9141fc":"Mittaus on vielä vahvistamatta","research-forge.7db1bb6632":"Johdanto todisteena","research-forge.7df7e32344":"merkki nimeää vain askelman","research-forge.7e2e54dae8":"Tasapainoinen käännepiste voidaan ehdottaa. Ehdotus tallennetaan sen normalisoinnin kanssa, joka sen tuotti, jotta arvioija voi nähdä, että se on käytäntö eikä aritmeettinen välttämättömyys.","research-forge.7e309ec303":"Suorituskykyhypoteesi, ei vertaisarvioitu","research-forge.7e5a975b6a":"Identiteetti","research-forge.7e826f7af3":"TRUST","research-forge.7ea014de7b":"Todisteet","research-forge.7ea35b3515":"Sama objekti kantaa neljä roolia vaihtamatta luokkaa. Se on ehdokas haun aikana, ekvivalenssiluokan jäsen tutkimisen aikana, subjekti, jonka todistus nimeää, ja syöte, jota vasten Kera suunnittelee. Yksi identiteetti kantaa kaikki neljä.","research-forge.7f2b6cf0fd":"Ehdokkaan on täytettävä tähän mennessä kerätyt todisteet. Tarkistin etsii sitten tuetusta toimialueesta syötteen tai tilan, jossa se rikkoo täydellistä spesifikaatiota. Kaikki löytämänsä vastaesimerkit liittyvät todistejoukkoon pysyvänä velvoitteena, joten seuraavan ehdokkaan on täytettävä kaikki, mitä aikaisemmat tekivät, sekä uusi tapaus. Silmukka vain tiukkenee. Se pysähtyy todistukseen, rajaan tai ilmoitettuun rajoitukseen, eikä se koskaan pysähdy ehdokkaaseen, joka vain näyttää vakuuttavalta. Ehtojen lisääminen on sallittua, mutta se avaa uuden spesifikaatioidentiteetin vanhan muokkaamisen sijaan.","research-forge.7f59a1f1d5":"Päätös","research-forge.7f5e7b5182":"Neljä institutionaalista toimenpidettä","research-forge.7f87260e69":"Kirjoitettu eteenpäin, luettu taaksepäin","research-forge.7fc3a8b99e":"Tutkimusasetelma yhdistää DSL:n tyypitettyjen lausekkeiden yli sekä enumeratiivisen, CEGIS-, geneettisen ohjelmoinnin ja MCTS-haun, e-graafin yhtäläisyyskyllästyksen, Cranelift-pohjaisen mittauksen sekä Z3/CVC5-tarkistukset rajoitetuille velvoitteille. Monitavoitehaku ottaa huomioon viiveen, operaatiomäärän, muistin ja rekisteripaineen; kohdekoodin tuotanto sisältää x86-64, RISC-V, WASM, Vulkan GPU ja Verilog. Tehtävä- ja testilukumäärät, risti-isäntä nopeutukset ja tuotantosuorituskyky ovat vielä validointityötä.","research-forge.7fda8c3a33":"Kolme ehdokasta, kolme rehellistä merkintää","research-forge.7fdf663e3a":"Suorituskykyhypoteesi, ei vertaisarvioitu","research-forge.7fef09721e":"Dweve Forge, varmennettu ohjelmalöytö","research-forge.80302bf5ea":"Rajoitetut tarkistukset ja haku","research-forge.80446347ed":"Lomake","research-forge.80d70e543d":"Rintama ja valinta","research-forge.814de3b8b2":"Neljä rintaman jäsentä","research-forge.8179013356":"Liikenne, työskentelyjoukko, siirrot ja sijainti","research-forge.81eccd6085":"Neljä syytä hiljaisuuteen","research-forge.81f08b5724":"kauan sen jälkeen, kun ihmiset siirtyvät eteenpäin","research-forge.8208f3f27b":"Järjestys","research-forge.82319c5d9e":"Muunnosten soveltaminen sarjassa tekee varhaisen valinnan, joka voi sulkea pois myöhemmän parannuksen. Forge tutkii kompakteja esityksiä, jotka pitävät sisällään monta ekvivalenttia muotoa kerralla, joten useat muunnospolut elävät rinnakkain poimintaan asti. Monien uudelleenkirjoitusten esittäminen yhdessä sen sijaan, että sitoutuisi yhteen järjestykseen, on lähestymistapa, jota tutkimuskirjallisuus kutsuu yhtäläisyyskyllästykseksi.","research-forge.8252f95ddf":"yhden solmun muuttaminen varmennetussa graafissa palauttaa ehdokkaan hyvin muodostetuksi","research-forge.825d89212b":"Muunnostieto","research-forge.8283b9d96c":"Ei vaihejärjestystä","research-forge.82c24c3687":"Ohjelma saa vapaasti muuttaa muotoaan, ja asia, jonka sen on täytettävä, ei saa.","research-forge.8301a503f4":"Erimielisyys kahden kelvollisen lukemisen välillä tuodaan esiin kysymyksenä, ei ratkaista haulla.","research-forge.8368699cf6":"Monta mahdollista ohjelmaa","research-forge.8375a2c337":"Kolme yritystä, yksi kasvava tapausten lista","research-forge.837b910e11":"kunnes käytäntö valitsee yhden","research-forge.83908aa381":"Tyyppi, muoto, esitys ja numeerinen sopimus, joka sitä hallitsee.","research-forge.83ea53e5ec":"Monta yhtäläistä muotoa, kolme poimimisen arvoista","research-forge.8597c90c68":"Tutkimustestit (laajuus)","research-forge.864c38bd34":"Kun mittausta ei ole olemassa, solu pysyy tyhjänä. Tyhjä solu on lausunto todisteista, ja sen täyttäminen mallin tuotoksella muuttaisi hiljaa arvion tulokseksi.","research-forge.8682d73e62":"Ohjelma","research-forge.869cb36316":"Yksi ehdotettu toteutus kiinnitetystä spesifikaatiosta.","research-forge.8703ca90ce":"Omistajuus, muistiavaruus ja sovellettavat kohderajoitukset.","research-forge.870d4e66fc":"tietue nimeää laajuuden","research-forge.87805aff07":"Ei ohjelmaa ollenkaan","research-forge.879bb91dae":"kumpikaan puoli ei ime toisen väitettä","research-forge.87d0c490e0":"Kustannusulottuvuudet, joita tämä koe vertaa, valittu ennen kuin mitään ehdokasta mitataan.","research-forge.88306943fe":"Menetelmä","research-forge.8831be6339":"Kun ohjelmaa ei ilmesty","research-forge.887b3d18f0":"Forge omistaa spesifikaation, ehdokashaun, ekvivalenssitutkimuksen, tavoiterintaman ja varmennuksen. Kera on Dweven graafipohjainen järjestelmäkieli ja Direct Computation -perusta, ja se omistaa suunnittelun, alentamisen, kohdekohtaisen emission ja suorituksen. Niiden välillä kulkee varmennettu semanttinen graafi velvoitteineen, tavoiteprofiileineen ja todisteineen. Graafi nimetään lähteen sijaan, ja palaava tulos osoittaa samaan identiteettiin.","research-forge.887cf267e6":"Epätyydyttävä","research-forge.888797190c":"yksi käytös, useita toteutuksia","research-forge.888e561892":"Neljä tapaa pyytää parempaa","research-forge.892257a43b":"Todistus voi olla pätevä","research-forge.89404ea15f":"Muodollinen kysely","research-forge.894f8a793c":"Käytä vahvempaa teoriaa, laajempaa kieltä tai suurempaa budjettia.","research-forge.897b3ac98d":"Koodigenerointi","research-forge.89b86ab0e6":"Kieli","research-forge.89c7caf6b5":"Mitkä vaiheet tekevät työn","research-forge.89c8a2851d":"Muisti","research-forge.89f5343231":"Kestävä päätöspolku","research-forge.8a102fcb06":"Rajoitettu täydellinen haku","research-forge.8a9523ae04":"Mitä kandidaattisolmu kuljettaa","research-forge.8ab2c84ed7":"Yksi arkkitehtuuri","research-forge.8b2d50590f":"Muodollinen todiste kattaa spesifikaation ja semantiikan, jotka on koodattu. Jos ympäristöehto jätettiin pois tai numeerinen malli ei vastaa konetta, tulos on validi ja vastaa hieman eri kysymykseen.","research-forge.8b593995c8":"Oletukset","research-forge.8b7acd8daf":"Mikään ei pääse rajapinnalle vahvemman vakuustason kanssa kuin mitä sen todiste tukee.","research-forge.8bafd39dbd":"Tarkoituksellinen tuoteraja","research-forge.8c0dc9aa18":"Esi- ja jälkiehdot sekä vakuustaso, johon tuloksen on yllettävä.","research-forge.8c1cf9e158":"Esimerkit, loogiset ehdot, luonnokset ja referenssikäyttäytyminen, kukin kirjattuna sen vahvuuden mukaan, jonka se kantaa.","research-forge.8cb71202e7":"Useat käyttäytymiset sopivat esimerkkeihin. Yksi lisätapaus ratkaisee sen.","research-forge.8d9c9bb663":"Kaksi tietuetta, yksi graafi","research-forge.8daee0af31":"Perinteinen reitti kaventuu yhteen koodikantaan ja avautuu uudelleen kirjoitusprojekteina, kun taas tutkimusreitti pitää viuhkan varmennettuja kandidaatteja, kunnes käytäntö valitsee yhden","research-forge.8db9aab917":"kuinka vahvasti se on tarkistettu","research-forge.8dce170de2":"Arvo","research-forge.8dd2a359fe":"LEAN","research-forge.8df2bb4b75":"Vakuustaso, johon kandidaatin on yllettävä, hakuraja ja mitä raportoidaan, kun mikään ei yllä siihen.","research-forge.8e2717f3c6":"Kandidaattia, joka ei voisi olla laillinen, ei koskaan rakenneta, joten rajapinta sisältää vain hyvin muodostettuja ohjelmia.","research-forge.8e34678d0d":"laittomat kandidaatit eivät koskaan pääse pooliin","research-forge.8e3934fad2":"Neljä käytäntövälilehteä, jotka valitsevat eri jäseniä yhdestä rajapinnasta, kukin tuottaen täydellisen päätöstietueen dominanssisyineen niille jäsenille, joita se ei valinnut","research-forge.8e50172772":"Riippumaton tarkistus on erillinen porras, koska se kysyy eri kysymyksen. Ei sitä, tuotettiinko todiste, vaan sitä, hyväksyykö tarkistin, joka ei tuottanut sitä, käyttäen vain kandidaatin mukana toimitettua näyttöä.","research-forge.8e84017c75":"Linkki on tiettyyn ohjelmaan. Muuta yksi askel sen sisällä, eikä todiste enää kuvaa sitä, mitä pidät käsissäsi, joten merkki palaa tavalliseen rakenteelliseen, kunnes tarkistus on tehty uudelleen.","research-forge.9032517861":"Viisi väitettä, viisi tilaa","research-forge.908b29b50b":"jokainen porras vaatii erilaista näyttöä","research-forge.90e40d5043":"Aloita","research-forge.919003799d":"Testattu","research-forge.91ad20c2db":"Kaksi suunnitelmaa","research-forge.91c0ae2087":"tarkka tarkoitus vähentää toteutusriskiä","research-forge.91cf399266":"voi olla oikea vastaus","research-forge.9225f51a2a":"Vastaesimerkki","research-forge.9233f41df0":"Kolme kohdetta","research-forge.9297ab4ca3":"Lue tarina","research-forge.929818c51d":"Suurin muistijalanjälki","research-forge.929a9f0f25":"Ensimmäinen, joka toimii","research-forge.92a7058e4e":"Keskustele instituutioiden yhteistyöstä","research-forge.92f5fe6952":"Neljä lopputulosta","research-forge.936c25084e":"Referenssikäyttäytyminen","research-forge.9388f4158d":"tasapainoinen vaihtoehto on valinta kuten muutkin, ja se sanoo sen","research-forge.93c09204c0":"Kohtalainen molemmissa kustannuksissa","research-forge.93c2975761":"Seuraa hakua","research-forge.93f79d808f":"Heijastaako valittu rajapinnan jäsen ilmoitettua prioriteettia?","research-forge.942587e61e":"Projektilehti","research-forge.9477d7acdd":"Hae kumppanipääsyä","research-forge.94822e9dc6":"Forge, institutionaalinen näkymä","research-forge.94827e8438":"Lue paperit","research-forge.94859cf20a":"Sinetti ja avoin","research-forge.948c81b996":"Useita varmennettuja tapoja eteenpäin","research-forge.94cc86c489":"yksi muutettu askel ja merkki nimeää ohjelman, jota et enää pidä käsissäsi","research-forge.94ed3b0134":"tarkoituksesta valittuun ohjelmaan","research-forge.950dfeeb8b":"Tarkoitus muuttuu koodiksi","research-forge.9550373e8b":"Mitattu","research-forge.95eaeda430":"Kuinka suureksi varmennettu graafialue voi hyödyllisesti kasvaa.","research-forge.9678c4f1e3":"yksi identiteetti ylittää rajan","research-forge.96aff7c058":"Yksi vastaesimerkkisilmukka","research-forge.96b9633285":"Mitä haku voi muuttaa","research-forge.973c3f46d7":"Soveltamisalassa","research-forge.978aa6569a":"Valmistuu aiemmin","research-forge.97c89a4d66":"Toimenpide","research-forge.97ee6e5610":"Ehdota","research-forge.992bc34385":"Puhdas spesifikaatio ei voi hankkia tiedosto- tai verkkopääsyä matkan varrella. Kiinteän leveyden kokonaislukusopimus ei voi hiljaa muuttua rajoittamattomaksi matemaattiseksi kokonaisluvuksi. Mittakaavaa kantava esitys säilyttää mittakaavansa, eikä muistiturvallista luonnosta voi täydentää tarkistamattomalla aliaksella.","research-forge.99508624d6":"Mikään ohjelma ei voi olla","research-forge.996c4a8976":"sisältää ohjelman","research-forge.99dc6bab08":"Kaksi kandidaattia, jotka täyttävät saman esimerkkijoukon ja eroavat syötteessä, jota kukaan ei toimittanut, sekä kolme tapaa, joilla sidosryhmä voi ratkaista sen","research-forge.9a24005705":"Yksi täydellinen haku koon mukaan","research-forge.9a469ce88c":"Konkreettinen","research-forge.9a4ce5f246":"valinta on ilmaistava","research-forge.9ae33a7d0e":"Ominaisuus","research-forge.9b7bd11153":"Varmennettu graafi, joka ylittää kovan rajan Keraan, suunniteltu kahdella eri tavalla, ja molemmat tulokset linkitetty takaisin samaan graafi-identiteettiin","research-forge.9c25db95cc":"Ehdokas A","research-forge.9c86ef6b28":"Tutkii ehdokastoteutuksia sovitun sopimuksen puitteissa","research-forge.9cbe42aaff":"Suunniteltu","research-forge.9cfcf5930d":"Viive, liike, käyttöönoton sopivuus ja todistustaakka ovat ensimmäisen tuloksen koskemattomia.","research-forge.9d68007b07":"Ohjelma","research-forge.9dba232302":"Käyttäytyminen, jota pyydettiin","research-forge.9dc6ec542b":"ei ole sama kuin sen suorittaminen","research-forge.9dd59ab994":"Vertaa","research-forge.9df0f32743":"Rekisterit, rinnakkaisuus, laiterajoitukset, siirrettävyys","research-forge.9e811eeaf8":"Oikeellisuuden jälkeen","research-forge.9ee018232e":"Mikään ei pääse ehdokkaaseen, jota paketti ei sallinut.","research-forge.9f36fa8055":"Säilytä tämä muoto ja löydä puuttuva osa.","research-forge.9f78c690af":"eri syistä","research-forge.9fea6de725":"Formaali","research-forge.9ff7951f81":"Varmennettu merkki avattuna viiteen osaan, esitettynä uudelleen saman ohjelman vieressä sen jälkeen, kun yksi askel muuttui ja niiden välinen linkki katkesi","research-forge.a0a9a568c3":"Ehdokkaat, jotka pysyivät kelvollisina, ja ne, jotka vastaesimerkki päätti","research-forge.a0c9c40551":"ohjelma muuttaa muotoaan","research-forge.a10a7ad63a":"Mitä paketti korjaa","research-forge.a266f0a07d":"Tutki ehdokasytimiä","research-forge.a2e1cc1b2f":"Voi muuttua","research-forge.a2f4a96337":"Kompromissi","research-forge.a32a41c9d1":"ei ohjelmaa, syyn kera","research-forge.a336e6650d":"Kaksi ehdokasta, kaksi rehellistä pysähtymispistettä","research-forge.a3c143732a":"ongelma on korjattu ennen hakua","research-forge.a3c686e711":"Luokka","research-forge.a4508fc8ef":"Semanttinen suhde","research-forge.a48f8c0cf7":"Viisi ohjelmaa, yksi spesifikaatio","research-forge.a4c745386f":"Neljä käytäntöä","research-forge.a57b5d2330":"Haku voi muuttua","research-forge.a6067adc3c":"viive, operaatiot, muisti, rekisterit","research-forge.a618b4be8d":"Kysely","research-forge.a61c938f35":"Haku ehdottaa","research-forge.a723285355":"Mallinnettu","research-forge.a79764b5e5":"Useita oikeita ohjelmia, joista jokainen kantaa omaa todistettaan","research-forge.a7987d27ae":"Luopuu yhdestä uudelleenkirjoituksesta","research-forge.a898f4eb0d":"Se on sama valinta, jonka kuka tahansa tekee reitistä kaupungin halki. Nopein, halvin ja se, jossa on vähemmän muutoksia, ovat kaikki järkeviä. Se, mikä ei ole järkevää, on väittää, että on vain yksi vastaus sanomatta, mitä optimoit.","research-forge.a8b262d32b":"Mallin pyytäminen koodia ja sellaisen saaminen, joka näyttää oikealta, on eri harjoitus. Vastaukselle ei ole mitään, mitä sen pitäisi täyttää, joten ei ole mitään, mitä vastaan se voisi epäonnistua, ja lukijan on tarjottava kaikki arviointi.","research-forge.a8e5c0ccf3":"Graafi, jonka varmennustulos todella nimeää.","research-forge.a91bcce893":"Aina","research-forge.a94848cbdb":"Vain ehdokkaat, jotka läpäisivät portin, pääsevät tähän vaiheeseen.","research-forge.a9d6afeda0":"takaisin ehdottamaan","research-forge.a9f1693ebe":"Jokainen jäsen täyttää sovitun sopimuksen, joten ainoa jäljellä oleva kysymys on, minkä kustannuksen hyväksyt.","research-forge.aa1a2e191d":"ILMAISTU ENSIN","research-forge.aa2b80d828":"Rintama","research-forge.aa62568659":"Sen sanominen, mitä ei tiedetä, on hyödyllisempää kuin aukon täyttäminen jollakin, joka lukee hyvin.","research-forge.aa6708d51a":"Tuettu universaali relaatio todistettiin.","research-forge.aa88ef980e":"Mitkä tuetut ympäristöt voivat suorittaa sen","research-forge.aa9002c223":"Merkki, avattuna","research-forge.aab9ca1bc6":"Luokassa","research-forge.ab89d05c4b":"Sijoitus","research-forge.ab98f5b857":"Kiinteä","research-forge.ab9a4aae0b":"Pienin liike","research-forge.aba86cd010":"Käytäntö valitsee","research-forge.abc0c09f1f":"Kone voi muuttaa, mitkä askeleet tekevät työn, missä järjestyksessä ne tapahtuvat ja mitkä välituotearvot ovat olemassa lainkaan. Kaksi ohjelmaa, jotka eivät jaa mitään näistä, voivat silti tehdä saman työn, ja haku saa suosia kumpaa tahansa.","research-forge.ac30f0abf3":"Jos se muuttaa sitä, mitä ohjelma tuottaa, se ei ole parannus siihen ohjelmaan. Oikeellisuus on se, mikä ansaitsee ehdokkaalle paikan keskustelussa kustannuksista.","research-forge.acc3156c5b":"Suorita linkki","research-forge.ad2cecac38":"Teksti ja rakenne","research-forge.ad44adccc4":"todiste vahvistaa tarkan väitteen","research-forge.ad59e3b102":"Laajin","research-forge.adfc01e921":"Ehdokasta voidaan arvioida vain sellaista ongelmaa vastaan, joka on jo esitetty.","research-forge.adfccdc8de":"Forge: mitä","research-forge.ae2fee1a70":"Rakenna vain tyypiltään oikeita suurempia lausekkeita.","research-forge.aeb1c76446":"Neljä rengasta, yksi julkaisusääntö","research-forge.aebc2854f4":"Numeerinen","research-forge.aeedafb2fe":"epäonnistumisesta tulee pysyvä velvoite","research-forge.af3cc2e010":"ohjelma, ei tavoite","research-forge.af68d81f17":"Käyttäytyminen ja rajoitteet, jotka määrittelivät onnistumisen.","research-forge.af78a00855":"Kuinka suoraan sen käyttäytyminen voidaan tarkistaa","research-forge.afbab5dc80":"ensimmäinen löydetty ehdokas säilyttää paikkansa historiassa ja poistuu rajapinnasta","research-forge.aff55d9c0e":"Raportoi pienin varmennettu ehdokas ja sen raja.","research-forge.b0339e3e63":"Synthesis, Cranelift ja","research-forge.b048046ec8":"Pienimmän viiveen ehdokkaalla voi olla suurempi työskentelyjoukko. Siirrettävin voi olla hitaampi edessäsi olevalla koneella. Yksinkertaisimman todisteen omaava voi luopua aggressiivisesta uudelleenkirjoituksesta. Tasapainoinen polvipiste voidaan ehdottaa, ja ehdotus kirjataan käytännöksi normalisointinsa kanssa.","research-forge.b06be2ecea":"Siksi Forge julkaisee oletukset väitteen vieressä ja siksi arvioinnilla on nimetyt omistajat. Spesifikaatio, malli ja suorituskohde ovat kolme erillistä allekirjoitusta.","research-forge.b0811e470d":"Vaihda","research-forge.b0a205ebad":"Aloita sallituista syötteistä ja vakioista.","research-forge.b0b01215a0":"Ehdokas D","research-forge.b116105199":"Neljä kysymystä ratkaistavaksi","research-forge.b1d348384e":"Useampi kuin yksi paremmuuden laji","research-forge.b23977841c":"Vastaesimerkit","research-forge.b26aa65383":"Mitä sana varmennettu kattaa","research-forge.b2bc0c005f":"Tarkistettu","research-forge.b30077250b":"sitoudu aikaisin tai säilytä vaihtoehdot","research-forge.b307b88c84":"Siirrettävyys","research-forge.b3776d63ad":"Taustajärjestelmät","research-forge.b39a168c1e":"Paketti kirjoitetaan kerran, ja jokainen tämän sivun tulos viittaa versioon, joka sen tuotti.","research-forge.b3c0c45a3e":"Forge pitää erillään rakenteellisen kelpoisuuden, konkreettisen testauksen, rajatun tyhjentävän tarkistuksen, muodollisen todentamisen, riippumattoman tarkistuksen ja suorituslinkityksen. Ehdokas nousee vain, kun seuraavan portaan todisteet ovat olemassa, ja saavutettu porras on osa tulosta, ei koriste sen päällä. Nopea haku voi pitää testattuja ehdokkaita, kun todistetta vielä haetaan. Riippumaton tarkistus on omalla portaallaan, koska se kysyy, onko tarkistin, joka ei tuottanut todistetta, samaa mieltä siitä.","research-forge.b45b598d0c":"Yksi graafi-identiteetti yhdistää spesifikaation, todisteen, suunnitelman ja palanneen tuloksen.","research-forge.b462217ad5":"Yksi syöte osoittaa, että käyttäytyminen on väärin.","research-forge.b4dad06170":"Tekniset tiedot","research-forge.b51ba796f2":"Alkaa","research-forge.b5338782b3":"Ulottuvuudet, joiden mukaan ehdokas luokitellaan, mallinnetaan tai mitataan","research-forge.b568d47f2e":"Syöte","research-forge.b5b0a8f813":"Keskittyneet kerrokset julkisesta tutkimuskysymyksestä toistettavan protokollan ja julkaistun tuloksen kautta suojattuun sisäiseen menetelmään","research-forge.b6272cdaf7":"Forge tallentaa spesifikaation identiteetin, merkityksellisen ehdokassukulaisuuden, vastaesimerkit, käytetyt ekvivalenssirelaatiot, tavoitteiden arvot, varmuuden siirtymät ja valintakäytännön. Tämä ketju selittää, miksi valittu ohjelma on olemassa ja mitkä vaihtoehdot se syrjäytti, ja se riittää, että joku muu voi rekonstruoida väitteen. Toisto ei vaadi jokaisen tutkivan haaran toistamista, vain ne todisteet, joihin väite perustuu.","research-forge.b638127a16":"Rajatusti täydellinen","research-forge.b66b54c1d8":"Ehdokas objektina","research-forge.b6d2f4c9e8":"haku ei voi laajentaa tyyppijärjestelmää","research-forge.b70446abdf":"Vaatimukset voivat olla ristiriidassa. Esimerkkijoukko voi sallia yhteensopimattomia käyttäytymisiä. Pyydetty takuu voi olla sen semantiikan ulkopuolella, jota todentamissopimus edustaa. Haku voi saavuttaa ilmoitetun rajansa ilman johtopäätöstä. Forge raportoi jokaisen näistä erikseen, koska ne vaativat neljä erilaista vastausta ja maksavat neljä erilaista summaa toteuttaa. Ristiriitaiset lauseet sovitetaan yhteen, kilpailevat käyttäytymiset erotetaan lisätodisteilla, keskeneräinen haku laajennetaan ja sopimuksen ulkopuolinen takuu kirjataan sellaiseksi, jota ei voida perustella sellaisena kuin se on esitetty.","research-forge.b71f6e67ce":"Tutki yhtä toteutuspäätöstä","research-forge.b74c664479":"Varmuuden tilat","research-forge.b78c6b0e99":"esimerkkien läpäiseminen ja ehdon täyttyminen eivät ole sama väite","research-forge.b82b9b1043":"muodot yhdistetään tarkoituksella","research-forge.b895ceb6b1":"vastaamatta jättäminen estää väärän luottamuksen","research-forge.b8f5629ab6":"velvoitesarake ei koskaan kutistu iteraatioiden välillä","research-forge.b97a1099a3":"Koneellisesti tarkistettava","research-forge.b9b15e5f94":"Kolme asiakirjakokonaisuutta","research-forge.ba25b214d8":"jokainen pyytää jotakin erilaista","research-forge.ba3fef96ae":"Todiste viidessä osassa","research-forge.babfc32160":"Ainakin yksi käyttäytyminen täyttää kaikki lauseet kerralla.","research-forge.bac127c5b7":"Ei-dominoitu","research-forge.bb11a8e3f8":"Säännöt","research-forge.bb2fe63e5a":"INPUT","research-forge.bb54db510a":"Hyväksy","research-forge.bb9cf14180":"Käytäntö","research-forge.bb9d653f4e":"Haaste","research-forge.bbddd6ecdf":"Mitkä välitason arvot ovat olemassa","research-forge.bc0b16aa7f":"Neljä vahvistettua ohjelmaa järjestetty uudelleen sen mukaan, mitä ominaisuutta pyydät, ja tasapainoinen vaihtoehto näytetään mieltymyksenä kuten muutkin","research-forge.bc6b9b38a3":"Dweven tutkimusmenetelmään kuuluvat vaiheet näkyvät sinetöityinä solmuina, joiden syötteet, tulokset ja identiteetti on julkaistu. Institutionaalinen läpinäkyvyys ja tutkimuksen luottamuksellisuus käsitellään yhtenä ketjun kahtena ominaisuutena, ei vastakohtina.","research-forge.bc7819b34f":"Tuntematon","research-forge.bcd3b8580e":"objekti ei koskaan vaihda luokkaa","research-forge.bce0641417":"Haku","research-forge.bd163f2c2d":"Jokaisella relaatiolla on omat ehtonsa. Algebrallinen uudelleenjärjestely, vahvuuden vähentäminen, vektorisointi, fuusio, asettelun muutos ja liikkeen eliminointi ovat sallittuja vain, jos aritmetiikan, leveyden, pyöristyksen, vaikutuksen ja järjestyksen ehdot täyttyvät tässä kokeessa.","research-forge.bd5d4d39fa":"Sanoo","research-forge.bda89bbff3":"Esimerkin muuttaminen, tyypin laajentaminen, efektin salliminen tai numeerisen toleranssin löysääminen tuottaa erilaisen tutkimusongelman, jolla on erilainen identiteetti. Aiempi ajo jää tietueeseen omassa paketissaan, joten kahta tulosta ei koskaan lueta vastauksiksi samaan kysymykseen.","research-forge.bdfebc22bf":"Tavoitevektori","research-forge.be601df25e":"Tutkimus","research-forge.beb1ed4753":"julkinen näyttö suojatun menetelmän rinnalla","research-forge.bef833878c":"tapauslista ei koskaan lyhene kierrosten välillä","research-forge.bf55421b4a":"Pyydetty käyttäytyminen ei ole sellaista, jota tarkistus kattaa.","research-forge.bff5c4dd05":"Vaadi","research-forge.business.actionCase":"Katso institutionaalinen tapaus","research-forge.business.actionCooperate":"Keskustele tutkimusyhteistyöstä","research-forge.business.banner.body1":"Se todistaa, että yksi reitti on olemassa.","research-forge.business.banner.body2":"Se ei todista, että reitti on nopein, pienin, siirrettävin, helpoin tarkastaa tai parhaiten sopiva instituutiolle, jonka on sitä käytettävä.","research-forge.business.banner.eyebrow":"Suunnitteluavaruuden ongelma","research-forge.business.banner.firstDetail":"Haku on vahvistanut, että sallittu ehdokas on olemassa.","research-forge.business.banner.firstLabel":"Yksi tyydyttävä reitti","research-forge.business.banner.firstStatus":"Voimassa laajuudessa","research-forge.business.banner.footer":"Dweve Forge, vahvistettujen ohjelmien löytäminen","research-forge.business.banner.frontierDetail":"Useita oikeita ohjelmia on jäljellä eri tavoite profiileille.","research-forge.business.banner.frontierLabel":"Ei-dominoituja vaihtoehtoja","research-forge.business.banner.frontierStatus":"Näkyvä","research-forge.business.banner.headline":"Oikeellisuus on alku","research-forge.business.banner.headlineAccent":"ei lopullinen vastaus","research-forge.business.banner.instrument":"Oikeellisuuden jälkeen","research-forge.business.banner.leftLabel":"Ensimmäinen kelvollinen ehdokas","research-forge.business.banner.limitDetail":"Ensimmäinen tulos ei kerro mitään lähellä olevista kompromisseista.","research-forge.business.banner.limitLabel":"Ei universaalia optimia","research-forge.business.banner.limitStatus":"Jatka hakua","research-forge.business.banner.policyDetail":"Instituutio ilmoittaa, mikä kompromissi muokkasi valinnan.","research-forge.business.banner.policyLabel":"Tallennettu valintapolitiikka","research-forge.business.banner.policyStatus":"Tarkistettavissa","research-forge.business.banner.rightLabel":"Päätösrintama","research-forge.business.banner.tag":"Vertaa","research-forge.business.banner.verdict":"Pidä vaihtoehdot, kunnes politiikka on yksiselitteinen.","research-forge.business.banner.verdictLabel":"Päätössääntö","research-forge.business.close.body":"Tuo mukanaan toimialan tarkoitus, formaaliset menetelmät, laitteistomittaukset tai riippumaton arviointi. Forge tarjoaa jaetun tutkimusobjektin ohjelmien löytämisen, todistamisen ja suorittamisen vertailuun.","research-forge.business.close.label":"Dweve Forge, tutkimusyhteistyö","research-forge.business.close.primary":"Keskustele institutionaalisesta yhteistyöstä","research-forge.business.close.secondary":"Tarkasta näyttösopimus","research-forge.business.close.title":"Haasta yksi päätös.","research-forge.business.eyebrow":"Dweve Forge, vahvistettujen ohjelmien löytäminen","research-forge.business.lede":"Dweve Forge on tutkimusprojekti, joka muuttaa esimerkit, rajoitteet ja osittaiset määrittelyt kontrolloiduksi haiksi kelvollisista ohjelmista, vertailee ei-dominoituja vaihtoehtoja ja säilyttää näytön, joka tukee valittua tulosta. Määrittely pysyy kestävänä omaisuutena, kun taas toteutusvalinnat pysyvät avoimina pidempään.","research-forge.business.titleAccent":"kunnes todiste päättää","research-forge.business.titleLead":"Pidä tarkoitus avoimena","research-forge.businessGlyph.ambiguous":"Käyttäytyminen on edelleen monitulkintaista","research-forge.businessGlyph.assurance":"Varmuus nimetty","research-forge.businessGlyph.boundary":"Tutkimusohjelma, ei ohjelmistotarjous","research-forge.businessGlyph.candidateA":"Ehdokas A","research-forge.businessGlyph.candidateB":"Ehdokas B","research-forge.businessGlyph.candidateC":"Ehdokas C","research-forge.businessGlyph.candidateD":"Ehdokas D","research-forge.businessGlyph.counterexample":"Vastaesimerkki löydetty","research-forge.businessGlyph.execution":"Suunnitelma ja tulos linkitetty","research-forge.businessGlyph.fixed":"Kiinteä","research-forge.businessGlyph.kera":"Kera-suoritus","research-forge.businessGlyph.lowLatency":"Pienin viive","research-forge.businessGlyph.lowMovement":"Pienin liike","research-forge.businessGlyph.policy":"Valintakäytäntö","research-forge.businessGlyph.portability":"Laajin siirrettävyys","research-forge.businessGlyph.research":"Tutkimus","research-forge.businessGlyph.selected":"Valittu graafi","research-forge.businessGlyph.simpleProof":"Yksinkertaisin todiste","research-forge.businessGlyph.spec":"Käyttäytyminen, rajat ja varmuuskäytäntö","research-forge.businessGlyph.specFixed":"Määrittely kiinteä","research-forge.businessGlyph.specLabel":"Muuttumaton määrittely","research-forge.businessGlyph.subtitle":"Vaihtoehdot varmistettu ennen suoritusta","research-forge.businessGlyph.title":"Määrittelyn päätösasiakirja","research-forge.businessGlyph.tradeoffs":"Kompromissit näkyvissä","research-forge.businessGlyph.visible":"Näkyvä","research-forge.businessHero.titleMiddle":"parempi","research-forge.businessHero.titleSuffix":"ohjelmisto","research-forge.c00cde6a62":"Rajattu ilmoitettu alue katettiin ilman virheitä.","research-forge.c023fe51a2":"Forge on saatavilla Dweven tutkimuskumppaniohjelman kautta. Testaa rajattuja ohjelmasynteesikysymyksiä ja sovi arviointiehdoista ennen pääsyä. Tulokset ovat tutkimusnäyttöä, eivät tuotelupaus.","research-forge.c040f6e04f":"raja on ilmoitettu tuloksen yhteydessä","research-forge.c0caf528d8":"Monitavoitekustannus","research-forge.c10a6d0899":"Ristiriitaiset vaatimukset, jotka löytyvät toteutuksen aikana, aiheuttavat viivästyksiä ja uudelleentyötä. Epäselvyys, joka löytyy käyttöönoton jälkeen, aiheuttaa epäjohdonmukaista käyttäytymistä, jonka jonkun on sovitettava yhteen. Kummankin löytäminen ennen kuin toteutus on olemassa on halvin paikka löytää se.","research-forge.c12f928235":"Graafin luovutus","research-forge.c144b00ba8":"Viive, suorituskyky ja kriittinen polku","research-forge.c174fa3158":"Rintama ei liiku, kun käytäntö liikkuu","research-forge.c1929c45f3":"Haku voi todistaa, että mikään ilmoitetussa kielessä ei täytä vaatimusta, epäonnistua päättämään kysymyksen teorian ja resurssirajojen puitteissa tai löytää, että toimitetut todisteet sallivat useita yhteensopimattomia käyttäytymisiä.","research-forge.c1fcd5ecff":"Se saattaa olla nopeampi. Se saattaa olla pienempi. Se saattaa olla siistein asia, jonka kukaan oli keksinyt siihen ongelmaan.","research-forge.c20d749a05":"KOMPROMISSIT NÄKYVISSÄ","research-forge.c2184a31d3":"Vaatimus on asia, jota kannattaa säilyttää, ja toteutus on tulos, jonka se tuotti.","research-forge.c297908b88":"Ehdokasta ei voi ylentää kontrollilla, vain todisteilla siitä, että seuraava porras on olemassa.","research-forge.c29cf0b245":"Kompromissit","research-forge.c2bb6fa0c5":"MÄÄRITTELY MUUTTUMATON","research-forge.c2ea17d5fe":"KOLME KENTTÄÄ","research-forge.c33ef52668":"vaatimus ei","research-forge.c3451e6677":"Esimerkit osoittavat odotetun käyttäytymisen tapauksissa, joita ihmiset voivat tarkistaa. Loogiset ehdot määrittelevät, mitä on oltava voimassa näiden tapausten ulkopuolella. Osittainen luonnos säilyttää turvallisuusarkkitehtuurin, rajapinnan tai määrätyn ohjausvirran, kun yksi alue jää avoimeksi löydöille. Yhdessä ne tekevät vaatimuksesta riittävän tarkan, jotta kone voi epäonnistua sitä vastaan, mikä on määrittelyn tarkoitus. Kaikki, mitä haun annetaan päättää puolestasi, kuuluu samaan asiakirjaan.","research-forge.c36594e8f5":"minimaalinen ilmoitetun kielen sisällä","research-forge.c3be8bb127":"Kuinka nopea","research-forge.c3e4b59bd1":"Kuinka paljon dataa ohjelma siirtää","research-forge.c439038abe":"Ei katettu","research-forge.c440d9bf36":"Haku ei voi pelastaa ehdokasta muuttamalla tavoitetta.","research-forge.c4cc9c34bd":"Yksi jalostussilmukka","research-forge.c533db2294":"ennen kuin näet vaihtoehdot","research-forge.c554cb5d95":"Dweve Research, Alankomaat","research-forge.c60a3a3cff":"Hae tuettu alue virheellistä syötettä varten.","research-forge.c648f0b37b":"Neljä syytä, miksi vastaus on ei ohjelmaa","research-forge.c69925079f":"väärin tässä tarkassa tapauksessa","research-forge.c6c9f7cd5c":"Älykäs oikotie","research-forge.c6d954c113":"Mikään ilmoitetussa kielessä ja oletuksissa ei täytä vaatimusta.","research-forge.c74dddd8a0":"Merkinnät, jotka vastaavat myöhempään kysymykseen, kirjoitettiin, kun päätös tehtiin.","research-forge.c76a21c28e":"Siksi tuttu identiteetti voidaan hyväksyä tarkassa kokonaislukualueessa ja kieltää liukulukualueessa samassa graafissa. Ehto pysyy kiinni relaatiossa, joten poiminta ei koskaan peri uudelleenkirjoitusta, johon se ei ollut oikeutettu.","research-forge.c7e00eda62":"väite on minimaalinen tässä kielessä, tällä rajalla","research-forge.c7f2c2e7d4":"Kolme kierrosta","research-forge.c8050fa93f":"Se todistaa, että yksi reitti on olemassa. Se on todellinen tulos, ja se kannattaa saada aikaisin, koska se kertoo, että vaatimus voidaan ylipäätään täyttää ilmoittamassasi kielessä.","research-forge.c82f0b5250":"risteävä pari on kompromissi, ei järjestys","research-forge.c855f0a33c":"Tukematon teoria pysäyttää ehdokkaan testattuun tai ulkopuoliseen laajuuteen, ja tietue kertoo kumman. Muodollinen tulos voi nimetä semanttisen graafin, kun taas tuotettu artefakti odottaa edelleen suorituslinkkiään. Mikään näistä tiloista ei ole pakattu yhteen merkkiin.","research-forge.c932a404bb":"Testaa, haasta ja todista, mitä todisteet tukevat.","research-forge.c93e1581c7":"Jopa pienessä ongelmassa voi olla miljoonia mahdollisia ohjelmia. Forge tutkii operaatiot ja rajat, jotka kokeilu sallii, ja erilaiset hakukäyttäytymiset tutkivat eri osia tästä tilasta. Mikään niistä ei saa tehdä ongelmasta helpompaa: vaatimus on haun ulkopuolella eikä liiku.","research-forge.c940737ecf":"Forge, tutkimusnäkymä","research-forge.c968557f4b":"Varmennettu graafi ja todisteet Keralle","research-forge.c9bf3b001c":"arvokkain tulos","research-forge.c9d8f0eef6":"karsi ennen arviointia","research-forge.ca032b5844":"Mitä se tekee","research-forge.ca046ad257":"Lue tutkimus","research-forge.ca08ca46bd":"Varmuuden tikapuut","research-forge.ca09c54bff":"Ominaisuudet","research-forge.ca6d0e3aaa":"Vaihe","research-forge.ca7b181648":"Kiinteä järjestys","research-forge.cb3242398c":"Useat ohjelmat pysyvät kelvollisina","research-forge.cb3888722e":"Kumpikaan osapuoli ei omaksu toisen väitettä, ja graafi-identiteetti pitää yhteyden tarkkana.","research-forge.cb48a44ca9":"Kolme iteraatiota","research-forge.cb4ae000d8":"ohjelma pysyy avoimena","research-forge.cb5c0156c2":"Kantaa omat rajansa","research-forge.cbb9f1b292":"jokainen sanoo jotakin erilaista","research-forge.cbbe214a22":"Tuo spesifikaatio","research-forge.cc68ebf0f3":"Rintama pitää sisällään ehdokkaat, joita mikään muu ehdokas ei voita kaikilla aktiivisilla tavoitteilla. Jäsenen poistaminen vaatii dominanssirelaation, joka voidaan osoittaa, ei hakuhautaista mieltymystä. Tämä muuttaa teknisen vertailun sellaiseksi, jonka arviointilautakunta voi lukea: jokainen jäsen täyttää saman sopimuksen ja eroaa vain kustannuksiltaan.","research-forge.ccfd13401b":"Kiinnitä ongelma","research-forge.cd27068c9e":"Kestävä omaisuus","research-forge.cd3d5a59f1":"Deterministinen suoritus","research-forge.cdaa0de1dc":"Yhteisen alilausekkeen jako","research-forge.cdbed7e540":"Hakukieli","research-forge.cde215073a":"kaikki neljä täyttävät saman sopimuksen","research-forge.cdf33799d9":"Suorituslinkin tietue","research-forge.ce3b4e045e":"ennen kuin siitä tulee pysyvä","research-forge.ce9e850988":"haku raportoi eroavuuden sen sijaan, että valitsisi niistä yhden","research-forge.cec4b662d3":"Osittainen ohjelma","research-forge.cecae09ffe":"Kone löytää ehdokkaan.","research-forge.cf5ed047cf":"Tavoitteiden arvot ja sijainti rintamalla.","research-forge.cf61965045":"toteutuneet tosiasiat ennen kuin mitään arvioidaan","research-forge.cf88038e56":"Ei lopullinen","research-forge.cf9b77061f":"Avoin","research-forge.consumer.banner.bodyOne":"Ehdokas voi olla nopeampi, pienempi tai helpompi suorittaa.","research-forge.consumer.banner.bodyTwo":"Jos se rikkoo spesifikaation, se ei ole kyseisen ohjelman optimointi.","research-forge.consumer.banner.checkDetail":"Vaadi kokeen nimeämä todisteiden taso.","research-forge.consumer.banner.checkLabel":"Tarkista oikeellisuus","research-forge.consumer.banner.checkStatus":"Portti","research-forge.consumer.banner.compareDetail":"Vain hyväksyttävät ehdokkaat pääsevät kompromissikeskusteluun.","research-forge.consumer.banner.compareLabel":"Vertaa kustannuksia","research-forge.consumer.banner.compareStatus":"Vertaa sitten","research-forge.consumer.banner.eyebrow":"Ei-neuvoteltava raja","research-forge.consumer.banner.findDetail":"Tutki erilaisia sallittuja ohjelmarakenteita.","research-forge.consumer.banner.findLabel":"Löydä ehdokkaita","research-forge.consumer.banner.findStatus":"Haku","research-forge.consumer.banner.footer":"Dweve Forge, todennettu ohjelmien löytäminen","research-forge.consumer.banner.instrumentTag":"Kiinteä","research-forge.consumer.banner.instrumentTitle":"Järjestys","research-forge.consumer.banner.stateDetail":"Kirjoita tulos ja sen rajat ennen hakua.","research-forge.consumer.banner.stateLabel":"Kuvaa käyttäytyminen","research-forge.consumer.banner.stateStatus":"Kiinteä","research-forge.consumer.banner.titleAccent":"jos se muuttaa vastausta","research-forge.consumer.banner.titleLead":"Älykäs oikotie on hyödytön","research-forge.consumer.banner.verdictLabel":"Sääntö","research-forge.consumer.banner.verdictValue":"Oikeellisuus ansaitsee pääsyn kompromissikeskusteluun.","research-forge.consumer.close.body":"Julkinen Forge-materiaali selittää spesifikaation, löydetyt vaihtoehdot, vastaesimerkit ja sen, mitä tutkimus voi todella todistaa. Forge on aktiivista sisäistä tutkimusta, ilman ohjelmistokokeilua, julkista pakettia tai avoimen lähdekoodin latausta.","research-forge.consumer.close.eyebrow":"Dweve Forge, todennettu ohjelmien löytäminen","research-forge.consumer.close.primary":"Tutustu Dweve-tutkimukseen","research-forge.consumer.close.secondary":"Palaa kokeeseen","research-forge.consumer.close.title":"Seuraa hakua tarkoituksesta todisteisiin.","research-forge.consumer.counterexample.body":"Ehdokas voi toimia kaikilla annetuilla esimerkeillä ja silti epäonnistua muualla. Forge voi haastaa sen konkreettisella syötteellä, joka paljastaa eron. Tästä syötteestä tulee vastaesimerkki.","research-forge.consumer.counterexample.eyebrow":"Epäonnistuminen hyödyllisenä todisteena","research-forge.consumer.counterexample.footer":"Monien esimerkkien läpäiseminen ei silti tarkoita, että ohjelma on todistettu oikeaksi.","research-forge.consumer.counterexample.pillFailure":"Konkreettinen epäonnistuminen","research-forge.consumer.counterexample.pillPermanent":"Pysyvä tapaus","research-forge.consumer.counterexample.pillRetry":"Hae uudelleen","research-forge.consumer.counterexample.secondaryLeft":"Epäonnistuva tapaus liittyy pysyvään todistusaineistoon. Seuraavan ehdokkaan on täytettävä sekä aiemmat esimerkit että uusi rajatapaus.","research-forge.consumer.counterexample.secondaryLeftLabel":"Ehdokas muuttuu","research-forge.consumer.counterexample.secondaryRight":"Epäonnistuminen voi myös paljastaa epäselvyyden tai ristiriidan pyynnössä. Tarkoituksen selventäminen luo uuden määrittelyn ja pitää aiemman tuloksen näkyvissä.","research-forge.consumer.counterexample.secondaryRightLabel":"Tarkoitus voi muuttua","research-forge.consumer.counterexample.sideChallengeDetail":"Katso ystävällisiä esimerkkejä pidemmälle.","research-forge.consumer.counterexample.sideChallengeLabel":"Haaste","research-forge.consumer.counterexample.sideFooter":"Epäonnistuminen kaventaa hakua ja selventää ihmisen vaatimusta.","research-forge.consumer.counterexample.sideMetaLabel":"Suunta","research-forge.consumer.counterexample.sideMetaValue":"Tiukempi joka kierros","research-forge.consumer.counterexample.sideProposeDetail":"Löydä ehdokas, joka sopii tunnettuihin tapauksiin.","research-forge.consumer.counterexample.sideProposeLabel":"Ehdota","research-forge.consumer.counterexample.sideRememberDetail":"Lisää konkreettinen epäonnistuminen todistusaineistoon.","research-forge.consumer.counterexample.sideRememberLabel":"Muista","research-forge.consumer.counterexample.sideRetryDetail":"Hae ehdokasta, joka selviää vahvemmasta joukosta.","research-forge.consumer.counterexample.sideRetryLabel":"Yritä uudelleen","research-forge.consumer.counterexample.sideStatus":"Silmukka","research-forge.consumer.counterexample.sideSubtitle":"Miten heikko ehdokas terävöittää kysymystä","research-forge.consumer.counterexample.sideTitle":"Yksi vastaesimerkkisilmukka","research-forge.consumer.counterexample.titleAccent":"väärin juuri tässä tapauksessa","research-forge.consumer.counterexample.titleLead":"Ei yksinkertaisesti väärin","research-forge.consumer.counterexample.visualFooter":"Seuraavan ehdokkaan on onnistuttava paremmin heikentämättä vaatimusta.","research-forge.consumer.counterexample.visualMeta":"Havainnollistava tapaus","research-forge.consumer.counterexample.visualStatus":"Vastaesimerkki löytyi","research-forge.consumer.counterexample.visualSubtitle":"Kolme ehdokasta kohtaavat yhä tiukemman rajan","research-forge.consumer.counterexample.visualTitle":"Epäonnistuva tapaus muuttuu pysyväksi velvoitteeksi","research-forge.consumer.glyph.evidence.counterexample":"Epäonnistuminen tallennettu","research-forge.consumer.glyph.evidence.examples":"Esimerkit läpäisty","research-forge.consumer.glyph.evidence.execution":"Suoritus linkitetty","research-forge.consumer.glyph.evidence.proof":"Suhde todistettu","research-forge.consumer.glyph.footer":"Kone voi palauttaa ei yhtään ohjelmaa.","research-forge.consumer.glyph.header.detail":"Pyyntö pysyy kiinteänä, kun polut muuttuvat.","research-forge.consumer.glyph.header.state":"Tutkimus käynnissä","research-forge.consumer.glyph.header.title":"Ohjelman löytämisen koe","research-forge.consumer.glyph.path.a.label":"Epäonnistuu reunatapauksessa","research-forge.consumer.glyph.path.a.state":"Hylätty","research-forge.consumer.glyph.path.b.label":"Oikein, korkeampi hinta","research-forge.consumer.glyph.path.b.state":"Säilytä","research-forge.consumer.glyph.path.c.label":"Oikein, erilainen kompromissi","research-forge.consumer.glyph.path.c.state":"Todistettu","research-forge.consumer.glyph.request.detail":"Esimerkit, säännöt ja osittainen ohjelma määrittävät hakurajan.","research-forge.consumer.glyph.request.label":"Muunna kaikki tuetut syötteet ja säilytä ilmoitettu raja.","research-forge.consumer.hero.eyebrow":"Dweve Forge, varmennettu ohjelmien löytäminen","research-forge.consumer.hero.lede":"Dweve Forge on tutkimusprojekti, joka etsii ohjelmia, jotka täyttävät esimerkit, rajoitteet tai osittaiset määrittelyt, parantaa kelvollisia ehdokkaita eksplisiittisten tavoitteiden mukaan ja tallentaa todisteet, jotka tukevat kutakin tulosta.","research-forge.consumer.hero.ledgerLabel":"Tutkimusmuistio","research-forge.consumer.hero.ledgerPill":"Aktiivinen","research-forge.consumer.hero.ledgerPurpose":"Tarkoitus","research-forge.consumer.hero.ledgerPurposeValue":"Löydä, vertaile ja tarkista ohjelmia","research-forge.consumer.hero.ledgerStatus":"Tila","research-forge.consumer.hero.ledgerStatusValue":"Aktiivinen sisäinen tutkimus","research-forge.consumer.hero.primary":"Seuraa yhtä löydettyä ohjelmaa","research-forge.consumer.hero.secondary":"Katso, mitä varmennettu tarkoittaa","research-forge.consumer.hero.titleAccent":"Anna koneen etsiä, miten.","research-forge.consumer.hero.titleLead":"Kuvaile, mitä pitäisi tapahtua.","research-forge.consumer.intent.body":"Forge-tutkimus alkaa esimerkeistä, säännöistä tai osittain kirjoitetusta ohjelmasta. Esimerkit näyttävät yksittäisiä tapauksia. Säännöt ilmaisevat, minkä on pysyttävä totena yleisemmin. Osittainen ohjelma säilyttää päätökset, joita ei pitäisi jättää haun tehtäväksi.","research-forge.consumer.intent.eyebrow":"Lähtökohta","research-forge.consumer.intent.footer":"Kun käyttäytyminen on selvää, kone voi etsiä monia mahdollisia tapoja tuottaa se.","research-forge.consumer.intent.pillExamples":"Esimerkit","research-forge.consumer.intent.pillRules":"Säännöt","research-forge.consumer.intent.pillSketch":"Osittainen ohjelma","research-forge.consumer.intent.secondaryLeft":"Kehote voi pyytää koodia ja saada jotain uskottavaa. Se ei yksinään määrittele täydellistä standardia, jota vasten koodi voisi epäonnistua.","research-forge.consumer.intent.secondaryLeftLabel":"Kehote","research-forge.consumer.intent.secondaryRight":"Määrittely kiinnittää käyttäytymisen, rajat ja sallitut valinnat. Sen muuttaminen luo erilaisen tutkimusongelman sen sijaan, että se pelastaisi heikon ehdokkaan.","research-forge.consumer.intent.secondaryRightLabel":"Määrittely","research-forge.consumer.intent.sideExamplesDetail":"Tälle syötteelle tuota tämä tulos.","research-forge.consumer.intent.sideExamplesLabel":"Esimerkit","research-forge.consumer.intent.sideFooter":"Vaatimus tulee ensin; toteutus pysyy avoimena.","research-forge.consumer.intent.sideMetaLabel":"Kiinnitetty haun aikana","research-forge.consumer.intent.sideMetaValue":"Käyttäytyminen ja laajuus","research-forge.consumer.intent.sideRulesDetail":"Säilytä tämä ominaisuus jokaiselle tuetulle syötteelle.","research-forge.consumer.intent.sideRulesLabel":"Säännöt","research-forge.consumer.intent.sideSketchDetail":"Säilytä tämä rakenne ja löydä puuttuva osa.","research-forge.consumer.intent.sideSketchLabel":"Luonnos","research-forge.consumer.intent.sideStatus":"Aloita","research-forge.consumer.intent.sideSubtitle":"Kumpikin tarjoaa erilaisen rajan","research-forge.consumer.intent.sideTitle":"Kolme tapaa ilmaista tarkoitus","research-forge.consumer.intent.titleAccent":"ennen toteutuksen valintaa","research-forge.consumer.intent.titleLead":"Kuvaa käyttäytyminen","research-forge.consumer.intent.visualFooter":"Ohjelma muuttaa muotoaan. Vaatimus ei muutu.","research-forge.consumer.intent.visualMeta":"Havainnollistava polku","research-forge.consumer.intent.visualStatus":"Tutkimus käynnissä","research-forge.consumer.intent.visualSubtitle":"Havainnollistava julkinen näkymä ohjelman löytämisen tutkimuskokeesta","research-forge.consumer.intent.visualTitle":"Yksi vaatimus, useita ehdokaspolkuja","research-forge.consumer.proof.body":"Muodollinen tulos voi todistaa, että ohjelma täyttää ilmoitetun ominaisuuden tuetuille syötteille ja semantiikalle. Se ei todista, että vaatimus oli viisas, täydellinen tai sopiva jokaiseen todelliseen ympäristöön.","research-forge.consumer.proof.eyebrow":"Mitä merkin pitäisi sanoa","research-forge.consumer.proof.footer":"Joskus vahvin rehellinen tulos on, että kone ei pysty tuottamaan ohjelmaa.","research-forge.consumer.proof.pillAssumptions":"Oletukset näkyvissä","research-forge.consumer.proof.pillLimits":"Rajat näkyvissä","research-forge.consumer.proof.pillScoped":"Rajoitettu","research-forge.consumer.proof.secondaryLeft":"Ohjelma, ominaisuus, oletukset ja todisteet pysyvät yhdessä. Jos ohjelma muuttuu, myös todistuksen sitovuus muuttuu.","research-forge.consumer.proof.secondaryLeftLabel":"Väite","research-forge.consumer.proof.secondaryRight":"Forge on aktiivista, keskeneräistä sisäistä tutkimusta. Se ei ole tuote, julkinen synteesipalvelu tai avoimen lähdekoodin lataus.","research-forge.consumer.proof.secondaryRightLabel":"Tutkimuksen raja","research-forge.consumer.proof.sideAssumptionsDetail":"Syötteet ja ympäristö, joita väite koskee.","research-forge.consumer.proof.sideAssumptionsLabel":"Oletukset","research-forge.consumer.proof.sideFooter":"Todiste vahvistaa tarkan väitteen, ei epämääräistä lupausta.","research-forge.consumer.proof.sideLimitsDetail":"Mitä tulos ei osoita.","research-forge.consumer.proof.sideLimitsLabel":"Rajat","research-forge.consumer.proof.sideMetaLabel":"Vahvin rehellinen tila","research-forge.consumer.proof.sideMetaValue":"Nimetty, ei koskaan vihjattu","research-forge.consumer.proof.sideProgramDetail":"Tarkka ehdokas, jota tarkistetaan.","research-forge.consumer.proof.sideProgramLabel":"Ohjelma","research-forge.consumer.proof.sidePropertyDetail":"Käyttäytyminen, jota väitetään.","research-forge.consumer.proof.sidePropertyLabel":"Ominaisuus","research-forge.consumer.proof.sideStatus":"Todiste","research-forge.consumer.proof.sideSubtitle":"Neljä osaa, joiden on pysyttävä yhdessä","research-forge.consumer.proof.sideTitle":"Todistuslause","research-forge.consumer.proof.titleAccent":"ei oikea kaikissa mahdollisissa maailmoissa","research-forge.consumer.proof.titleLead":"Varmennettu näiden sääntöjen mukaan","research-forge.consumer.proof.visualFooter":"Tuntematon, mahdoton, monitulkintainen ja laajuuden ulkopuolella oleva pysyvät kelvollisina tutkimustuloksina.","research-forge.consumer.proof.visualMeta":"Havainnollistava todiste","research-forge.consumer.proof.visualStatus":"Laajuus näkyvissä","research-forge.consumer.proof.visualSubtitle":"Testaus, rajatut tarkistukset, muodollinen todiste ja suorituslinkitys ovat eri tuloksia","research-forge.consumer.proof.visualTitle":"Varmuuden tikapuut pitävät askelmansa erillään","research-forge.consumerHero.titleSuffix":"parempien reittien löytäminen","research-forge.d02603176f":"Universaali","research-forge.d092bf9ea1":"Tutustu tutkimukseen","research-forge.d0f4e7e15e":"graafi pitää ne tarkkoina","research-forge.d105692d52":"Valittu ehdokasgraafi","research-forge.d1a475961a":"Rajoitettu täydellinen haku voi löytää pienimmän lausekkeen kapeasta kielestä. Vastaesimerkkiohjattu tarkennus pyrkii löytämään robusteja rakenteellisia ohjelmia. Rajoiteohjattu haku ratkaisee vaikeat bittitason alueet. Tutkiva haku tavoittaa epätavallisia toteutuksia.","research-forge.d1b06384eb":"Esimerkkejä, sääntöjä tai osittain kirjoitettu ohjelma.","research-forge.d1ed30ebcf":"Kiinteä raja","research-forge.d1f8a8cdec":"Yhdistäminen on vain niin vahva kuin sen oikeuttanut testi.","research-forge.d1f8e5ea93":"Valinta","research-forge.d2089fb287":"Teorian reititys","research-forge.d2316c0df0":"Viisi merkintää","research-forge.d23276442b":"Suunnitteluavaruuden ongelma","research-forge.d23c4c8d4e":"Yksi lause, kolme käyttökelpoista muotoa","research-forge.d255672f1b":"ja tarkentaa pyyntöä","research-forge.d286c609a6":"Määrittelyversio","research-forge.d2b02aa6ad":"tietue sitoo molemmat osapuolet","research-forge.d2bad80400":"Tavallinen pyyntö, joka jakautuu esimerkkeihin, sääntöön ja luonnokseen, sekä vastaus, joka on kirjoitettu suoraan lauseesta ilman mitään, mihin sitä voisi verrata","research-forge.d2d0b16b22":"Poista rakenteelliset kaksoiskappaleet ja havaitut kaksoiskappaleet.","research-forge.d2d43bec88":"Kohdebackendit (arviointilaajuus)","research-forge.d35260a00f":"Kohteet","research-forge.d362822809":"Minne ongelma tuodaan","research-forge.d36f29cacf":"Sovita yhteen","research-forge.d3d6314184":"Jokainen ehdokas on viiva jokaisen akselin yli, ei piste yhdellä.","research-forge.d3dee74f70":"Muodollinen tulos ja erillinen tarkistus siitä, jos saatavilla.","research-forge.d3ec6e1bad":"Semanttinen objekti, jonka Kera vastaanottaa, velvoitteineen.","research-forge.d4621d18f0":"ilmoitetulla rajalla","research-forge.d4a74b503a":"Lue dokumentaatio","research-forge.d4ccefcb5e":"mikään neljästä päätepisteestä ei tuota jotain uskottavaa sen sijaan","research-forge.d50b109f99":"Useat johtopäätökset pysyvät elossa samanaikaisesti, ja lopullinen valinta odottaa objektiivista näyttöä.","research-forge.d51fb63a04":"jokainen tulos viittaa siihen","research-forge.d5383ea7af":"Tallennettu","research-forge.d5dc89d194":"Tuetuissa Kera-sopimuksissa puhdas suoritus toistaa bitit identtisesti ilman siementä, mukaan lukien katetut liukulukuperheen polut. Kun ohjelma tarkoituksella kuluttaa satunnaistilaa, tämä tila on ilmoitettu syöte, ja sen uudelleenkäyttö toistaa koko suorituksen.","research-forge.d5ec4f1c39":"Miksi tämä ohjelma on olemassa","research-forge.d5f412e831":"Kera","research-forge.d659989a95":"Forge etsii kielen tyypitetyistä laskennallisista operaatioista. Syötteet, tulosteet, muodot, numeroperheet, vaikutukset, ominaisuudet, omistajuus ja kohderajoitukset päättävät, mitkä koostumukset ovat sallittuja, joten virheelliset ohjelmat suljetaan pois rakenteellisesti, ei luoda ja korjata arvioinnin jälkeen. Kieli valitaan paketin kanssa ja suljetaan suoritusta varten.","research-forge.d66c44dfdf":"Mahdoton","research-forge.d6a6f2deb1":"Mitä silmukka tekee","research-forge.d71df112ac":"Mitä haku saa tehdä","research-forge.d769ded7e8":"Ehdokas","research-forge.d79c0b71d1":"jonka ensimmäinen oikea ohjelma ei riitä","research-forge.d7e5b39755":"Monitulkintaisuus tulee näkyväksi ennen kuin siitä tulee koodia. Kaksi ehdokasta voi täyttää jokaisen annetun esimerkin ja silti olla eri mieltä syötteestä, jota kukaan ei kirjoittanut. Forge raportoi tämän erimielisyyden ja pyytää toista vaatimusta sen sijaan, että valitsisi yhden käyttäytymisen hiljaa.","research-forge.d7e94eb0fb":"Jokainen organisaatio luottaa pieniin, kriittisiin koodinpätkiin. Forge kysyy, voiko ohjelmasynteesihaku ehdottaa ehdokastoteutuksia ilmoitetun määrittelyn ja mittaussuunnitelman mukaisesti. Vuoden 2025 raportti dokumentoi kokeen, ei tuotantovalmiutta; mikään julkaistu vertailuarvo ei vahvista optimaalista tai nopeinta versiota.","research-forge.d835dab5b4":"tarkka kokonaisluku","research-forge.d90c9bd5a7":"size 2 to 4","research-forge.d9f6acb036":"poiminta tapahtuu viimeiseksi","research-forge.da09c06014":"Forge alkaa käyttäytymissopimuksesta, joka ei liiku. Haku voi ehdottaa tuhansia toteutuksia, ja esimerkit, vastaesimerkit ja muodolliset kyselyt päättävät, mitkä niistä jäävät. Tuloksena on tyypitetty ohjelmaehdokas johdannaisineen, objektiivisine vektoreineen ja ilmoitettuine varmuustasoineen.","research-forge.da7a712c59":"Mitä ohjelman on tehtävä","research-forge.daec3d5393":"Vastaesimerkit, todistukset ja varmuuden siirtymät.","research-forge.db1c784524":"Viite","research-forge.dc131e9db4":"Mitä paketti kiinnittää","research-forge.dc16ac61b4":"yksi akseli ei voi asettaa rintamaa paremmuusjärjestykseen","research-forge.dc5b5aba63":"tiukentaa vaatimusta","research-forge.dcd69b02b3":"Määrittely on johdonmukainen","research-forge.dd00b8f82f":"Nimetty varmuus","research-forge.dd3c9b9d09":"Älä kiinnitä uudelleenkirjoitusjärjestystä","research-forge.dd3e8f4841":"Testit vahvistavat käyttäytymisen niissä tapauksissa, jotka ajettiin. Tyhjentävä rajoitettu tarkistus kattaa ilmoitetun äärellisen alueen. Muodollinen todistus osoittaa koodatun relaation ilmoitettujen oletusten puitteissa. Suorituksen kytkentä sitoo tuloksen graafiin ja suunnitelmaan, joka todella ajettiin. Forge raportoi, minkä näistä ehdokas saavutti, koska päätös, joka tehdään väärän perusteella, on päätös, joka tehdään väärän näytön perusteella. Tikkaissa on viisi askelmaa, ja ehdokas on kerrallaan täsmälleen yhdellä niistä.","research-forge.de135d6b61":"puhdas alue","research-forge.de56d45fd4":"ja mitä se ei saa koskea","research-forge.de9e9925af":"osat, joiden on pysyttävä yhdessä","research-forge.dfda3a3599":"Tarkistettavissa","research-forge.e0078f1adb":"Se ei saa lisätä tiedosto- tai verkkopääsyä, jota ei koskaan sallittu. Se ei saa muuttaa luvun tyyppiä, jota vastaus käyttää. Se ei saa pehmentää vaatimusta, koska lupaava ehdokas melkein täytti sen.","research-forge.e03608577a":"Rajan tarkistus","research-forge.e048b8a355":"Miten takuut yhdistyvät optimoinnin ja suunnittelun kautta.","research-forge.e15760689d":"Tarkenna","research-forge.e192f8980b":"Staattiset mallit arvioivat ehdokkaat ennen kuin mikään ajetaan. Kalibroidut kohdeprofiilit tarkentavat näitä arvioita. Mitatut ajot vahvistavat tai korjaavat ne. Jokainen pysyy merkittynä, joten ennustettua viivettä ei koskaan näytetä mitatun viiveen paikalla.","research-forge.e24f8562eb":"toteutuksesta tulee tulos","research-forge.e29a79fe0c":"Tarkista","research-forge.e2f9cea1dd":"mitä kukin lomake ratkaisee ja mitä ei","research-forge.e31ae17fe2":"Mitä se jättää avoimeksi","research-forge.e340683de2":"Ilmoitetut konkreettiset tapaukset läpäisivät.","research-forge.e341bf4b5e":"Täydellisyys kuuluu ilmoitettuun avaruuteen, ja raportti kertoo, mikä avaruus oli kyseessä.","research-forge.e380a981e1":"Kaksi suunnitteluprosessia","research-forge.e3a3474f57":"Vastaavat lähdeketjut voivat kuvata saman laskennan, ja samannäköinen lähde voi kätkeä erilaisia vaikutuksia. Graafin parissa työskentely tekee rakenteellisesta jakamisesta, ehdokkaiden vertailusta, todistuksen sidonnasta ja alkuperästä tarkkaa sen sijaan, että ne pääteltäisiin tekstistä jokaisen muunnoksen jälkeen.","research-forge.e3aa756f4f":"Kolme näkymää","research-forge.e3f3e0b2d5":"Ei-vastaus, johon on liitetty syy, on päätös, jonka pohjalta organisaatio voi toimia jo tänään.","research-forge.e3f4660921":"Kun haku säilyttää useita oikeita ohjelmia, jonkun on sanottava, mikä kompromissi on tärkeä. Se on päätös, ja Forge kirjaa sen sellaiseksi yhdessä niiden ohjelmien kanssa, joita se ei valinnut, ja syyn, miksi kukin ohitettiin.","research-forge.e40786cd04":"graafi nimetään, ei lähde","research-forge.e43a425d4c":"Yksi epäonnistuva tapaus","research-forge.e4709d4a03":"Jokin ilmoitetussa kielessä täyttää vaatimuksen.","research-forge.e4ec169f06":"Kolme iteraatiota, yksi tarkentuva vaatimus","research-forge.e5a5debd01":"ja ohjaa seuraavan investoinnin","research-forge.e5e6eefa7c":"kukin voi nimetä eri parhaan ehdokkaan","research-forge.e5fa3a8592":"Lisää todiste, joka erottaa kilpailevat käyttäytymiset.","research-forge.e6737991ff":"Ehdokashaku","research-forge.e6c167fd27":"JÄSEN","research-forge.e6f72dbc9e":"Hyvin muodostettu suorituksen kautta, linkitetty ei koskaan sekoitu.","research-forge.e70fb2879c":"joka muuttaa vastauksen","research-forge.e713d42aa6":"AIHE","research-forge.e73791d2ee":"Tietue on suunniteltu luettavaksi sellaiselle, joka ei ollut paikalla. Se nimeää spesifikaatioversion eikä haaraa, ehdokasgraafin eikä tiedostoa, ja dominanssirelaation eikä mieltymystä, joten arvioija voi kysyä, miksi ei ehdokas B, ja saada vastauksen.","research-forge.e78c82b9d8":"Vastaava ohjelma-avaruus","research-forge.e792eed957":"Luettele tyypin ja koon mukaan","research-forge.e79545edad":"Forge voi löytää ohjelman, löytää useita, löytää vastaesimerkin, joka päättää yhden, tai löytää, ettei mikään sallitussa avaruudessa toimi. Mikä tahansa näistä voi tapahtua yhdessä ajossa.","research-forge.e7c6bfda5f":"Esimerkit, rajoitteet ja luonnokset","research-forge.e7eaf3097f":"RATKAISEMATON","research-forge.e83744eb1b":"Yksi graafi Dweve-pinon läpi","research-forge.e89c5a1fe5":"Pyydä demo","research-forge.e8c9206319":"Sinä määrittelet käyttäytymisen","research-forge.e93a01e74c":"Syötteet ja tulosteet","research-forge.e9a46a96e9":"Epäselvä","research-forge.e9c366b4f3":"Vaatimus","research-forge.e9e1bb076f":"Todistus, graafi, suunnitelma ja tuloksen identiteetti on sidottu yhteen.","research-forge.ea2f183ae8":"Epäonnistuminen, joka nimeää tarkan syötteen, opettaa hakua enemmän kuin epäonnistuminen, joka nimeää pistemäärän.","research-forge.ea66222972":"Määrittele käyttäytyminen, ehdokaskieli, tavoitevektori ja tarvitsemasi todiste. Forge voi muuttaa sen hallituksi haku-, vertailu- ja verifiointikokeeksi.","research-forge.ea66d3cd71":"Muodollisesti varmennettu","research-forge.eae192773b":"Valmistaja","research-forge.eb01bf04c9":"Esimerkit","research-forge.eb5d2f4a58":"JIT","research-forge.eb65476556":"kieltäytyminen ennen arviointia ei maksa mitään","research-forge.eb86bd10d0":"Testaa ja kysy muodollisesti selviytyjiltä.","research-forge.ebc93602b0":"Tutkimuskumppaniohjelma","research-forge.ebd1b8a0ed":"Oikeellisuus ja kustannus pysyvät erillään","research-forge.ebf002ed26":"Mitä jokaisen sallitun syötteen on tuotettava tai säilytettävä?","research-forge.ec00edb305":"Mittaustila","research-forge.ec80d62108":"Kolmiakselinen kompromissikuvaaja, jossa dominoidut ehdokkaat on harmaannettu, käytäntövalitsin, joka valitsee yhden ei-dominoidun jäsenen, ja säätö, joka lisää tavoitteen ja piirtää rajan uudelleen","research-forge.ec8c6779f3":"Johdanto","research-forge.eca98aa4dd":"Pysyvä invariantti","research-forge.ecc4622e4a":"Tarkoitus omaisuutena","research-forge.eccd8c22c7":"Tapaukset","research-forge.ed03c68d9c":"Osittain","research-forge.ed625e27bc":"vastaus luetaan tietueesta, ei rakenneta uudelleen siitä","research-forge.ed834ee730":"Kaksi ohjelmaa, jokainen esimerkki, yksi erimielisyys","research-forge.ed868fa2d4":"Mitä yksi vastaus ratkaisee","research-forge.edd8fb596d":"Mitä organisaatio haluaa","research-forge.ee531c138e":"yksi identiteetti koko elinkaaren ajan","research-forge.ee6e0d9004":"mitä Kera palauttaa","research-forge.eebc8ec4db":"Suurin työskentelyjoukko","research-forge.eebfc58277":"Yleensä on useampi kuin yksi hyvä vastaus, ja sen kertominen, minkä valitsit, on osa vastausta.","research-forge.ef4e3a4971":"Mikä voi vielä erota","research-forge.ef73fdd1c8":"Neljä tapausta","research-forge.f04208c0f4":"kolme ulompaa rengasta voidaan tutkia avaamatta sisintä","research-forge.f061352d1c":"Perhe, leveys, pyöristys ja voimassa oleva virhekuori.","research-forge.f0aa98e438":"Ongelma kirjoitetaan ensin ylös","research-forge.f128a0033d":"Forge vertailee kelvollisia ehdokkaita operaatiomäärän, kriittisen polun, muistiliikenteen, työskentelyjoukon, rekisteripaineen, koodikoon, arvioidun energian, siirrettävyyden, todistuksen monimutkaisuuden ja kohdeympäristöön sopivuuden suhteen. Se, mitkä näistä ovat käytössä, kuuluu kokeen pakettiin ja valitaan ennen kuin yhtään ehdokasta mitataan, joten vertailua ei voi virittää tulosten saamisen jälkeen.","research-forge.f1513553a0":"Viisi ehdokasta, jotka toteuttavat saman määrittelyn, kullakin erilainen rakenteellinen siluetti ja tavoitenauha, ja ensimmäisenä löydetty ehdokas on merkitty dominoivaksi","research-forge.f19a088441":"Kenttä ehdokasohjelmien muodoista kolmessa tilassa kiinteän vaatimuskehyksen ympärillä keskellä, joka ei koskaan muuta kokoa","research-forge.f1e6269a35":"Forge-ehdokas on tyypitetty semanttinen graafi. Sen solmut säilyttävät operaatiot, riippuvuudet, arvot, efektit, omistajuuden ja numeeriset velvoitteet, ja haku lisää, poistaa ja yhdistää alueita, kun taas rajapinta pysyy hyvin muodostettuna. Lähdekoodin syntaksi on yksi näkymä tästä oliosta eikä sen identiteetti, minkä vuoksi todistus voi sitoutua siihen ja säilyä kirjoitusasun muutoksesta huolimatta.","research-forge.f21eba9d4c":"Käyttäytyminen, jota siitä väitetään.","research-forge.f2b83c0462":"Tarkastele ehdokkaan tulosta","research-forge.f3263fc33a":"Mitkä syötteet, efektit ja ympäristöt ovat soveltamisalassa?","research-forge.f33b37791c":"yksi kiinteä vaatimus","research-forge.f34faaf18c":"Mikä pysyy kiinteänä ajon aikana","research-forge.f3717fe94b":"Kolme liitosta, yksi tyypitetty kieli","research-forge.f3b8596ff9":"Luonnokset","research-forge.f3e0a2c003":"Operaatio, tilasiirtymä ja jokainen efekti, joka sillä on lupa olla.","research-forge.f44f712120":"menetelmä pysyy tutkimuksena","research-forge.f4b90ff6c9":"enumeratiivinen, CEGIS, GP, MCTS","research-forge.f4c0773264":"Tyypit, efektit, omistajuus ja rajapinnat ovat kelvollisia.","research-forge.f5330c10d4":"Kaksi järjestelmää, yksi olio","research-forge.f539273fc2":"Se läpäisi ilmoitetut konkreettiset tapaukset.","research-forge.f53a569905":"Institutionaalinen ongelma","research-forge.f591672335":"päästä päähän","research-forge.f5def394f5":"Täsmälleen se ehdokas, joka tarkistettiin.","research-forge.f61f151c35":"Kuvaile, mitä tapahtuu","research-forge.f6c1c2d45c":"valittu ehdokas säilyttää politiikan, joka valitsi sen","research-forge.f6fbfa37a0":"Efekti rajattu","research-forge.f7313a2c50":"Useimpia koodia kirjoittavia järjestelmiä pyydetään jatkamaan tekstiä uskottavalla tavalla. Forgea pyydetään täyttämään kuvaus siitä, mitä ohjelman on tehtävä. Se etsii toteutuksia, hylkää ne, jotka epäonnistuvat tietyllä syötteellä, vertailee selviytyneitä ja ilmoittaa tarkalleen, kuinka vahvasti tulos on tarkistettu.","research-forge.f740162265":"Diffattava","research-forge.f793bcd5e3":"Nykyisen politiikan valitsema","research-forge.f7bce3aeb0":"Kolme samanlaisuuden lajia","research-forge.f7fcfa132e":"Varmennettu tarkoittaa aina varmennettu jotakin ilmoitettua vastaan.","research-forge.f85d540ea4":"Ne myös epäonnistuvat eri tavoin. Ehdokas voi läpäistä kaikki annetut esimerkit ja silti rikkoa kvantifioidun ehdon, jota esimerkkien oli tarkoitus havainnollistaa. Tietue nimeää tämän eron, joten testijoukon läpäisemistä ei koskaan myöhemmin lueta todistukseksi.","research-forge.f8ad81d4ed":"Kaksi ohjelmaa voi tehdä täsmälleen saman työn ja silti olla erilaisia käyttää. Toinen valmistuu aiemmin. Toinen siirtää vähemmän dataa. Toinen toimii useammalla koneella. Toista on yksinkertaisesti helpompi tarkistaa. Jonkin näistä parantaminen maksaa yleensä jotain toisessa, joten Forge säilyttää hyvät ehdokkaat sen sijaan, että julistaisi yhden voittajan.","research-forge.f915e592e0":"Riittävän vakiintunut sanottavaksi selvästi: muuttumaton määrittely, yksi tyypitetty ehdokasjoukko, jota ruokkii useita hakukäyttäytymisiä, vastaesimerkit pysyvinä velvoitteina, rintama piilotetun pistemäärän sijaan, nimetyt varmuuden portaat ja graafi-identiteetti, joka säilyy luovutuksessa Keralle.","research-forge.f91cf3695e":"mitä Forgesta lähtee ja mitä Kera palauttaa","research-forge.f942052ae1":"Ensimmäinen oikea ohjelma","research-forge.f95d9699ab":"ei paras määritelmä","research-forge.f9743247fa":"Lue dokumentaatio","research-forge.f97f6d5c34":"Vastauksessa olevan luvun laji","research-forge.f9917655d9":"Varmennetut ja hylätyt ehdokkaat, joilla oli merkitystä.","research-forge.f9d589b5e4":"Tunniste nimeää portaan, ja sen vieressä oleva tietue nimeää soveltamisalan, jonka porras kattaa.","research-forge.fa6b511877":"Ei saa muuttua","research-forge.fa7f633b0c":"Kolme ehdokasasiakirjaa pysäytettynä eri varmuuden portaille, kukin avaa todisteet tunnisteensa takana, ja ylennys näytetään saavuttamattomana ilman todisteita","research-forge.fa8d0afff2":"ja renderöi lähde reunalla","research-forge.fb588797f2":"Ohjelmisto, joka kirjoittaa","research-forge.fba63933d7":"todistaminen vahvistaa käyttäytymisen","research-forge.fbe8d4180f":"Yksi siemen, monta muotoa","research-forge.fc5fed48be":"Hae graafista","research-forge.fc7583ec76":"Muuttumaton määrittely","research-forge.fca77b7e3a":"Yhdellä silmäyksellä","research-forge.fca8a06b17":"Forge tallentaa, minkä samanlaisuuden lajin perusteella kukin yhdistäminen oikeutettiin, joten halpaa deduplikointia haun aikana ei koskaan myöhemmin lueta semanttiseksi tulokseksi.","research-forge.fd2145e1f8":"Järjestys, joka ei koskaan muutu","research-forge.fd9cfb5232":"Useat hakukäyttäytymiset tuottavat yhdenlaisia tyypitettyjä ehdokkaita.","research-forge.fdd0dfedc0":"Neljä asiaa pitävät paikkansa","research-forge.fe03c35158":"Semantiikka","research-forge.fe0863e1b3":"Viisi varmuuden tasoa","research-forge.fe08eef5c7":"Dweven sisäiseen menetelmään kuuluvat vaiheet näkyvät ketjussa suljettuina solmuina. Jokainen julkaisee syötteensä, tulosteensa ja identiteettinsä, joten ketju pysyy yhtenäisenä, vaikka sen sisällä oleva strategia pysyy osana tutkimusta.","research-forge.fe17f86199":"Suunnitteluavaruus","research-forge.fe8b95b52a":"Valittu graafi siirtymässä Forgesta Keraan yhtä kaistaa pitkin, naapurinaan samaa objektia lukevat Dweve-järjestelmät, ja tuloksen identiteetti palaa siihen","research-forge.fec325ce2f":"Siirtää vähemmän dataa","research-forge.fef04acdce":"mikä säilyy kullakin ehdokaskoolla","research-forge.ff52cebd1d":"Äärellinen ilmoitettu alue tyhjennettiin.","research-forge.ff63942f4e":"Ketju, jonka arvioija voi käydä läpi","research-forge.ff75e0dce3":"Epäselvä","research-forge.ffa7344f37":"Julkinen Forge-materiaali selittää spesifikaation, löydetyt vaihtoehdot, vastaesimerkit, jotka päättivät osan niistä, ja sen, mitä tutkimus voi todella todistaa.","research-forge.technicalHero.titleSuffix":"Z3","section_st_a2_split-spec-sheet.7c9a7c0610":"Tiedot","section_st_a6_split-scenario-triad.f75fd3a884":"Ei ajonaikaisia riippuvuuksia","section_st_a6_split-scenario-triad.143ac4ef35":"Yksi binääri","section_st_a6_split-scenario-triad.c61f134d87":"Kolme pintaa","section_st_a6_split-scenario-triad.215475056e":"MISSÄ SE TOIMII","section_st_a6_split-scenario-triad.a794a586f0":"Valmis suljettuun tilaan","section_st_a6_split-scenario-triad.42d52c32ea":"Paikallinen malli","section_st_a6_split-scenario-triad.fe6168e59f":"Ei verkkoyhteyttä","section_st_a6_split-scenario-triad.7d93f83c3e":"Volumeen liitetty koodi","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":"Ei asennusta","section_st_a6_split-scenario-triad.f600b9e709":"Yksi binääri","section_st_a7_split-connector-grid.4e6822a6d4":"Kuuma uudelleenlataus","section_st_a7_split-connector-grid.19e35f0609":"Asetettu TOML-muodossa","section_st_a7_split-connector-grid.d9de50b343":"Kutsujan ohjaama inventaario","section_st_a7_split-connector-grid.8be1bb51b7":"LIITTIMET","section_st_a8_split-scaling-profile.7e0861e04c":"Säädettävissä TOML-tiedostossa","section_st_a8_split-scaling-profile.56d6732417":"Projektikohtainen yläraja","section_st_a8_split-scaling-profile.27a454915b":"Aktiiviset pisteet kuvastavat samanaikaisia agentteja tasoa kohden.","section_st_a8_split-scaling-profile.0ea215ea0d":"TAUSTA","section_st_a8_split-scaling-profile.9fc6fb7e03":"TEAMS","section_st_a8_split-scaling-profile.018d2cd1a5":"RINNAKKAINEN","section_st_a8_split-scaling-profile.16623c5d4a":"KETJUT","section_st_a8_split-scaling-profile.0fb79c96ed":"Yksin → Tiimi → Verkko","section_st_a8_split-scaling-profile.068f6b3ecc":"TIIMIN KOKO","section_st_a8_split-scaling-profile.53ebc572b4":"Verkko","section_st_a8_split-scaling-profile.218887269a":"Tiimi","section_st_a8_split-scaling-profile.9fc93acaa4":"Yksin","section_st_a9_split-time-lost-donut.7c9a7c0610":"Tiedot","section_st_b5_request-lifecycle.47e364232a":"audit #4521","section_st_b5_request-lifecycle.4d3535f846":"patch · session.rs","section_st_b5_request-lifecycle.6c2519cd62":"Työkalun suoritus","section_st_b5_request-lifecycle.f6d1c823ab":"istunto #128 · 14:02","section_st_b5_request-lifecycle.636de0d0c3":"> \"korjaa tämä bugi\"","section_st_b5_request-lifecycle.0208131a7d":"Käyttäjän pyyntö","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":"KÄYTTÖKOODISI","section_st_b8_defense-stack.89b6e2a784":"PUOLUSTUS SYVYYDESSÄ","section_st_c2_dual-loop-flow.9d29573ea6":"työkalu / vaihe","section_st_c2_dual-loop-flow.08ab1ac55a":"suunnitelma / suunnittele uudelleen","section_st_c5_integration-spoke.55d0677ac3":"Kaikki liittimet kulkevat saman auditointi- ja käyttöoikeuskerroksen läpi.","section_st_c5_integration-spoke.c29eb7e425":"Paikallinen agentti","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":"Ulkoiset työkalut","section_st_c5_integration-spoke.70c123381f":"JSON-RPC 2.0","section_st_c5_integration-spoke.dc99d54d99":"Paikallinen","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":"Aloita","toc-rail.f5cbdf6bfb":"Sisällys"}