{"aura-ask-grid.af0854de67":"Aura","aura-business-sides.a0853da24b":"Tehniline leht","aura-business-visuals.40417391c5":"Aura · lahendab","aura-business-visuals.271973aefe":"xMidYMid meet","aura-business-visuals.3e91add48a":"BOARD","aura-showcase.eyebrow":"Dweve platvorm","aura-showcase.subtitle":"Kodeerimisagent ja operaatori abiline. Demomeetrika on illustreeriv.","aura-showcase.pillTools":"25+ tööriista","aura-showcase.pillRunning":"töötab","aura-showcase.pillAnalysing":"analüüsib koodibaasi","aura-showcase.capabilityToolsTitle":"25+ tööriista","aura-showcase.capabilityToolsBody":"Terminal, otsing, lint, test, git ja palju muud.","aura-showcase.capabilityMemoryTitle":"Semantiline mälu","aura-showcase.capabilityMemoryBody":"Mäletab sinu koodibaasi ja meeskonna konteksti.","aura-showcase.capabilityAgentsTitle":"Multi-agent orkestreerimine","aura-showcase.capabilityAgentsBody":"Spetsialiseeritud agendid teevad koostööd eri valdkondade vahel.","aura-showcase.guaranteeAuditTitle":"Auditijälg","aura-showcase.guaranteeAuditBody":"Iga samm salvestatakse ajatemplitega.","aura-showcase.guaranteeGuardrailsTitle":"Turvapiirded","aura-showcase.guaranteeGuardrailsBody":"Poliitikad, kontrollid ja testid käivitatakse alati.","aura-showcase.guaranteeApprovalTitle":"Koodimuudatused kinnitusega","aura-showcase.guaranteeApprovalBody":"Vaata diffe, nõua muudatusi, lõplik heakskiit.","aura-showcase.guaranteeReplayTitle":"Deterministlik taasesitus","aura-showcase.guaranteeReplayBody":"Esita iga seanss biti-biti haaval, kui midagi vajab ülevaatamist.","aura-showcase.workflowUnderstand":"Mõista","aura-showcase.workflowUnderstandCaption":"Loe retry.ts, leidsin timeout-vea","aura-showcase.workflowPlan":"Plaani","aura-showcase.workflowPlanCaption":"Eralda guard + piira uuesti proovimisi","aura-showcase.workflowImplement":"Rakenda","aura-showcase.workflowImplementCaption":"Parandatud retry.ts + types.ts","aura-showcase.workflowTest":"Testi","aura-showcase.workflowTestCaption":"28 testi, 94% katvus","aura-showcase.workflowVerify":"Kontrolli","aura-showcase.workflowVerifyCaption":"Käivitan lint & typecheck...","aura-showcase.workflowAudit":"Auditeeri","aura-showcase.workflowAuditCaption":"Ootan kokkuvõtte kirjutamist","aura-showcase.footer":"Autonoomsed agendid, mis kirjutavad koodi ja peavad arvet","aura-showcase.testsPassing":"läbitud","aura-showcase.testsFailing":"ebaõnnestunud","aura-showcase.modified":"muudetud","aura-showcase.af0854de67":"Aura","aura-showcase.73989d9c59":"Töötab","aura-showcase.f9e94338d0":"Analüüsin koodibaasi","aura-showcase.d7a484140f":"Töövoog","aura-showcase.287fda8114":"Ühtne","aura-showcase.80e13549b4":"Katvus","aura-showcase.b71cc78b34":"Eraldatud isRetryableError","aura-showcase.c37a8a9e2b":"käsitlemaks\n                    võrgu ajalõppe, 5xx vastuseid ja idempotentseid\n                    tingimusi. Puhas abifunktsioon, täielikult unit-testitud.","aura-tech-middles.7fba7d244f":"Kuum tee","aura-tech-middles.1be47ef71c":"Läbiv","aura-tech-middles.92096d78df":"Sissetulev liiklus","aura-tech-middles.8e05a902ed":"Väljuv liiklus","aura-tech-middles.49a66c994d":"Sisseehitatud agendid","aura-tech-middles.a60792e996":"Välimine tsükkel","aura-tech-middles.0dfd4db698":"Sisemine tsükkel","aura-tech-middles.bbd88bff92":"Sissetulev päring","aura-tech-middles.a618b4be8d":"Päring","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":"Plokk","aura-tech-middles.271973aefe":"xMidYMid meet","page-breadcrumb.c766e66518":"Leivajälg","page-toc.7e439c353e":"Sellel lehel","res-forge-action-instrument.089b6f0342":"Käivitatud","res-forge-action-instrument.97c89a4d66":"Toiming","res-forge-ambiguity-board.af13a94202":"on tulemus, ja see on kirja pandud\n          ühena.","res-forge-ambiguity-board.e9a46a96e9":"Mitmetähenduslik","res-forge-ambiguity-board.1ee9387ca8":"Kolm võimalust, kuidas inimene saab vastata. Otsing ei võta neist ühtegi iseenesest.","res-forge-ambiguity-board.f275049b4b":"Kumba sa mõtlesid?","res-forge-ambiguity-board.e1f6a95de4":"tühi jada","res-forge-ambiguity-board.39f54f4f92":"Sisend puudub","res-forge-ambiguity-board.3636a0be7f":"nõustub","res-forge-ambiguity-board.140f86aae5":"sisend","res-forge-ambiguity-board.5a3eea8643":"Iga esitatud näide","res-forge-ambiguity-board.fd50372bde":"Viis esitatud näidet ja kuidas mõlemad kandidaadid neile vastavad","res-forge-ambiguity-board.86c03753f3":"teatada väikseim summa jadas","res-forge-ambiguity-board.e9c366b4f3":"Nõue","res-forge-ambiguity-board.957a3c6b10":"kitsendada valdkonda","res-forge-ambiguity-board.b0567c7519":"lisada tingimus","res-forge-ambiguity-board.7713f29af2":"lisada näide","res-forge-ambiguity-board.5472c41b95":"loeb tühja jada lubatud sisendist väljapoole jäävaks","res-forge-ambiguity-board.2597c3398a":"viga","res-forge-ambiguity-board.9adfc74130":"Kandidaat 2","res-forge-ambiguity-board.72e8350f75":"loeb tühja jada neutraalse summaga","res-forge-ambiguity-board.170d4a4827":"Kandidaat 1","res-forge-assurance-ladder.7607387940":"mida see ei tõenda","res-forge-assurance-ladder.204b9b0c88":"mida see eeldas","res-forge-assurance-ladder.f03d859ccc":"mida kontrolliti","res-forge-assurance-ladder.6b3fa46450":"kaks kandidaati, kaks ausat peatumispunkti, mõlemad esitatud nii nagu nad on","res-forge-assurance-ladder.ed682e5934":"EI JÄRELDU Q-ST","res-forge-assurance-ladder.bdad2aeeb8":"Kindluse astmed","res-forge-assurance-ladder.9a9f9e5d26":"ÜKSKI ASTE EI JÄRELDU","res-forge-assurance-ladder.8259f9a8e2":"formaalsed teooriad väljaspool praegust lepingut","res-forge-assurance-ladder.4f7ee515f7":"esitatud täitmisega seotuna","res-forge-assurance-ladder.0d9389b742":"Igasugune käitumine sihtmärgil, mida kirje ei nimeta.","res-forge-assurance-ladder.246b796ef8":"Et kirjendatud identiteedid on need, mille käitlus tootis.","res-forge-assurance-ladder.69ded617f9":"graafik, plaan, artefakt ja tulemus jagavad ühte kirjet","res-forge-assurance-ladder.5102f2ad33":"identiteet seotud otsast lõpuni","res-forge-assurance-ladder.49d89b6ce4":"TÄITMISEGA SEOTUD","res-forge-assurance-ladder.a1cce5c1a6":"Igasugune omadus, mida leping ei kodeerinud, ja iga väljastatud artefakt.","res-forge-assurance-ladder.a7d0feec4e":"Semantika, mis kodeeriti, ja eeldused, mille pakett kinnitas.","res-forge-assurance-ladder.fce451ff2c":"eeldused on kinnitatud ja loetletud","res-forge-assurance-ladder.c830a6c3be":"tõestatud sümboolne omadus","res-forge-assurance-ladder.da528b9287":"FORMAALSELT TÕENDATUD","res-forge-assurance-ladder.d4c1c6915e":"Käitumine väljaspool piiri, mida kunagi ei otsitud.","res-forge-assurance-ladder.99d127dcae":"Et deklareeritud domeen on see, mille sees tulemust kasutatakse.","res-forge-assurance-ladder.d8a8ea038d":"domeen on koos väitega deklareeritud","res-forge-assurance-ladder.4538c7d77c":"lõplik domeen, kaetud","res-forge-assurance-ladder.dfa6e659c8":"PIIRATULT KONTROLLITUD","res-forge-assurance-ladder.1412ce6f4c":"Käitumine mis tahes sisendil väljaspool kirjendatud hulka.","res-forge-assurance-ladder.a1fde5a17c":"Et deklareeritud juhtumid esindavad käitumist, millest teadlane hoolib.","res-forge-assurance-ladder.df4854fc18":"juhtumid on koos tulemusega kirjendatud","res-forge-assurance-ladder.36cba7e6ad":"konkreetsed juhtumid","res-forge-assurance-ladder.b5516f2280":"TESTITUD","res-forge-assurance-ladder.c0169d217f":"Mitte midagi käitumise kohta mis tahes sisendil.","res-forge-assurance-ladder.da65feb01c":"Ainult see, et pakett nimetas keele, millest kandidaat ehitati.","res-forge-assurance-ladder.6903a5abc9":"deklareeritud keel on suletud","res-forge-assurance-ladder.676886a349":"struktuurne kehtivus","res-forge-assurance-ladder.68d222a4f0":"HÄSTI MOODUSTATUD","res-forge-assurance-ladder.85e08ba525":"Et tõestus, graafik, Kera plaan ja tulemuse identiteet viitavad üksteisele.","res-forge-assurance-ladder.5e68702137":"Toetatud sümboolne omadus, tõestatud kodeeritud semantika üle.","res-forge-assurance-ladder.9c8a0471a5":"Iga väärtus lõplikus deklareeritud domeenis, ilma tõrketa.","res-forge-assurance-ladder.77345a75bc":"Iga konkreetne juhtum, mille pakett deklareeris, käivitatud ja võrreldud.","res-forge-assurance-ladder.8c4857d4f9":"Tüübid, kujud, mõjud, omand ja deklareeritud liides.","res-forge-badge-opened.9a3d81d562":"Märk kuulub täpselt ühele programmile","res-forge-badge-opened.3d1307a7ff":"Tagasi tavalise struktuurimärgise juurde","res-forge-badge-opened.bac2685fbc":"Üks samm muutus","res-forge-badge-opened.aed3b8c6a7":"Kinnitatud","res-forge-badge-opened.bf2bc5e115":"Sama märk pärast ühe sammu muutmist","res-forge-badge-opened.d62d8e0dde":"Võta neist viiest ükskõik milline ära ja see on teistsugune väide.","res-forge-badge-opened.eb38f1807a":"Märk ja viis osa, mida see väidab","res-forge-badge-opened.98987f9e01":"tagasta tulemus","res-forge-badge-opened.613ac981db":"ümarda seda teistmoodi","res-forge-badge-opened.25f1a0d208":"võta lugem","res-forge-badge-opened.16b22f5e52":"Ei ütle midagi kümnendaritmeetika kohta.","res-forge-badge-opened.349be220c7":"Formaalne tulemus ja sellest eraldi kontroll.","res-forge-badge-opened.17b29d4546":"Ainult täisarvud ja mitte midagi programmist väljaspool.","res-forge-badge-opened.7d77d99854":"Kehtib iga deklareeritud vahemikus oleva täisarvu kohta.","res-forge-badge-opened.7112a3df4e":"See täpne programm, samm-sammult.","res-forge-boundary-instrument.e29c5de6a0":"Üks rida on jagatud. Iga muu vastutus asub täpselt ühel pool piiri.","res-forge-boundary-instrument.c6dda4f283":"omandatud","res-forge-boundary-instrument.d18aac96b9":"jagatud","res-forge-boundary-instrument.1ac443dbd4":"mitte omandatud","res-forge-business-glyph.161d1b9d9a":"Üks spetsifikatsioon","res-forge-business-glyph.ab98f5b857":"Fikseeritud","res-forge-business-glyph.82b6d04b0e":"Nõue, mis ei liigu","res-forge-business-glyph.b5bf8067cf":"Kandidaadid","res-forge-business-glyph.7e1d88fa7c":"eesmärgivektor","res-forge-business-glyph.45d74a7136":"domineeritud","res-forge-business-glyph.239aff5852":"piiril","res-forge-business-glyph.f476109f39":"mitmetähenduslik","res-forge-business-glyph.473161067f":"Valikupoliitika","res-forge-business-glyph.7eff74a5a8":"salvestatud, mitte peidetud","res-forge-business-glyph.c3b9a01442":"latentsus","res-forge-business-glyph.b727a735e7":"liikumine","res-forge-business-glyph.1a7d89d441":"sihtmärgi sobivus","res-forge-business-glyph.ef64363d23":"tõend","res-forge-business-glyph.efe124888c":"nimega kinnitus","res-forge-business-glyph.b086634a92":"kompromissid nähtavad","res-forge-business-glyph.ca2bc19088":"Kera täidab","res-forge-business-glyph.f735a5ba22":"Uurimisprogramm, mitte tarkvarapakkumine","res-forge-candidate-fan.b6871fa0fc":"Siluetid on struktuursed, mitte allikad. Lintide pikkused on suhtelised positsioonid ühel\n            piiril.","res-forge-candidate-fan.8641796596":"Kandidaat E on aktiivse eesmärgikomplekti puhul kandidaadist D domineeritud","res-forge-candidate-fan.d769ded7e8":"Kandidaat","res-forge-candidate-fan.45d74a7136":"domineeritud","res-forge-candidate-fan.100ec4462d":"tõendus","res-forge-candidate-fan.1a7d89d441":"sihtsobivus","res-forge-candidate-fan.b727a735e7":"liikumine","res-forge-candidate-fan.714eea0f4c":"aeg","res-forge-candidate-fan.73ea3f356f":"Domineeritud","res-forge-candidate-fan.82f8a46f55":"pesastatud puu","res-forge-candidate-fan.416bfd329b":"Piiril","res-forge-candidate-fan.00c93cd155":"kaherealine jaotus","res-forge-candidate-fan.a70e321a36":"kompaktne plokk","res-forge-candidate-fan.f259a41862":"lai lehvik","res-forge-candidate-fan.8503665914":"Esmalt leitud","res-forge-candidate-fan.e2a3a58a40":"üks pikk ahel","res-forge-choice-board.2f98d2f5be":"Tasakaalustatud on samuti eelistus ja see on sellisena kirja pandud.","res-forge-choice-board.ce025222b1":"Kõik need neli on õiged, seega on tegemist eelistusega, mitte järjestusega.","res-forge-choice-board.48e09e45c5":"Õige","res-forge-choice-board.13f66243ef":"Eelista","res-forge-choice-board.55559438c9":"B loobub kõige vähem ühelgi üksikul mõõdikul.","res-forge-choice-board.03342dbb85":"Tasakaalustatud","res-forge-choice-board.3cd298fe82":"D-l on kõige lühem kontrollitee.","res-forge-choice-board.baf123fc17":"Selgeim","res-forge-choice-board.58adc98abc":"C töötab kõige laiemal toetatud masinate hulgal.","res-forge-choice-board.b2df292ee2":"Kõige laiem","res-forge-choice-board.7987c4ffa8":"B liigutab kõige vähem andmeid ja võtab lõpetamiseks kauem aega.","res-forge-choice-board.4e76f5796f":"Kõige saledam","res-forge-choice-board.cda4a6b217":"A lõpetab kõige varem ja hoiab töötamise ajal kõige rohkem andmeid.","res-forge-choice-board.4cb3bb0fc4":"Kõige kiirem","res-forge-choice-board.ed798211fb":"D loobub ühest ümberkirjutusest, et jääda lihtsaks kontrollida.","res-forge-choice-board.2a318223e9":"Programm D","res-forge-choice-board.69a71f0df6":"C liigutab rohkem andmeid, et sinna jõuda.","res-forge-choice-board.d7782ce200":"Programm C","res-forge-choice-board.018761680d":"B võtab lõpetamiseks kauem aega.","res-forge-choice-board.d2307ff43a":"Programm B","res-forge-choice-board.4c06d2baf8":"A hoiab töötamise ajal kõige rohkem andmeid.","res-forge-choice-board.2be70eef66":"Programm A","res-forge-choice-board.97876b8380":"Kontrollimine","res-forge-choice-board.2940ff1e5f":"Masinad","res-forge-choice-board.89c8a2851d":"Mälu","res-forge-choice-board.6c82e6dd86":"Aeg","res-forge-choice-instrument.e786244260":"Aktsepteeritav kulu","res-forge-choice-instrument.fd9a9f965e":"Suhteline modelleeritud latentsus","res-forge-choice-instrument.24d3e4fdd9":"Tugevus","res-forge-choice-instrument.6853c98a6f":"Liige","res-forge-conflict-board.0e565b0b3e":"Sellel tahvlil ei lõpe ükski rada genereeritud fallback-koodiga. Igaüks neist lõpeb nimega tulemuse ja isikuga, kelle käes on järgmine käik.","res-forge-conflict-board.bb54db510a":"Nõustu","res-forge-conflict-board.09c3f0d154":"mida kontrollileping ei esinda","res-forge-conflict-board.75e6b42fc5":"Väljaspool ulatust","res-forge-conflict-board.281dd83602":"Laienda","res-forge-conflict-board.8a97b9af81":"teooria ja eelarve piirang","res-forge-conflict-board.bc7819b34f":"Teadmata","res-forge-conflict-board.3e0fb17cab":"Täpsusta","res-forge-conflict-board.7835f9c578":"lükkab partii tagasi","res-forge-conflict-board.9522606498":"tagastab neutraalse kogusumma","res-forge-conflict-board.e9a46a96e9":"Mitmetähenduslik","res-forge-conflict-board.d36f29cacf":"Ühilda","res-forge-conflict-board.9a064eb243":"keeles L puudub kandidaat","res-forge-conflict-board.5f20d0f3ac":"Rahuldamatu","res-forge-conflict-board.151864867d":"Ühe nõude kuus klauslit","res-forge-conflict-board.426475873e":"tulemus saabub fikseeritud seinakella akna jooksul","res-forge-conflict-board.6933c35154":"parandav kanne võib kogusummat vähendada","res-forge-conflict-board.4bf7985a78":"tulemus on täpne viimase ühikuni","res-forge-conflict-board.55dca06fb3":"tühi partii võetakse vastu","res-forge-conflict-board.5b3e0d86e8":"kogusumma ei vähene kunagi kannete lisamisel","res-forge-conflict-board.33f78f4681":"iga summa jääb deklareeritud vahemikku","res-forge-consumer-glyph.9154742cfc":"Töö ühe lausega","res-forge-consumer-glyph.b7d5d68aa8":"Hoia iga lugemine ohutus vahemikus","res-forge-consumer-glyph.5a29585e3f":"Katsed","res-forge-consumer-glyph.6bd1f59b85":"kaks ebaõnnestuvad juhtumi puhul","res-forge-consumer-glyph.059c3755e1":"kaks saabuvad","res-forge-consumer-glyph.d3f5d23e46":"üks kannab pitserit","res-forge-consumer-glyph.6bb9173137":"see otsib","res-forge-consumer-glyph.50814a267d":"palju võimalikke programme","res-forge-consumer-glyph.64c675f85c":"see lükkab tagasi","res-forge-consumer-glyph.7403925825":"kõik, mis ühel juhtumil ebaõnnestub","res-forge-consumer-glyph.c1a77ef9ed":"see ütleb, kui tugevalt ta kontrollis","res-forge-consumer-glyph.691b10181f":"ja kus kontroll peatub","res-forge-consumer-glyph.100ec4462d":"tõendid","res-forge-consumer-glyph.88acf54a65":"mõnikord pole programmi","res-forge-consumer-glyph.72dc433046":"Vastus võib olla, et programmi pole","res-forge-cost-vector.140b63310c":"Kandidaat C","res-forge-cost-vector.2437a7ecbd":"Tõendusmaterjal eesmärgi kohta","res-forge-cost-vector.25b7302067":"Võrdlus, mis kandub üle teise eksperimendipaketti.","res-forge-cost-vector.26d24d71f0":"Mäluliiklus","res-forge-cost-vector.3e39972526":"Latiivsus","res-forge-cost-vector.405bdec664":"Mõõtmist pole olemas","res-forge-cost-vector.4b1dda27e1":"Mida vektor ei ole","res-forge-cost-vector.555486354d":"Koodi suurus","res-forge-cost-vector.5d0b1f6647":"Kaks joont ristuvad, mistõttu kumbki kandidaat ei ole iseenesest vastus.","res-forge-cost-vector.66374d941d":"Mõõdetud riistvaral","res-forge-cost-vector.89a596e251":"Tühi lahter on väide: tõestuse keerukust modelleeriti, kuid seda ei mõõdetud kunagi.","res-forge-cost-vector.8a4da1dcc8":"Koht, kus mudeli väljund võib asendada mõõtmist.","res-forge-cost-vector.ab8dd4df08":"Kallim","res-forge-cost-vector.ac46a8c74c":"Tõestuse keerukus","res-forge-cost-vector.ad638eff4a":"Neli eesmärki, kaks kandidaati, üks eksperiment","res-forge-cost-vector.b0b01215a0":"Kandidaat D","res-forge-cost-vector.bf8197e03c":"Suhtelised positsioonid ühes eksperimendis, kõrgem tähendab kallimat.","res-forge-cost-vector.cd05967fea":"Modelleeritud enne ühtegi käivitust","res-forge-cost-vector.ec8e6defbf":"Üks skoor, mille järgi saab kahte kandidaati järjestada.","res-forge-cost-vector.f4cfc474fa":"Odavam","res-forge-counterexample-loop.aca21ce064":"loob uue spetsifikatsiooni identiteedi","res-forge-counterexample-loop.fb8953469c":"LISA EELTINGIMUS","res-forge-counterexample-loop.7e5559029b":"käitamine jätkub sama identiteedi all","res-forge-counterexample-loop.89ad46cbd8":"LISA JUHTUM","res-forge-counterexample-loop.9001aab10f":"KAKS LEGITIIMSET VASTUST TÕRKEL","res-forge-counterexample-loop.8888c622ac":"mida kontrollijalt küsiti","res-forge-counterexample-loop.ec6e54733d":"veerg ei kaota kunagi rida","res-forge-counterexample-loop.2a117d0937":"TÕEND, MIDA JÄRGMINE KANDIDAAT PEAB RAHULDAMA","res-forge-counterexample-loop.da7195483c":"Vali täiustamistsükli iteratsioon","res-forge-counterexample-loop.a0c4d76862":"Kolmas kandidaat rahuldab kõik salvestatud kohustused. Kontrollija ei leia toetatud domeenis ühtegi rikkuvat sisendit ja tagastab tõendi koos selle eeldustega, mis on loetletud selle kõrval.","res-forge-counterexample-loop.f4800df8d1":"välja","res-forge-counterexample-loop.2c3cbd53a7":"mul","res-forge-counterexample-loop.d052634571":"laiendama","res-forge-counterexample-loop.c7e42d43b0":"valvur","res-forge-counterexample-loop.11f6ad8ec5":"x","res-forge-counterexample-loop.fcdd12a167":"AMETLIKULT TÕENDATUD, eeldused loetletud","res-forge-counterexample-loop.02b8a8db00":"kõigi x-ide puhul i32-s, pluss mõlemad registreeritud juhtumid","res-forge-counterexample-loop.30f7f19326":"Teine kandidaat peab rahuldama koos nii näited kui ka ületäitumise juhtumi. See laiendab vahetulemust enne korrutamist ja verifitseerija tagastab teise juhtumi, mida spetsifikatsioon polnud kunagi fikseerinud: tühja sisendi.","res-forge-counterexample-loop.02dc309df7":"VAIDLUSTATUD, vastunäide leitud","res-forge-counterexample-loop.9ab3ad07a9":"kõigi x-ide puhul i32-s, pluss registreeritud juhtum","res-forge-counterexample-loop.47d7508d9a":"Esimene kandidaat rahuldab kolm esitatud näidet. Verifitseerija otsib kogu i32 ulatuses ja leiab ühe konkreetse sisendi, kus skaleeritud korrutis väljub deklareeritud vahemikust.","res-forge-counterexample-loop.ad5fa3b2c6":"kõigi x-ide puhul i32-s","res-forge-counterexample-loop.d1c8b37b24":"x = tühi sisend","res-forge-counterexample-loop.b412089d87":"x = 2147483647, ületäitumine","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":"miski sellel lehel ei liida nelja eesmärki üheks numbriks","res-forge-decision-record.d327f7b3ba":"Pole ühtset järjestusskoori","res-forge-decision-record.6a7eee59c0":"Pole valitud ja miks","res-forge-decision-record.3e7c118949":"Valinud","res-forge-decision-record.1918daaba9":"Valitud liige","res-forge-decision-record.974ff8bb6e":"Eesmärkide kogum","res-forge-decision-record.e38c2194b4":"formaalselt tõendatud","res-forge-decision-record.ea2dfcc9cc":"Kinnituse lävi","res-forge-decision-record.1ccf5d25df":"Spetsifikatsioon","res-forge-decision-record.5a445661ea":"domineeritud","res-forge-decision-record.f950982dd0":"Identne iga poliitika korral","res-forge-decision-record.e6f8a915dc":"Rinne","res-forge-decision-record.473161067f":"Valikupoliitika","res-forge-decision-record.1a7d89d441":"sihtmärgi sobivus","res-forge-decision-record.b3c5533e86":"mälu liikumine","res-forge-decision-record.544852fd7a":"kõige lihtsam tõestus","res-forge-decision-record.6bf0b2c0d8":"pikem auditirada, saades selle asemel laiema sihtmärgi sobivuse","res-forge-decision-record.fdd18306eb":"Liige C","res-forge-decision-record.ee96b43256":"pikem auditirada, saades selle asemel väiksema liikumise","res-forge-decision-record.1e19ce513c":"Liige B","res-forge-decision-record.7ad441b0c0":"pikem auditirada kui valitud liikmel aktiivses kogumis","res-forge-decision-record.d04e27e317":"Liige A","res-forge-decision-record.fec4a6c489":"Reguleeritud programm loeb sama rinnet piki tõendite telge ja võtab liikme D.","res-forge-decision-record.32cba0b9da":"kõige otsesem auditirada","res-forge-decision-record.f88efb9bc7":"Liige D","res-forge-decision-record.47942077ae":"Kõige lihtsam tõestus","res-forge-decision-record.e9647ad29d":"töötab vähemal toetatud sihtmärkide hulgal, vahetades laiuse auditirada vastu","res-forge-decision-record.baede38a31":"töötab vähemal toetatud sihtmärkide hulgal, vahetades laiuse liikumise vastu","res-forge-decision-record.7b357b2d93":"töötab vähemal toetatud sihtmärkide hulgal kui valitud liige","res-forge-decision-record.2a6987fbaf":"Segatud riistvarale jaotatud valdus loeb sama rinnet piki sihtmärgi telge ja võtab liikme C.","res-forge-decision-record.462746df39":"kõige laiem sihtmärgi sobivus","res-forge-decision-record.ad59e3b102":"Kõige laiem","res-forge-decision-record.6235c63244":"liigutab rohkem andmeid ja hoiab selle asemel lühema tuletuse","res-forge-decision-record.709e1b623c":"liigutab rohkem andmeid, jaotatuna rohkematele toetatud sihtmärkidele","res-forge-decision-record.7efb4f14c6":"liigutab rohkem andmeid kui valitud liige aktiivses kogumis","res-forge-decision-record.26929cd71c":"Mälu liiklusest piiratud juurutamine loeb sama rinnet piki liikumise telge ja võtab liikme B.","res-forge-decision-record.993033f0b5":"väikseim mälu liikumine","res-forge-decision-record.4e76f5796f":"Kõige saledam","res-forge-decision-record.344f41f998":"kõrgem modelleeritud latentsus ja selle lühem auditirada ei ole telg","res-forge-decision-record.ed3d6e1e77":"kõrgem modelleeritud latentsus ja selle laiust siin ei tasustata","res-forge-decision-record.0be3560065":"kõrgem modelleeritud latentsus kui valitud liikmel aktiivses kogumis","res-forge-decision-record.b8b9888522":"Ühe sihtmasinaga insenerimeeskond loeb rinnet piki latentsuse telge ja võtab liikme A.","res-forge-decision-record.ffefb7fa98":"väikseim modelleeritud latentsus","res-forge-decision-record.4cb3bb0fc4":"Kõige kiirem","res-forge-equivalence-space.638d0226a9":"ainult suhtelised asukohad, mitte mõõdetud arvud","res-forge-equivalence-space.b727a735e7":"liikumine","res-forge-equivalence-space.e8c39c4d7e":"tehted","res-forge-equivalence-space.4619486033":"eraldatud kuju","res-forge-equivalence-space.f42512d469":"Eraldamise sihtmärk","res-forge-equivalence-space.92149cf8ce":"SEED","res-forge-equivalence-space.217cb1c2eb":"Üks avaldis laiendatud neljaks samaväärse kuju klassiks, kusjuures valitud eraldamise sihtmärgini viiv tee on valgustatud ja üks keelatud serv on tõmmatud, kuid mitte kunagi valgustatud","res-forge-equivalence-space.ccce87f620":"Avaldis laiendatud samaväärsete kujude võrgustikuks, mille servadel on tingimused","res-forge-equivalence-space.27fa456ce7":"Teisaldatavuseks eraldamine võtab selle asemel tugevuse vähendamise ja paigutuse muudatuse. See teeb rohkem tehteid kui algebraline kuju ja jõuab kõige laiema toetatud sihtmärkide hulgani.","res-forge-equivalence-space.27d7e452b1":"(a << 1) + a, pakitud","res-forge-equivalence-space.feba5b9c56":"Liikumiseks eraldamine kannab sama algebralise sammu edasi liitmisklassi. See teeb vähem tehteid kui paigutuse kuju ja hoiab kolmest kõige väiksema mäluliikumise.","res-forge-equivalence-space.37226e169c":"fuse(a + a + a)","res-forge-equivalence-space.a2f4cd4d38":"Latentsuseks eraldamine võtab algebralise kuju ja peatub seal. See teeb kõige vähem tehteid ja liigutab rohkem andmeid kui liidetud kuju ning tal on õigus tõestatud laiuse tingimusele.","res-forge-equivalence-space.4b10d3e274":"3 * a","res-forge-equivalence-space.dfb1d5b6c2":"TEISALDATAVUS","res-forge-equivalence-space.37f756c7d0":"LIIKUMINE","res-forge-equivalence-space.49d6c10ece":"LATENTS","res-forge-equivalence-space.8e43c13f74":"f32 ümberrühmitamine keelatud","res-forge-equivalence-space.13d2c4a154":"i32 laius tõestatud","res-forge-equivalence-space.dcc4e6c574":"PAIGUTUSE KLASS","res-forge-equivalence-space.69688a961b":"LIITMISKLASS","res-forge-equivalence-space.16cbdc05fc":"TUGEVUSE KLASS","res-forge-equivalence-space.dbb0f90765":"ALGEBRALINE KLASS","res-forge-equivalence-space.bc109fb076":"teisaldatav","res-forge-equivalence-space.7aca22de0b":"pakitud","res-forge-equivalence-space.1f08a3216a":"liidetud","res-forge-equivalence-space.b0c659fe95":"voogedastatud","res-forge-equivalence-space.28e1e451f0":"f32 ümberrühmitamine","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":"Edutamine nõuab tõendusmaterjali, mitte kontrolli. See võimalus pole sellel tahvlil üheski olekus saadaval, mis ongi joonistatav reegel.","res-forge-evidence-cards.61c57736e7":"Edenda","res-forge-evidence-cards.7d903d3344":"Edendamise reegel","res-forge-evidence-cards.8fc2a131ae":"üks sõlm muutus ja silt naaseb hästi vormitud olekusse","res-forge-evidence-cards.4acf3ac41d":"Kandidaatide toimikud","res-forge-evidence-cards.65748fb5d3":"sama graafi ujuv piirkond, mida see kodeering ei esinda","res-forge-evidence-cards.d274f5b4e3":"Mis pole tõestatud","res-forge-evidence-cards.8f4f743d7f":"täpne täisarvu semantika ja paketi poolt puhtaks kuulutatud piirkond","res-forge-evidence-cards.7d37b7550c":"Millistel eeldustel","res-forge-evidence-cards.2bae06de12":"iga sisend, mida formaalne teooria suudab väljendada","res-forge-evidence-cards.e700afa7f9":"Millise domeeni üle","res-forge-evidence-cards.8be740fd8c":"kodeeritud seos kogu toetatud domeeni ulatuses","res-forge-evidence-cards.b76e542d96":"Mida kontrolliti","res-forge-evidence-cards.906c590060":"toetatud universaalne seos tõestati esitatud eeldustel","res-forge-evidence-cards.ea66d3cd71":"Formaalselt kontrollitud","res-forge-evidence-cards.b7330133c1":"Kandidaat R","res-forge-evidence-cards.8e950fc545":"mis tahes sisend väljaspool esitatud hulka, sealhulgas kvantifitseeritud tingimus","res-forge-evidence-cards.72d0fc35c6":"paketiga kaasas olev võrdluskäitumine oma domeeni piires","res-forge-evidence-cards.2c8e59076b":"esitatud sisendid, ükshaaval","res-forge-evidence-cards.961d36c1e2":"spetsifikatsiooni kirjutatud konkreetsed juhtumid","res-forge-evidence-cards.593aeb47dc":"deklareeritud konkreetsed juhtumid läbisid ja nende kaugemale ei väidetud midagi","res-forge-evidence-cards.919003799d":"Testitud","res-forge-evidence-cards.24f43cdd11":"Kandidaat Q","res-forge-evidence-cards.8af32eb207":"käitumine sihtprofiilil, mida täitmise link ei nimeta","res-forge-evidence-cards.d7201bf2e3":"numbriline perekond ja mõjud, mida pakett lubas, mõlemad kinnitatud","res-forge-evidence-cards.dfaa1686c4":"deklareeritud sisendivahemik ühel toetatud sihtprofiilil","res-forge-evidence-cards.707e2a56c9":"tõestatud seos, seejärel plaan ja artefakt, mis selle täitmisse viis","res-forge-evidence-cards.f092d6fe39":"graaf, plaan, artefakt ja tulemuse identiteet püsivad seotuna","res-forge-evidence-cards.32d888fecc":"Täitmine seotud","res-forge-evidence-cards.0483882b1c":"Kandidaat P","res-forge-experiment-packet.7a6aad1d4c":"uus eksperiment, eraldi kirje","res-forge-experiment-packet.aad6b5ae20":"PAKETI IDENTITEET","res-forge-experiment-packet.bbcc172a1e":"KUI MÕNI VÄLI MUUTUB","res-forge-experiment-packet.f5ca7850da":"pitseeritud käivitamise alguses","res-forge-experiment-packet.1f7febf95f":"DEKLAREERITUD POLIITIKA","res-forge-experiment-packet.39b2c01e18":"SULETUD KEEL","res-forge-experiment-packet.c2bb6fa0c5":"MUUTUMATU SPETSIFIKATSIOON","res-forge-experiment-packet.4484cb6fa9":"teata tundmatu","res-forge-experiment-packet.feaf4dd4e6":"piir: suurus <= 6","res-forge-experiment-packet.5aa50aebf7":"formaalselt, kus toetatud","res-forge-experiment-packet.31be469709":"POLIITIKA","res-forge-experiment-packet.e1e3e98714":"koodi suurus","res-forge-experiment-packet.b3c5533e86":"mälu liikumine","res-forge-experiment-packet.e64e22b150":"EESMÄRGID","res-forge-experiment-packet.48aef70526":"fikseeritud täielik järjestus","res-forge-experiment-packet.294793bfad":"kahe komplemendi kood, 32-bitine","res-forge-experiment-packet.1e9edfb9ee":"SEMANTIKA","res-forge-experiment-packet.9c5c96b457":"väline mõju puudub","res-forge-experiment-packet.d835dab5b4":"täpne täisarv","res-forge-experiment-packet.2a3ffd9ebb":"KEEL","res-forge-experiment-packet.486c4f6f95":"1 visand, 2 auku","res-forge-experiment-packet.9254dc6ec8":"1 universaalne seos","res-forge-experiment-packet.dbeac903da":"4 näidet","res-forge-experiment-packet.32082e06e3":"SPETSIFIKATSIOON","res-forge-forms-instrument.b050566d50":"üldse mitte","res-forge-forms-instrument.d680340c0b":"osaliselt","res-forge-forms-instrument.ad22e7e15b":"lahendab selle","res-forge-forms-instrument.7cb8793606":"ei lahenda seda","res-forge-forms-instrument.ed5a4b874a":"lahendab selle osaliselt","res-forge-four-silences.a2b701e0b3":"Programmi ei toodeta ja põhjus nimetatakse.","res-forge-four-silences.5faa59d4bc":"Tulemus","res-forge-four-silences.5647cada0f":"Mis seda muudaks","res-forge-four-silences.7661e6591f":"Mis juhtus","res-forge-four-silences.1189b54fc7":"Mida küsiti","res-forge-four-silences.c648f0b37b":"Neli põhjust, miks vastus on programm puudub","res-forge-four-silences.2637ce69f5":"PROGRAMM","res-forge-four-silences.f61fa98a3b":"MUDEL","res-forge-four-silences.cbbef8ce7e":"VÄLJASPOOL","res-forge-four-silences.ce75fc2aec":"ANTUD PIIR","res-forge-four-silences.3a339a1749":"REEGEL 2","res-forge-four-silences.35a7d11e05":"REEGEL 1","res-forge-four-silences.8cc9c3c016":"Tagasi selle juurde, mida väide hõlmab","res-forge-four-silences.971c87e299":"Tooge teenus mudeli sisse või kitsendage väidet.","res-forge-four-silences.88868a0c58":"Osa käitumisest jääb väljapoole piiri, mida kontroll suudab kirjeldada.","res-forge-four-silences.181032c74d":"küsige välise teenuse käest piiri","res-forge-four-silences.407dfebcf1":"Tagasi rohkem ruumiga","res-forge-four-silences.97cd9b5795":"Pikem jooks või teistsugune meetod.","res-forge-four-silences.33af89d7fc":"Otsing jõudis talle antud piirini ja peatus enne küsimuse lahendamist.","res-forge-four-silences.086f7cbb23":"üks reegel iga toetatud sisendi kohta","res-forge-four-silences.74864a1ff8":"Tagasi ühe otsuse jaoks","res-forge-four-silences.7c78667c01":"Esitage veel üks näide.","res-forge-four-silences.fd58916c0c":"Kaks erinevat käitumist nõustuvad kõigil kolmel näitel ja erinevad neljandal sisendil.","res-forge-four-silences.96dee44862":"3 annab 9","res-forge-four-silences.9179befc0c":"2 annab 4","res-forge-four-silences.3d47eae588":"1 annab 1","res-forge-four-silences.35f6e4ab6c":"Tagasi reeglite kirjutaja juurde","res-forge-four-silences.5c332290c5":"Lõdvendage ühte kahest reeglist.","res-forge-four-silences.ece7f203f5":"Kaks reeglit põrkuvad. Negatiivne sisend ei saa korraga mõlemat rahuldada.","res-forge-four-silences.b25d65ea16":"tagasta sisend muutmata","res-forge-four-silences.a4d3a2c877":"tagasta alati positiivne arv","res-forge-four-silences.20cb7eef2c":"Väljaspool mudelit","res-forge-four-silences.c439038abe":"Pole hõlmatud","res-forge-four-silences.04ae6467a0":"Järeldus puudub","res-forge-four-silences.280c5e7fc6":"Kaks lugemist","res-forge-four-silences.3fe459f958":"Miski ei sobi","res-forge-graph-asset.49281c01cf":"assurance returns to well formed","res-forge-graph-asset.670f6bdd9a":"new candidate identity","res-forge-graph-asset.197e419ad3":"NEW GRAPH IDENTITY","res-forge-graph-asset.33dd31d4b3":"CHANGE THE MARKED NODE","res-forge-graph-asset.d7b94d76cf":"ONE NODE, MARKED IN ALL THREE RENDERINGS","res-forge-graph-asset.990742f8b4":"buffers","res-forge-graph-asset.1bdbf6a26d":"clamp, store out","res-forge-graph-asset.e9e90fc64f":"scale, mul, add","res-forge-graph-asset.851967b4a3":"load x, k, lo","res-forge-graph-asset.46599c6b1e":"operator names match the node names","res-forge-graph-asset.59cfc3e2d4":"out = clamp(add(m, lo))","res-forge-graph-asset.c73bb57286":"m = mul(s, k)","res-forge-graph-asset.bdc36b0a67":"s = scale(x)","res-forge-graph-asset.2cef65c1d0":"SAME OBJECT","res-forge-graph-asset.31e8d812fa":"DATAFLOW","res-forge-graph-asset.891bbd450e":"EXPRESSION","res-forge-graph-asset.e7bd56e1ec":"GRAPH","res-forge-graph-asset.30a5d0d91f":"The same semantic graph rendered as a node graph, as an expression and as dataflow,\n              with one node marked in all three renderings and joined by a single rule","res-forge-graph-asset.0be82d1c87":"One semantic graph drawn three ways, as a graph, as an expression and as dataflow, with the clamp node marked in all three","res-forge-graph-asset.da528b9287":"FORMALLY VERIFIED","res-forge-graph-asset.894f6d1562":"GRAPH IDENTITY","res-forge-graph-asset.33daecb09d":"out : i32","res-forge-graph-asset.a4ab4f2116":"clamp","res-forge-graph-asset.58d1bbce29":"add","res-forge-graph-asset.2c3cbd53a7":"mul","res-forge-graph-asset.60020d1b19":"scale","res-forge-graph-asset.cf023c3538":"lo : i32","res-forge-graph-asset.643ea229e1":"k : i32","res-forge-graph-asset.d14f7f166c":"x : i32","res-forge-intent-cards.398168fe2d":"Mille vastu seda kontrollida","res-forge-intent-cards.f2b3a1f895":"Otse lausest kirjutatud","res-forge-intent-cards.8af3e09e73":"Samale lausele otse vastatud","res-forge-intent-cards.ee3c9325a5":"Need võivad ebaõnnestuda, see ongi mõte","res-forge-intent-cards.a014f9c662":"Kuju säilib, lüngad otsitakse üles.","res-forge-intent-cards.d40fae93b9":"Kaks lünka","res-forge-intent-cards.32fd056d3d":"Visand","res-forge-intent-cards.5b6d56b37e":"Kontrollitud igal lugemisel, mida reegel nimetada suudab.","res-forge-intent-cards.43a980aaf8":"lugemisel jääb vastus 0 ja 100 vahele ning ei liigu kunagi rohkem kui ühe\n                  sammu võrra.","res-forge-intent-cards.d8784ae2ea":"Iga","res-forge-intent-cards.57f6dcedb1":"Üks rida","res-forge-intent-cards.78e1790e29":"Reegel","res-forge-intent-cards.85ee9e64bf":"Kontrollitud sinu esitatud lugemiste põhjal.","res-forge-intent-cards.ef73fdd1c8":"Neli juhtumit","res-forge-intent-cards.eb01bf04c9":"Näited","res-forge-intent-cards.77d979bc52":"Kolm vormi, mida lause võib võtta","res-forge-intent-cards.b784f64740":"See jaguneb kolmeks vormiks ja igaüht saab kontrollida.","res-forge-intent-cards.6802fdd79e":"See, mida küsiti","res-forge-intent-cards.650c85708e":"puuduv samm","res-forge-intent-cards.d2fb792999":"piira, kui kaugele see hüpata võib","res-forge-intent-cards.d2fde1a28f":"hoia seda vahemiku sees","res-forge-intent-cards.25f1a0d208":"võta lugemine","res-forge-intent-cards.94407bb3ee":"„Hoia iga lugemine ohutus vahemikus ja ära lase sellel kunagi hüpata.“","res-forge-intent-modes-instrument.fd197e80cc":"Vorm valitakse, mitte liidetakse. Kirje säilitab, milline neist väite kandis.","res-forge-intent-modes-instrument.a6c44a9033":"Kaaned","res-forge-intent-modes-instrument.abd6628786":"Kolm võimalust öelda, mida programm peaks tegema","res-forge-intent-routes.5170330dcc":"Mõlemad rajad jätavad sama nõude. Ainult üks neist on joonise allosas veel avatud.","res-forge-intent-routes.544852fd7a":"kõige lihtsam tõestus","res-forge-intent-routes.3e7c118949":"Valinud","res-forge-intent-routes.9a976fc228":"Valitud","res-forge-intent-routes.239aff5852":"piiril","res-forge-intent-routes.be601df25e":"Uurimine","res-forge-intent-routes.f577430e54":"uus projekt","res-forge-intent-routes.f6ef754e2d":"Lukustuspunkt","res-forge-intent-routes.7b2d03931b":"Tavapärane","res-forge-intent-routes.f18b41890d":"käitumine, piirangud ja riskid, üks kord kirja pandud","res-forge-intent-routes.e9c366b4f3":"Nõue","res-forge-intent-routes.eb9ceb1149":"vastunäide","res-forge-intent-routes.462746df39":"kõige laiem sihtmärgi sobivus","res-forge-intent-routes.120e0af75a":"väikseim liikumine","res-forge-intent-routes.cd3e7bf034":"optimeerimisprojekt","res-forge-intent-routes.92be6abbc0":"üks koodibaas","res-forge-intent-routes.9732c542fc":"rakendus kirjutatud","res-forge-intent-routes.27df60a6a2":"arhitektuur valitud","res-forge-kera-boundary.1ccf5d25df":"Spetsifikatsioon","res-forge-kera-boundary.29a184b65c":"graaf","res-forge-kera-boundary.2fa9505626":"artefakt","res-forge-kera-boundary.37a5301a88":"tulemus","res-forge-kera-boundary.3bd7b119dd":"iga mittedomineeritud liige","res-forge-kera-boundary.4aca16af35":"Kontrollitulemus","res-forge-kera-boundary.61792020d0":"Eesmärkide piirjoon","res-forge-kera-boundary.646e287869":"tõestus ja selle eeldused","res-forge-kera-boundary.6f8f7df48d":"FORGE","res-forge-kera-boundary.700bb94783":"taandused","res-forge-kera-boundary.7bc555991d":"fikseeritud","res-forge-kera-boundary.7c1df38fca":"KONTROLLITUD SEMANTILINE GRAAF","res-forge-kera-boundary.807a40a32f":"osutab tagasi graafile","res-forge-kera-boundary.8b36233e89":"kontrollitud semantiline graaf pluss kohustused","res-forge-kera-boundary.8cd3def21e":"sellel küljel ei ela ühtegi siht-emitterit","res-forge-kera-boundary.970c175475":"eesmärgiprofiil","res-forge-kera-boundary.9c31467d05":"Hoitud sellel pool väravat","res-forge-kera-boundary.a30f1285d5":"TÄITMISLÜLI","res-forge-kera-boundary.b727a735e7":"liikumine","res-forge-kera-boundary.bed97175b0":"plaan","res-forge-kera-boundary.c9ff38c8bb":"kinnitatud uurimisprobleem","res-forge-kera-boundary.cce55e4309":"järjekord","res-forge-kera-boundary.d4f766efab":"Kolm hoidmist, üks objekt läheb üle","res-forge-kera-boundary.efe0c41bcb":"KERA","res-forge-loop-instrument.1e76c7e5b8":"Üks vastunäidete tsükkel, neli etappi","res-forge-pareto-frontier.e2ee360818":"LISA ENERGIAEESMÄRK","res-forge-pareto-frontier.b0e56d1efe":"kõver on fikseeritud, muutub ainult poliitika","res-forge-pareto-frontier.787ca603fd":"piirjoon kuulub eesmärkide hulka","res-forge-pareto-frontier.d0eeccbe8d":"valitud:","res-forge-pareto-frontier.173d916846":"energia","res-forge-pareto-frontier.1a7d89d441":"sihtmärgi sobivus","res-forge-pareto-frontier.b727a735e7":"liikumine","res-forge-pareto-frontier.c3b9a01442":"latentsus","res-forge-pareto-frontier.3404b13cac":"eesmärkide hulk","res-forge-pareto-frontier.e38c2194b4":"formaalselt tõendatud","res-forge-pareto-frontier.bf984aca27":"kindluse lävi","res-forge-pareto-frontier.03d6a194f4":"spetsifikatsioon","res-forge-pareto-frontier.33ca7f61b6":"ENERGIA TOOTLUS","res-forge-pareto-frontier.0acbd1c769":"MÄLU LIIKUMINE","res-forge-pareto-frontier.4b93d5e7ea":"LATENTSUS, PAREMALE KÕRGEM","res-forge-pareto-frontier.43bf415954":"Kompromissigraafik latentsuse ja mäluliikumise vahel, kus sihtmärgi sobivus on märgitud markeri suurusena, neli mittedomineeritud liiget on ühendatud piirjoonega ja seitse domineeritud kandidaati on ühendatud neid domineeriva liikmega","res-forge-pareto-frontier.f2b023979d":"xMinYMid meet","res-forge-pareto-frontier.473161067f":"Valikupoliitika","res-forge-pareto-frontier.7c1e368123":"Tasakaalustatud põlvepoliitika valib ka kandidaadi C, kuid teistsuguse põhjendusega: see on punkt, kus suuremast latentsusest loobumine lakkab ostmast märkimisväärset liikumist. See, et kaks poliitikat valivad sama liikme, on selle piirjoone fakt ja kirje nimetab siiski, milline poliitika selle valis.","res-forge-pareto-frontier.b7aedb3b70":"Lihtsaima tõestuse poliitika valib kandidaadi D. See loobub ühest agressiivsest ümberkirjutusest, nii et selle tõestamiskohustus on neljast väikseim.","res-forge-pareto-frontier.5614e2e73d":"Vähima liikumise poliitika valib kandidaadi B. Sellel on neljast pikim kriitiline tee, mis on hind, mida makstakse kõige vähemate andmete liigutamise eest.","res-forge-pareto-frontier.14826696ec":"Kiireim poliitika valib kandidaadi A. See hoiab piirjoonel suurimat tööhulka ja kirje säilitab selle koos valikuga, mitte ei peida seda skoori sisse.","res-forge-pareto-frontier.c65681bb2d":"sihtmärgi sobivus: kõige laiem","res-forge-pareto-frontier.b097d0ac54":"liikumine: keskmine","res-forge-pareto-frontier.05da02c2f2":"latentsus: keskmine","res-forge-pareto-frontier.d0b64e1eec":"sihtmärgi sobivus: keskmine","res-forge-pareto-frontier.144e5e5e83":"liikumine: väiksem","res-forge-pareto-frontier.aa828b0585":"latentsus: suurem","res-forge-pareto-frontier.e3a088e260":"sihtmärgi sobivus: kitsas","res-forge-pareto-frontier.6fc0d51b39":"liikumine: väikseim","res-forge-pareto-frontier.1b565dbd5d":"latentsus: suurim","res-forge-pareto-frontier.79c0f24c30":"liikumine: suurim","res-forge-pareto-frontier.83504b708a":"latentsus: väikseim","res-forge-pareto-frontier.37671e6ba6":"Tasakaalustatud põlv","res-forge-pareto-frontier.47942077ae":"Lihtsaim tõestus","res-forge-pareto-frontier.8703111807":"Kõige laiem sihtmärk","res-forge-pareto-frontier.0b2147fd0a":"Vähim liikumine","res-forge-pareto-frontier.4cb3bb0fc4":"Kiireim","res-forge-pareto-frontier.7e6396c2ce":"Kõige laiema sihtmärgi poliitika valib kandidaadi C. See töötab kõige laiemal toetatud sihtmärkide hulgal ja asub mõlemal teljel kahe äärmuse vahel.","res-forge-programme-boundary.97af50dd3d":"Värav ületab kolm avaldatud ringi ja peatub tuuma piiril. Väliseid kolme\n          saab uurida ilma kõige sisemist avamata.","res-forge-programme-boundary.9ba1f67469":"Uurimisprogramm, mitte tarkvarapakkumine","res-forge-programme-boundary.f72e361ba7":"Avaldamiskontroll","res-forge-programme-boundary.108e9b7f90":"hoitud uurimismeetodina","res-forge-programme-boundary.88306943fe":"Meetod","res-forge-programme-boundary.68836c550e":"Tuum","res-forge-programme-boundary.175267da12":"teooria suunamine","res-forge-programme-boundary.15e58bec8d":"eelarve eraldamine","res-forge-programme-boundary.b32f31d61d":"piiripositsioon","res-forge-programme-boundary.6f3c47977c":"piiritletud mõõtmine","res-forge-programme-boundary.ff7fc62f3f":"kindlustusseisund","res-forge-programme-boundary.500aadccf6":"valitud kandidaat","res-forge-programme-boundary.5faa59d4bc":"Tulemus","res-forge-programme-boundary.6840659e94":"tundmatu käsitlemine","res-forge-programme-boundary.3404b13cac":"eesmärgikomplekt","res-forge-programme-boundary.78a3386c55":"ressursipiirang","res-forge-programme-boundary.90f54b8f1b":"lubatud keel","res-forge-programme-boundary.c445f7aab5":"spetsifikatsioonikogum","res-forge-programme-boundary.1ed77c3f7f":"Protokoll","res-forge-programme-boundary.aba4559466":"nimetatud olemasolev tehnika","res-forge-programme-boundary.0c447c79ec":"uurimisküsimus","res-forge-programme-boundary.002ff59811":"Küsimus","res-forge-programme-instrument.a725020675":"Olek","res-forge-programme-instrument.dc4e08a408":"Nõue","res-forge-proof-parts-instrument.ba3fef96ae":"Tõestus viies osas","res-forge-provenance-chain.040c236a24":"üheksast sõlmest neli, ja nende hulgas pole ühtegi pitseeritud sammu","res-forge-provenance-chain.0ca6a997b6":"MIDA REPLAY PEAB TAASESITAMA","res-forge-provenance-chain.7c0a292070":"BRÄNDIPUNKT TÄHISTAB SÕLME, MILLEST REPLAY-RADA PEAB LÄBIMA","res-forge-provenance-chain.763ad25abd":"pitser r:1c62e08","res-forge-provenance-chain.da528b9287":"FORMAALSELT TÕESTATUD","res-forge-provenance-chain.9106ca2738":"VALITUD","res-forge-provenance-chain.416eb4fbb0":"piiriala","res-forge-provenance-chain.8e016346a6":"EKVIVALENTSIKLASS","res-forge-provenance-chain.97d9eb838e":"cx 2","res-forge-provenance-chain.21fedfd21e":"kandidaat 2","res-forge-provenance-chain.2ce3ff82d2":"välja: kandidaat 2","res-forge-provenance-chain.656b15a358":"sisse: kandidaat 1 pluss cx 1","res-forge-provenance-chain.a65edb573d":"TEADUSETAPP","res-forge-provenance-chain.b0b7ba4666":"PRIVAATNE","res-forge-provenance-chain.6495ecf841":"cx 1","res-forge-provenance-chain.7312546346":"kandidaat 1","res-forge-provenance-chain.32082e06e3":"SPETSIFIKATSIOON","res-forge-provenance-chain.4ee56d08c0":"Vasakult paremale tuletusgraaf: spetsifikatsioon, kaks kandidaati, kaks vastunäidet,\n              üks pitseeritud sisemine samm, ekvivalentsiklass, piiriala ja valitud tõestatud\n              tulemus","res-forge-provenance-chain.e259f512bc":"Tuletusgraaf spetsifikatsioonist valitud tõestatud kandidaadini, kus üks sisemine samm on pitseeritud, kuid ühendatud","res-forge-provenance-chain.191f8b1087":"TÄITMISSIDE","res-forge-provenance-chain.88be68d35d":"TÕESTAMISTULEMUS","res-forge-provenance-chain.bdd7fdaa13":"KANDIDAAT 2","res-forge-provenance-chain.608c5b40ac":"SPETSIFIKATSIOON v1","res-forge-record-timeline.0794c4ea35":"Otsus tehtud","res-forge-record-timeline.0f9c9e32f9":"Versioon, mitte kunagi haru nimi","res-forge-record-timeline.314d8e79c0":"Miks ei valitud kandidaati B?","res-forge-record-timeline.39ab49c337":"Täpne ebaõnnestunud sisend, säilitatud hea pärast","res-forge-record-timeline.4868056615":"Sellel real ei ole midagi taastatud kinnitusteatest.","res-forge-record-timeline.4bd9342a8a":"Kolm kirjet vastavad sellele ja ühtegi neist ei pea rekonstrueerima.","res-forge-record-timeline.59d432b5cb":"Alternatiive võrreldud","res-forge-record-timeline.6546ec1158":"Hiljem saabub ülevaataja","res-forge-record-timeline.6833948a23":"Kirjutatud õigel ajal","res-forge-record-timeline.7d1e2e97e8":"Nõue esitatud","res-forge-record-timeline.90726e413a":"Vastab küsimusele","res-forge-record-timeline.aaddcdd4a5":"Uurimismeetod, pitseeritud","res-forge-record-timeline.ccf3d548fe":"Tagasi loetud","res-forge-record-timeline.de805f67e3":"Viis kandidaati, üks dominantsuhe","res-forge-record-timeline.e4a8371aea":"Kirje, loetud vasakult paremale","res-forge-record-timeline.e8412cdd3e":"Poliitika ja selle taga olev autoriteet","res-forge-record-timeline.eeb026e98f":"Vastunäide kirja pandud","res-forge-record-timeline.f4452aa131":"Aste ja selle astme ulatus","res-forge-record-timeline.f65fb0cd45":"Kindlustunne saavutatud","res-forge-search-field.f6d08e6875":"Suhtelised pikkused, mitte arvud","res-forge-search-field.e9fd9a1eaa":"Mis on väljal","res-forge-search-field.fbd8250bed":"UNCHANGED FOR THE WHOLE RUN","res-forge-search-field.6a38722b12":"NÕUE","res-forge-search-field.dbd3e24a6c":"Väljakandidaatprogrammide kujudega kolmes olekus ümber ühe fikseeritud nõuderaami keskel","res-forge-search-field.0c596f1034":"xMidYMid slice","res-forge-search-field.7be0fdc4e0":"Ehitatud, siis tabatud","res-forge-search-field.9545c5f30a":"Ebaõnnestus juhtumi puhul","res-forge-search-field.e247bbc42c":"Pole üldse ehitatud","res-forge-search-field.3d7da15c51":"Tüübi poolt keelatud","res-forge-search-field.70c98ed3c6":"Lubatud kontrollida","res-forge-search-field.35633f30dd":"Sobib reeglitega","res-forge-search-field.50c026300b":"Lubatud","res-forge-silence-instrument.3bc40f4b2a":"Neli tulemust, mis tulevad tagasi ilma programmita","res-forge-size-lattice.a82ce62110":"Laiem keel, uus eksperiment","res-forge-size-lattice.74ed41aa02":"Minimaalne keele L piires, suurusel 5 või vähem","res-forge-size-lattice.4ca63f9c2e":"Otsimata, väitmata","res-forge-size-lattice.b79d0fac18":"Deklareeritud piir","res-forge-size-lattice.5e265fa4aa":"Esmalt kinnitatud","res-forge-size-lattice.92664d7dff":"tähelepanek, mitte tõestus","res-forge-size-lattice.950b23b925":"kahanenud täheldatud duplikaadina","res-forge-size-lattice.a615e7ad1a":"tüübi poolt tagasi lükatud, enne hindamist","res-forge-size-lattice.6f389bc568":"lubatud","res-forge-specification-desk.65d9989d71":"TÕENDUSVORMID EI OLE VAHETATAVAD","res-forge-specification-desk.166b5a63b2":"läbib kõik neli näidet","res-forge-specification-desk.26a9ba5602":"x = -9","res-forge-specification-desk.5099050f90":"JUHTUM, MIS NEED ERISTAB","res-forge-specification-desk.561f36ce2f":"käivitatav vastus, oma piirangutega","res-forge-specification-desk.ca24d384c1":"oraakli domeen: ainult 0 kuni 100","res-forge-specification-desk.3cee30a3ad":"VIIDE","res-forge-specification-desk.0d99250013":"struktuur fikseeritud, kaks tüpiseeritud auku avatud","res-forge-specification-desk.c1dc5611bb":"tagasta clamp(t,","res-forge-specification-desk.2e5baed7cb":"olgu t =","res-forge-specification-desk.b3274ca07a":"olgu s = scale(x)","res-forge-specification-desk.ebdeb573df":"VISAND","res-forge-specification-desk.c597bbdbc1":"iga sisend, mida teooria suudab väljendada","res-forge-specification-desk.15ac2f23db":"kõigi x-ide puhul toetatud domeenis:","res-forge-specification-desk.61ed10966f":"PIIRANGUD","res-forge-specification-desk.0ec3e255af":"neli juhtumit, täpselt kontrollitud","res-forge-specification-desk.9659699670":"NÄITED","res-forge-specification-desk.191f4bd034":"klambri skaleeritud väärtus deklareeritud vahemikku","res-forge-specification-desk.4ad49a4ec4":"ÜKS TEISENDUS","res-forge-specification-desk.d9b48caf78":"rikub monotoonsust väljaspool oraakli domeeni","res-forge-stack-path.4d5fa1b006":"Iga süsteem loeb sama objekti, mitte selle koopiat, mis hoiab spetsifikatsiooni, tõestuse, plaani ja tulemuse ühel identiteedil.","res-forge-stack-path.86506efb99":"tulemuse identiteet naaseb graafi identiteedi juurde, kust see alguse sai","res-forge-stack-path.c83a5945cb":"kus programm hoiab tõestatud olekut","res-forge-stack-path.55561848ab":"Aion","res-forge-stack-path.17ed2b5e88":"kus füüsilise süsteemi mudel on osa spetsifikatsioonist","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 identiteet","res-forge-stack-path.8e246a1e8d":"Forge plaadil ei ilmu ühtegi sihtemitterit.","res-forge-technical-glyph.be601df25e":"Uurimine","res-forge-technical-glyph.91a9d5d08f":"Spetsifikatsioon on muutumatu","res-forge-technical-glyph.c2237a2d15":"Katsepakett","res-forge-technical-glyph.03d6a194f4":"spetsifikatsioon","res-forge-technical-glyph.e11523c5ff":"keel","res-forge-technical-glyph.7b7f9366a3":"eesmärgid","res-forge-technical-glyph.f3753f1b6b":"kindlus","res-forge-technical-glyph.9d78bc179c":"tüpiseeritud graafipiirkond","res-forge-technical-glyph.2b90fe2fea":"aeg, liikumine, suurus","res-forge-technical-glyph.a8a172a738":"vaidlustatud","res-forge-technical-glyph.e1d96de67b":"Kandidaadipõhi","res-forge-technical-glyph.6f389bc568":"vastu võetud","res-forge-technical-glyph.a503bc1da2":"tagasi lükatud","res-forge-technical-glyph.880949479a":"testitud","res-forge-technical-glyph.ec734b6515":"kinnitatud","res-forge-technical-glyph.61792020d0":"Eesmärkide piir","res-forge-technical-glyph.096280facb":"üks valitud","res-forge-technical-glyph.9985d73a38":"Kindluse redel","res-forge-technical-glyph.83ced341c8":"hästi vormistatud","res-forge-technical-glyph.e38c2194b4":"formaalselt tõestatud","res-forge-technical-glyph.275ed0c2c7":"täitmisega seotud","res-forge-technical-glyph.49794a5e29":"Valitud kandidaat","res-forge-technical-glyph.9e955c5620":"vastunäited säilitatud","res-forge-technical-glyph.74ef6c0061":"Üleandmine Kerale","res-forge-technical-glyph.bed97175b0":"plaan","res-forge-technical-glyph.37a5301a88":"tulemus","res-forge-technical-glyph.96a6bf1d97":"kinnitatud graaf","res-forge-technical-glyph.b8d8aaff0a":"tõendusmaterjal lisatud","res-forge-technical-glyph.100ec4462d":"tõendusmaterjal","res-forge-technical-glyph.416eb4fbb0":"piir","res-forge-technical-glyph.dd4fb84f32":"teadmata on tulemus","res-forge-technical-glyph.3137db7c8b":"Teadmata, rahuldamatu ja mitmetähenduslik on tulemused","res-forge-technical-glyph.d5f412e831":"Kera","res-forge-technical-glyph.00f6d27f5f":"DWEVE FORGE","res-forge-three-tries.ca6f569d32":"Vasakpoolselt loendilt ei eemaldata kunagi midagi","res-forge-three-tries.48fce8a80b":"Kolm katset sama probleemi kallal","res-forge-three-tries.8805376577":"Voor 3 kannab edasi kõike, mida kaks esimest vooru leidsid, ja veel ühe juhu.","res-forge-three-tries.da17ea9bb5":"Juhtumite loend voorude kaupa","res-forge-three-tries.8cc87a2190":"midagi lisada pole","res-forge-three-tries.36d5623704":"ja seejärel tõestas","res-forge-three-tries.0f0b41cfe8":"Läbis kõik juhtumid","res-forge-three-tries.1e35a52de1":"Katse 3","res-forge-three-tries.3b26ea5e3d":"tühi loend","res-forge-three-tries.b8575badd2":"tühjal loendil","res-forge-three-tries.09fef5d8d9":"Ebaõnnestus","res-forge-three-tries.969a17cecc":"Katse 2","res-forge-three-tries.15d3c90fb9":"suurim võimalik arv","res-forge-three-tries.f88b9a4765":"suurimal võimalikul arvul","res-forge-three-tries.ff31d219ef":"Katse 1","res-forge-three-tries.f65e38d46b":"ühe elemendiga loend","res-forge-three-tries.e8741ca2e3":"loend, mis on juba järjestatud","res-forge-three-tries.9450ac4e17":"lühike loend","res-forge-three-tries.4d944a9d7e":"Voor 3","res-forge-three-tries.fa2b87ffe2":"Voor 2","res-forge-three-tries.f7648d3834":"Voor 1","res-forge-type-sockets.13fff86afe":"Kaks toimingut, üks liitmine","res-forge-type-sockets.2251b5f821":"Piiramatud täisarvud","res-forge-type-sockets.338ce27565":"Kolm kompositsiooni pakutud ühele tüpiseeritud keelele","res-forge-type-sockets.3d7da15c51":"Tüübi poolt keelatud","res-forge-type-sockets.50c026300b":"Lubatud","res-forge-type-sockets.5e5da2cd3c":"Võrguühendus","res-forge-type-sockets.681bcaf5e4":"Keeldumine sellel tahvlil ei maksa midagi, sest sellel pole veel midagi hinnatud.","res-forge-type-sockets.7303a0d112":"Võimekuse poolt keelatud","res-forge-type-sockets.73841deb9d":"Selle käituse jaoks suletud","res-forge-type-sockets.76123e0c4c":"Teine toiming vajab võimekust, mida pakett ei andnud, seega on see otsinguruumist väljas.","res-forge-type-sockets.93c6a1f183":"Sokkel","res-forge-type-sockets.a1369155ac":"Failiühendus","res-forge-type-sockets.b4ae90c7f4":"Need kaks soklit ei kohtu, seega ei koostata sellest paarist kunagi kandidaati.","res-forge-type-sockets.b957ab83e5":"Väljundtüüp vastab sisendtüübile, seega kandidaat koostatakse ja seda saab hinnata.","res-forge-type-sockets.c7303935a3":"Kontrollimata aliasing","res-forge-type-sockets.d3f0610632":"Tulemus","res-forge-type-sockets.dbe18d2e48":"Keel valitakse koos paketiga ega laiene otsingu käigus.","res-forge-type-sockets.eb8606da6a":"Pakutud kompositsioon","research-forge.00274e0e63":"keeldutud, vealeping","research-forge.002ff59811":"Küsimus","research-forge.005a8c4891":"Too kaasa valdkonna kavatsus, formaalsed meetodid, riistvara mõõtmine või sõltumatu ülevaade. Forge pakub ühist uurimisobjekti programmide avastamise, tõestamise ja täitmise võrdlemiseks.","research-forge.008fef2a92":"Otsi lubatud toimingute seest.","research-forge.01038388dc":"Mittevastused jäävad nähtavale","research-forge.0109e7127b":"VÕIMATU","research-forge.0143790011":"planeerimine ja täitmine","research-forge.019d4e8e82":"Mis püsib tõena","research-forge.01f66c63e3":"Kahte paari ei saa kokku panna ja keel on see, mis seda ütleb.","research-forge.01fc285874":"Kohustused Forge ja Kera ees","research-forge.02ff5bf386":"Poliitika ülevaade","research-forge.0303c4bacd":"viis välja fikseeritud enne esimest kandidaati","research-forge.030afc5361":"Forge suudab säilitada nõude versiooni, olulised kandidaadid, vastunäited, kindlustusüleminekud, eesmärgipiiri ja poliitika, mis ühe liikme valis. Kaks aastat hiljem vastab kirje ikka küsimusele, mida ülevaataja tegelikult küsib, mis ei ole see, mis ehitati, vaid miks alternatiivid tagasi lükati. Jälg kulgeb ühes suunas ja iga sammu saab tagasi käia: nõue, mis määratles edu, kontrollitud ja tagasi lükatud kandidaadid, mis olid olulised, vastunäited ja kindlustusüleminekud, eesmärgiväärtused, mis asetasid iga kandidaadi piirile, ja autoriteet, mis ühe neist valis. Mitte ükski neist ei asu otsuse kõrval. See liigub koos sellega.","research-forge.03102018f1":"Kandidaat on struktuurselt kehtiv.","research-forge.03128bed90":"Kontrollimine","research-forge.0393c06f67":"KANDIDAAT","research-forge.0397a076c3":"Eeltingimuse lisamine on seaduslik käik ja see loob uue spetsifikatsiooni identiteedi, mitte ei muuda vana. Varasem eksperiment jääb kirjesse koos oma ebaõnnestumisega. Teaduskogukond nimetab üldist ettepaneku, väljakutse, täpsustamise mustrit CEGIS.","research-forge.03bec6ab74":"Kolm vormi","research-forge.04126cee0d":"Neli kohtuvad keskel, nii et ühe poole liikumine maksab tavaliselt midagi teise arvelt.","research-forge.0428abce3e":"Piiratud kontrollitud","research-forge.0432a371aa":"Kindlustuspoliitika","research-forge.04731f0ef3":"Ainult üks telg, suhteline modelleeritud latentsus. Tulba pikkus ei ole üldine paremusjärjestus.","research-forge.04ae6467a0":"Järeldus puudub","research-forge.04bf9ee3c6":"ei jäetud arvestusest välja","research-forge.04e9b5cd14":"siin eksisteerivad paljud tuletused koos","research-forge.04fa443e7b":"Pikim kriitiline tee","research-forge.05005f366c":"Forge uurimistöö","research-forge.05625954d2":"kuidas iganes otsing läheb","research-forge.05d1c23f1f":"ebaõnnestumine kitsendab otsingut","research-forge.05db5a7f8a":"Spetsifikatsiooni versioon, millele iga kandidaat pidi vastama","research-forge.065d4a5b25":"Kõik need toodavad sama tüüpi tüpiseeritud kandidaadi ja sisenevad samasse võrdlusesse. Organisatsioon võrdleb seega programme, mitte otsingumeetodeid, ja meetod, mis kandidaadi leidis, ei anna sellele otsuses eelist.","research-forge.07a688568e":"Sihtartefakt","research-forge.0820b32b20":"Testimine","research-forge.08b22e1ba0":"Üks leping","research-forge.08cfb3e0f2":"Spetsifikatsiooni ülevaade","research-forge.09496b01f9":"Üleandmine","research-forge.09a3354e63":"Kõrvaltingimused","research-forge.09d053226c":"Järgi ühte otsingut","research-forge.0a3eb3abd3":"Sisemine kalibreerimine","research-forge.0a5e7a0583":"Piir","research-forge.0a799711ad":"Normaliseerimine säästab otsingut","research-forge.0ab39d71e2":"Samaväärsus","research-forge.0ade2ace0d":"Iga vastunäide","research-forge.0ae18773cb":"Uurimisassistent","research-forge.0b101a23a3":"Assotsiatiivne ümberrühmitamine","research-forge.0b81fbebb5":"Optimeerimine hiljem","research-forge.0ba4e46484":"Üks graaf","research-forge.0bc357c912":"POLE KAETUD","research-forge.0c19b6603f":"Tulevane ülevaataja vaatab otsuse üle kirje põhjal, mitte ei rekonstrueeri seda kohustusteatest.","research-forge.0c6c9b91c5":"Tead seda tunnet, kui ülesandel võib olla lihtsam teostus? Forge muudab selle küsimuse uurimistöö voooks: anna talle piiratud spetsifikatsioon, otsi kandidaatprogramme ja salvesta kontrollid ja mõõtmised. 2025. aasta aruanne dokumenteerib eksperimendi, mitte tootmisvalmis tulemust või avaldatud võrdlusuuringut.","research-forge.0d358c9749":"Kaks testi, kaks tugevust","research-forge.0db809cc66":"Kindlustus","research-forge.0e26aaf414":"Mudeli ülevaade","research-forge.0e3c434842":"Testitud, piiratud, tõestatud","research-forge.0ef3858209":"Piiratud kontrollid salvestatud","research-forge.0f1e49f0bf":"Näited piiravad käitumist sisenditel, mida sa esitad. Loogilised tingimused piiravad iga sisendit, mida formaalne teooria suudab väljendada. Visand säilitab arhitektuuri, mida uurija ei ole nõus otsingule usaldama, ja jätab selle sisse tüpiseeritud augud. Võrdluskäitumine annab täidetava oraakli ja kannab kaasa oraakli enda valdkonna. Forge salvestab, milline vorm toetas iga järeldust, mitte ei kohtle iga sisendit võrdse tugevusega spetsifikatsioonina.","research-forge.109bff6e75":"Spetsifikatsioon, mitte koodibaas","research-forge.1178a4ffb4":"Otsi uuesti","research-forge.1181c3f399":"Pakett ütleb ka, millal lõpetada: ressursipiir, kindlustuslävi, millele kandidaat peab jõudma, et siseneda piirile, ja mida käitamine teatab, kui miski sinna ei jõua. Otsing, mis lõpeb ilma programmita, lõpeb siiski tulemusega.","research-forge.11c14ce16a":"Organisatsioon omab seejärel kavatsust, mitte ühte selle väljendust, ja saab öelda, miks konkreetne teostus valiti. Nõudest saab püsiv vara ja teostusest tulemus, mida saab ümber arvutada, kui prioriteedid muutuvad.","research-forge.11dd823248":"Selle sisendi kohta esita see väljund.","research-forge.12c8d914cc":"Mida tulemus ei tõenda.","research-forge.13792d7c2a":"TÕESTUSEL ON PIIR","research-forge.140b63310c":"Kandidaat C","research-forge.1462811ad5":"kandidaat, mis näeb veenev välja","research-forge.151978bff3":"protokollis nimetatakse iga kord spetsifikatsiooni, künnist ja poliitikat","research-forge.15c2d33108":"Hinnatav teadusuuringute integreerimine","research-forge.15f1b08e56":"tõestus, piir või väljaöeldud piirang","research-forge.16181ed76f":"Lubatud tehted, tüübid, mõjud ja arvuline semantika","research-forge.161fa759f7":"Lõplikus deklareeritud keeles saab otsing ehitada kandidaate suuruse järgi kasvavalt ja keelduda sobimatutest konstruktsioonidest enne, kui ükski neist käivitatakse. Kandidaadid, mis käituvad praeguste tõendite põhjal identselt, saab töö kokkuhoiuks liita, samal ajal kui samaväärsusväide ise ootab kontrollimist. Kui meetod hõlmab kõiki hästi vormistatud kandidaate kuni väljaöeldud piirini, tõestab esimene kontrollitud programm suuruse minimaalsuse selles keeles ja selle piiri sees. Tehtehulga laiendamine annab teise katse oma vastusega.","research-forge.169f619e4f":"Aus märk kannab oma piiri ja piir on selle kõige kasulikum osa.","research-forge.16a3fa00e3":"Toetatud sümboolne omadus tõestati väljaöeldud eelduste juures.","research-forge.16ec74fc0a":"CLEAR","research-forge.171ca0385a":"Käitumine","research-forge.173315f506":"ükski rada sellel tahvlil ei lõpe genereeritud varukoodiga","research-forge.17405ade0e":"Kindlustunne ulatusega","research-forge.17a86caa5b":"Kohustus","research-forge.17b8b28e9e":"ei kohelda kunagi vahetatavatena","research-forge.17ecf461a5":"Probleem on täidetav","research-forge.1822a38ec8":"neli põhjust otsimist jätkata","research-forge.189ee02d36":"Aus mittetäitmine","research-forge.18d60fce22":"Nimetatud kindlustusaste ja selle ulatus","research-forge.18dd2ccb59":"Viis osa","research-forge.18e9128279":"Tulemuse nimetamine hoiab probleemi seal, kus see kuulub. Vastuolulised nõuded lähevad tagasi selle juurde, kes need kirjutas. Selgusetu juhtum läheb tagasi otsuse tegemiseks. Lahendamata otsing läheb tagasi suurema eelarve või teistsuguse meetodiga.","research-forge.18f906f6da":"Hoitakse igavesti","research-forge.192ad837e6":"Kirja pandud poliitika, mitte peidetud skoor","research-forge.19626a1e65":"Kõik, mis ebaõnnestub ühel juhul","research-forge.1a23a7cddc":"Forge leiab","research-forge.1a66b5eeb6":"Partneri juurdepääs","research-forge.1bb360f468":"Piiratud","research-forge.1bb90c04d2":"Ebaõnnestumine, mis annab konkreetse sisendi, on otsingule väärtuslikum kui ebaõnnestumine, mis annab skoori.","research-forge.1bf39cee63":"Kiirem, väiksem, saledam","research-forge.1bff62bf9b":"Meetodil sai ruum otsa. Teine meetod või pikem käitamine võib selle lahendada.","research-forge.1c013851a3":"Mida protokoll sisaldab","research-forge.1c56ea452a":"Neli spetsifikatsioonikaarti, mis kirjeldavad sama väikest teisendust, koos ainsa juhtumiga, kus kaks neist ei nõustu","research-forge.1c56fd19d7":"Üks lahtine juhtum","research-forge.1c82340479":"väidet saab kontrollida","research-forge.1c875de71f":"See on sama palju valitsemise omadus kui tehniline. Hetk, kus nõude kaks tõlgendust lahknevad, on just see koht, kus sidusrühma otsus kuulub, ja see on palju odavam enne, kui rakendus on ehitatud ühe neist ümber.","research-forge.1c9bbc4b77":"Hoia alternatiive, kuni poliitika on kirja pandud.","research-forge.1cb61a389f":"muudetud väli on uus katse, mitte parandatud","research-forge.1ccf5d25df":"Spetsifikatsioon","research-forge.1cdd46cd0e":"Loe teadusuuringuid","research-forge.1d17812687":"Neli sisendit, neli erinevat garantiid","research-forge.1d2c6fe888":"kõik viis või mitte ükski","research-forge.1d444e826a":"Kera jookseb","research-forge.1d9b3bd5d3":"Madalaim latentsus","research-forge.1d9d3e69fa":"Rust, C, Verilog","research-forge.1e269ebac7":"Üks teisendus","research-forge.1e748c3e4b":"muuda sõlme ja sul on uus kandidaat, tõestuse sidumine järgneb sõlmele","research-forge.1ecdc691a8":"hallitatud tee toodab midagi loetavat ja mitte midagi, mille vastu seda kontrollida","research-forge.1ed77c3f7f":"Protokoll","research-forge.1fd9da00a7":"Poliitika ja asutus, mis valis ühe kandidaadi.","research-forge.2030fae2a7":"Kolm viisi seda öelda","research-forge.2040757c11":"Cranelift, loomuliku jõudluse mõõtmine","research-forge.2041447f84":"ainult otsing","research-forge.206009c4a7":"Viis poliitikat","research-forge.20cb7eef2c":"Väljaspool mudelit","research-forge.2154ca1eb7":"Igaüks neist on tulemus erineva järgmise sammuga. Forge salvestab tugevaima oleku, mida ta suudab õigustada, ja nimetab, mis peaks muutuma, et sellest edasi liikuda.","research-forge.21a0ffd68c":"lahtised küsimused on lehel","research-forge.21efbc283d":"Kiirus, mälu, ulatus ja tõendid","research-forge.220b9c622c":"Sünteesi","research-forge.2354ab0ba0":"enne programmi väljapakkumist","research-forge.235bfff3a2":"Uurimisprogramm","research-forge.236656bf91":"Õigused","research-forge.23d4ef785c":"suurus 5","research-forge.243dcbef8c":"planeerimine ja allalaskmine","research-forge.24a264b83c":"Kaks kandidaati, neli eesmärki","research-forge.24c0bda2ba":"Kõige otsesem auditi tee","research-forge.24cb5be0b0":"otsus säilitab oma põhjendused","research-forge.24d50592b7":"Eesmärgid","research-forge.2550b1dcad":"Vastutus","research-forge.25754f1c93":"uurimisprogramm, mitte tarkvarapakkumine","research-forge.258195bb3d":"Üks identiteet","research-forge.25c843b80e":"See teeb keelest korraga kaks asja. See on tõhususe mehhanism, sest enamikku ruumist ei pea üldse hindama. See on ka kavatsuse piir, sest see ütleb ette, milleni masinal on lubatud ulatuda.","research-forge.25fa97aa1a":"See ei ütle sulle, kas see tee on kõige kiirem, kõige kõhnem, kõige kaasaskantavam, kõige lihtsamini auditeeritav või see, mida organisatsioon suudab käitada. Need on eraldi küsimused eraldi tõendusmaterjaliga.","research-forge.261c22b85c":"Inseneriorganisatsioon kohustub tavaliselt ühele teostusele ammu enne, kui ta suudab öelda, kas see disain on kõige kiirem või kõige lihtsamini kontrollitav. Forge uurib järjestust, kus spetsifikatsioon on püsiv vara ja teostus on otsingutulemus, mille vahel väljakuulutatud poliitika valib.","research-forge.26369471c9":"Täpne samaväärsus, piiratud arvuline seos või efekti samaväärsus, kumbki tuvastatud kontrollimise teel.","research-forge.267f81bab8":"Mida programmil on lubatud puudutada","research-forge.277b67c1e8":"ja mida tal oleks vaja","research-forge.27f11f9fe1":"suletud sõlm avaldab siiski oma sisendid, väljundid ja identiteedi","research-forge.27fab35201":"Nimetatud mittevastus on kasulikum kui usutav programm.","research-forge.280c5e7fc6":"Kaks lugemist","research-forge.281dd83602":"Laienda","research-forge.282bd862f4":"Kandidaat B","research-forge.2877a09f30":"mitu vastust võivad olla mõistlikud","research-forge.287b80caae":"õigsus ei vali","research-forge.294b4c06ac":"Kandidaatide ruum","research-forge.296e71a0fb":"Kandidaadid suuruse järgi piiratud keeles, näidates lubatud, keelatud ja kokkuvarisenud olekuid, esimest kontrollitud kandidaati ja deklareeritud piiri, mida väide kannab","research-forge.297f419e18":"Mida see ei tohi teha, on nõrgendada käitumist, lisada efekti, mida pakett ei deklareerinud, või muuta lahendamata tõestuse olek õnnestumiseks. Optimeerimine on vabadus piiri sees.","research-forge.29c69b4a35":"või lihtsamini kontrollida","research-forge.29fea3a06d":"Mida see tuvastab","research-forge.2a03a4b73a":"Otsustamata","research-forge.2a729227ad":"Üks avaldis laiendatud samaväärsete vormide võrgustikuks tingimustega servadel ja kolm ekstraheerimise sihtmärki, mis valitakse pärast ruumi olemasolu","research-forge.2a965a37b7":"See on poliitiline otsus ja see tuleb välja öelda, mitte tuletada.","research-forge.2a965accf1":"Väikseim programm, mida keel lubab","research-forge.2ad40f7952":"Kompromissid kui valitsemise objekt","research-forge.2b27b7aec8":"Tõenduspõhine","research-forge.2b3a5e307c":"Semantiline","research-forge.2b7d95b8c6":"Millist kompromissi sa tahad","research-forge.2b9c801e9e":"valik jääb selgesõnaliseks poliitikaks","research-forge.2bdb5e4d73":"Forge lõpeb valitud semantilise graafi ja selle tõendusmaterjaliga. Dweve Kera saab selle graafi, planeerib toetatud täitmise ja väljastab sihtartefakti, kusjuures tegevuse tähendus, efektid, omand, arvuline leping ja tõestuskohustused on üle antud. Sama distsipliin ühendab Forge'i ülejäänud Dweve virnaga: Aion, kus programm hoiab kontrollitud olekut, Reed ja Selvedge ümbritseva süsteemitöö jaoks, FMI ja Twin, kus füüsilise süsteemi mudel on spetsifikatsiooni osa.","research-forge.2c8c94c95f":"mitte ainult see, mis ehitati","research-forge.2c9ebecf8b":"Otsingu orkestreerimine","research-forge.2cb597863b":"Kiire programm, mis on vale, on ikkagi vale.","research-forge.2cd3174fc9":"tulemus otsustab järgmise küsimuse","research-forge.2cff331976":"Avastus ja tõestus eespool","research-forge.2d24e0a549":"Ja mõnikord","research-forge.2d3231ce48":"Mitmetähenduslikkus","research-forge.2da600bf94":"Versioon","research-forge.2daa013c1b":"Tüpiseeritud semantiline graaf, mitte lähtetekst","research-forge.2dd3547872":"täielik piirides","research-forge.2dfcf898a3":"Võrdlus","research-forge.2e140f6f42":"Poliitika valik","research-forge.2ea3bb9377":"Liitu uurimispartneritega","research-forge.2f24ebaee0":"Kärbi","research-forge.2f65736593":"(a * 2) + a","research-forge.2f81a22de0":"Juurdepääs","research-forge.2f89346f05":"Ujukoma ümberrühmitamine","research-forge.2f906454d9":"Iga vorm vastab erinevale küsimusele ja uurimisprotokoll ütleb, milline neist väidet kandis.","research-forge.30833f759b":"Planeerimine ja allalaskmine","research-forge.3107902192":"Viis kandidaati","research-forge.310e8151df":"kirjeldusest tõendusmaterjalini","research-forge.31139f400a":"minimaalne <= 5","research-forge.3146c89579":"milline vastutus kummalgi poolel on","research-forge.3179a54130":"Näited, reeglid ja osaline programm, mitte sammud","research-forge.31c2157a1c":"Üks semantiline graaf, mis on kujutatud graafina, avaldisena ja andmevoona, identiteet on kõigis kolmes muutumatu, ja ühe sõlme muutmise mõju","research-forge.320ce22925":"Tugev, väidete jaoks","research-forge.3218fcc602":"Tõestuse kompositsioon","research-forge.32438a2b70":"Pane automatiseeritud avastamine tööle","research-forge.32d888fecc":"Täitmine seotud","research-forge.32ec2eb506":"Tüübipõhine","research-forge.32fd056d3d":"Visand","research-forge.32fe9f5bda":"Seeme","research-forge.331a390a95":"Märgi üles, et garantiid ei saa nii, nagu öeldud, õigustada.","research-forge.332fafafd4":"Mitu programmi on optimaalsed","research-forge.337cd4ef85":"ja kaitse pärast","research-forge.3407af8c74":"Vormid tugevdavad üksteist. Näited muudavad loogilise kokkuleppe lugejale arusaadavaks. Piirangud takistavad kandidaadil näidatud juhtumitele üle sobitamast. Visand hoiab ohutusstruktuuri paigal, samal ajal kui aritmeetika või andmevoog ühes piirkonnas jääb avastamiseks lahtiseks.","research-forge.3554ae9f37":"Graafi tõestus ei ole automaatselt suvalise kompilaatori väljundi tõestus, seega salvestab täitmise seotus graafi, plaani, artefakti ja tulemuse koos. Forge saab siis avastamist uurida, väitmata, et ta omab emitterit.","research-forge.356258d8cf":"Õigsus annab pääsu kompromissiarutelusse.","research-forge.357a580465":"laienemine tingimustega","research-forge.3631815377":"mis hoiab","research-forge.3647998e09":"suhteline modelleeritud latentsus ühel piiril","research-forge.3662b6cd93":"Optimeerimine on vabadus piiri sees, mis kõigepealt kirja pandi.","research-forge.3678b75177":"Tõestuse ankur","research-forge.3697e2badd":"Sama piir, neli kaitsvat vastust","research-forge.3750b1e26e":"Üks nõue","research-forge.378b19c94c":"ja universaalsed omadused","research-forge.37a1d3ddee":"Otsingu ulatus","research-forge.37b658da82":"mis on kindlaks tehtud ja mis jääb lahtiseks","research-forge.37d9b94afa":"Hindaja saab ahelat lõpust lõpuni jälgida ilma ühtki suletud sõlme avamata.","research-forge.37e5ec20ed":"Vaikimine loeb","research-forge.37e8f995e7":"Nimetatud mittevastus annab ka institutsioonile konkreetse punkti, millele reageerida. See ütleb, milline klausel on vastuolus, milline käitumine oli määratlemata, milline teooria oli kättesaamatu või milline eelarve otsa sai, ja seega, mis peaks muutuma.","research-forge.3856f4eb7c":"Meetod ei jõudnud oma teooria ja ressursipiirangute raames järeldusele.","research-forge.387b54720d":"Aste, milleni tulemus peab jõudma, et see loeks","research-forge.38b07c05cf":"Üks kindlustusredel, millel kaks kandidaati puhkavad erinevatel astmetel, ja sahtel, mis näitab, mida iga aste kontrollis, eeldas ja ei tõenda","research-forge.391bc6cb44":"Tõestus hoiab oma piiri","research-forge.396c19de10":"Neli viisi, kuidas nõue programmile vastu paneb","research-forge.39727bd48f":"tagasi sünteesima","research-forge.3977816414":"tõendid otsustavad","research-forge.39d6a0ddc5":"Milliseid otsuseid võib otsing sinu eest teha?","research-forge.39fdec1194":"Testid","research-forge.3a06f841f3":"Seda testitakse kaugemale talle antud näidetest.","research-forge.3a4be7155b":"Alternatiivid","research-forge.3ab11b75ca":"Forge","research-forge.3b08754530":"Forge alustab käitumise kirjeldusest, mitte kooditaotlusest. Sa võid talle anda töötavaid näiteid, reegleid, mis peavad üldiselt kehtima, või osaliselt kirjutatud programmi, mille keerulised osad on lahti jäetud. Igaüks neist annab masinale midagi, mille vastu seda mõõta saab, ja midagi, mille juures see nähtavalt ebaõnnestuda saab.","research-forge.3b0896e4b0":"Toetatud Kera lepingute puhul kordab puhas täitmine bitte identselt ilma seemneta, sealhulgas kaetud ujukomaperekonna teed. Kui programm teadlikult tarbib juhuslikku olekut, on see olek deklareeritud sisend ja selle taaskasutamine taasesitab kogu käituse.","research-forge.3b8be5e1a9":"laius tõestatud","research-forge.3bb1fa9d93":"on üks punkt ruumis","research-forge.3bb59d3903":"Kindlaks tehtud","research-forge.3bcf82f6df":"Latentsus on mõõde","research-forge.3bdab018c4":"Kinnitatul on alati teine pool: nende reeglite all, nende sisendite jaoks.","research-forge.3bf08a84f1":"MOVE","research-forge.3bf4aa62c6":"Üks graaf, kaks plaani, üks identiteet","research-forge.3c37add762":"Hästi vormitud","research-forge.3d3349e560":"mida institutsioon otsustab enne otsingut","research-forge.3d85b7b35e":"Neli väikest juhtumit, millest igaüks lõpeb ilma programmita erineval põhjusel, näidates, mida küsiti, mis juhtus ja mis seda muudaks","research-forge.3d8dc8dd37":"Kannab lihtsamat kontrolliteed","research-forge.3d9d45c6fc":"ja tõestada vale mudel","research-forge.3dbbac272c":"Vastunäited ja tõestuse olek","research-forge.3e0fb17cab":"Selgita","research-forge.3e39972526":"Latentsus","research-forge.3e9492ab1e":"Graaf, plaan, artefakt ja tulemus jäävad seotuks.","research-forge.3f1ea4240e":"Eeldused on tulemuse osa, mitte väike kirjasõna selle all. Tõestus täpsete täisarvude kohta ei ütle midagi kümnendmurdude kohta. Tõestus iseseisva arvutuse kohta ei ütle midagi teenuse kohta, mille olemasolust sellele kunagi teatatud ei olnud.","research-forge.3f2151a870":"Suurused üks kuni kuus","research-forge.3fd8fb2e1a":"Operatsioonid, tüübid, kujud, mõjud ja võimalused, mida kandidaadil on lubatud kasutada.","research-forge.3fe459f958":"Miski ei sobi","research-forge.40100e1934":"Mittedomineeritud kandidaadid","research-forge.4025ca409c":"Ole oma jõudluse peremees","research-forge.408f0af557":"Tuletusgraaf spetsifikatsioonist valitud tõestuseni, kus sisemised meetodisammud on suletud, kuid ühendatud, ja lühem tee, mida taasesitus tegelikult peab reprodutseerima","research-forge.40d33b38ad":"Ükski neist pole tagantjärele lisatud hoiatus. See on tulemuse sisu, mistõttu kanne paigutab astme ja selle ulatuse samasse kohta ning miks ükski kontroll ei saa üht teisele eelistada.","research-forge.40f800b699":"Piir kuulub objektiivide hulgale, mis selle tekitas. Energia lisamine paketile võib tagasi tuua kandidaadi, mis oli varem domineeritud, mis on küsimuse omadus, mitte muutus üheski programmis.","research-forge.4141bac3ca":"ja lase programmil muutuda","research-forge.418cdd48b7":"Täheldatud juhtumid","research-forge.41978064b8":"Arutage koostööd","research-forge.41a3ff09e5":"Esitage käitumine","research-forge.4288fa85e0":"Mis on otsustatud ja mis on lahtine","research-forge.42c7f4ea4d":"Raam ei liigu","research-forge.42e742546a":"ja testitud pole tõestatud","research-forge.43093ca0db":"Tõestuse ulatus, struktuurne lihtsus, tõendusmaterjali hind","research-forge.435e8ecece":"üks programm võidab harva kõigis neljas","research-forge.436fb3032c":"Kokkuvõte","research-forge.437b348524":"Järjekord, milles need juhtuvad","research-forge.437bcb1511":"Energia","research-forge.439f7b365e":"Uurimisdokumendid","research-forge.43d54e530d":"Kas kodeeritud nõue vastab sellele, mida organisatsioon tegelikult tahab?","research-forge.43d8879a8c":"täitmislüli on see, mis seob tõestuse sellega, mis tegelikult käivitus","research-forge.4412dd5d66":"Võimatu ja otsustamata teatatakse, mitte ei muudeta koodiks.","research-forge.4475dded01":"Üks rakendus","research-forge.44ab85a252":"Päritolu","research-forge.450d52d3ef":"Otsingud","research-forge.4585404748":"kandidaat, mis peatub testitud juures, teatatakse testituna","research-forge.45aaefd6f4":"Neli ülevaadet","research-forge.4646f9193d":"Hästi vormistatud pole testitud","research-forge.4651a34e4d":"Ulatus","research-forge.466fc49274":"Säilita","research-forge.46ed5f573e":"Vaata uurimist","research-forge.4719d38f14":"Mitu käitumist rahuldavad esitatud tõendusmaterjali ja lähevad mujal lahku.","research-forge.472643c4ca":"Üks kandidaat domineerib teist ainult siis, kui ta pole halvem üheski aktiivses objektiivis ja on vähemalt ühes parem. Domineeritud kandidaadid lahkuvad aktiivsest piirist. Allesjäänud on kõik kaitstavad vastused samale spetsifikatsioonile, ja nende vahel valimine on poliitiline otsus, mille kanne säilitab, mitte arvutus, mille otsing vaikselt teeb.","research-forge.472bff45c9":"Üks vorm suuremas võrdse käitumise ruumis.","research-forge.473161067f":"Valikupoliitika","research-forge.47942077ae":"Lihtsaim tõestus","research-forge.47b74866d6":"Kontrolli õigsust","research-forge.47bcc2a36a":"Mõnikord ei saa kaks asja, mida küsiti, mõlemad tõesed olla. Mõnikord lubavad näited kahte erinevat käitumist ja pole võimalik öelda, kumb oli mõeldud. Mõnikord on probleem lihtsalt raskem, kui meetod suudab antud ajaga lahendada. Forge teatab igast neist sellisena, nagu see on, ja ütleb, mis peaks muutuma. Selgusetu juhtum vajab tavaliselt veel ühte näidet, mitte suuremat eelarvet.","research-forge.47cda15a5a":"Kera: kuidas","research-forge.47da6f0838":"Komponeeri","research-forge.48298eb992":"Otsing võib asendada operatsioone, ümber korraldada andmevoogu, liita piirkondi, eemaldada liikumist ja jõuda rakenduseni, mida ükski teadlane polnud silmas pidanud. Kõik see on lubatud ja enamasti ongi see mõte.","research-forge.483bf2075c":"Avaldatud","research-forge.4901e146cd":"Võrdle hinda","research-forge.490d255908":"nõue jääb stabiilseks objektiks","research-forge.49df3ec7de":"Töötab rohkemal toetatud masinal","research-forge.4a828b8ab7":"Uurimine, Forge","research-forge.4ab1a4f190":"Esimesena saabunud kandidaadil pole otsuses mingit eelist peale oma tõendusmaterjali.","research-forge.4aebc33326":"Neli ülevaadet enne väidet","research-forge.4b01608cdc":"Otsing ei muuda kunagi paketti, et kandidaati päästa.","research-forge.4b1960c2fb":"Süsteem, mis on surve all koodi tootma, toodab koodi. See muudab vastamata küsimuse programmiks, mida keegi nüüd peab hooldama, ja ebakindlus ei kao, see liigub kohta, kus seda on raskem näha.","research-forge.4bca6a7cdb":"Kust programm algab","research-forge.4c175158a6":"Seotud tulemus","research-forge.4c1e9313aa":"Üks kogum","research-forge.4c39a99d3d":"Viis astet","research-forge.4c6bdedadc":"allikas jääb projektsiooniks","research-forge.4cb3bb0fc4":"Kiireim","research-forge.4d0ff72eb2":"Millisele testimise või tõestuse tasemele peab tulemus jõudma?","research-forge.4d6864f9a3":"Neli piirivalikut","research-forge.4d7f210eef":"Kolm kandidaati kontrollitakse juhtumite loendi vastu, mis kasvab igal ringil ühe ebaõnnestunud sisendi võrra ja millest ei eemaldata kunagi midagi","research-forge.4db6c46b80":"iga süsteem loeb sama objekti, mitte selle koopiat","research-forge.4e4bed5372":"Mitte kunagi","research-forge.4e76f5796f":"Kõige kõhnem","research-forge.4e90808185":"Neli viisi, kuidas käitamine võib lõppeda","research-forge.4e9a44aeb4":"Ütle, mis peaks juhtuma","research-forge.4ec9cc4f2f":"Kinnitatud programmide avastamine","research-forge.4f9c4e1fdb":"Esimene õige kandidaat tõestab, et probleem on lahendatav. See võib olla ka suur, aeglane, mälumahukas, ebamugav kontrollida või seotud ühe käituskeskkonnaga. Forge käsitleb seda tõendina, mitte vastusena, ja jätkab otsimist perekondade leidmiseks, milleni teistsugune otsimiskäitumine oleks esimesena jõudnud.","research-forge.4faae9b4e9":"on erinevad väited","research-forge.4fe6240efb":"Kas käitamise sihtmärk vastab tõestatud semantikale?","research-forge.500d19ed3e":"Järgmine kandidaat peab rahuldama tugevama hulga.","research-forge.505ddba0dc":"masin ütleb, mida ta teab","research-forge.506f370762":"tingimuse märk serval otsustab, kas ekstraheerimine võib seda kasutada","research-forge.50e944749f":"WIDE","research-forge.50f771745f":"Kas see on hea teostus","research-forge.512f83ac42":"Kolm kandidaati kontrollitakse kasvava kohustuste hulga vastu, kusjuures igaüht lõpetanud vastunäide ja kaks õigustatud reaktsiooni ebaõnnestumisele on näidatud","research-forge.516f075235":"Neli õiget programmi, neli viisi eelistamiseks","research-forge.5183317474":"Vabadus","research-forge.52550c8d07":"Kirje vastab, miks","research-forge.528d188e2a":"Nõutav tõestuse tase","research-forge.52e68a873a":"Piirangud","research-forge.531e01782f":"Lahenda vastuolulised nõuded, mille tõestus tuvastas.","research-forge.536a08d31b":"FAST","research-forge.541a19b522":"Piir on see, mis muudab väite täpseks. Graafi tõestus on selle graafi tõestus, seega käitamise seos salvestab graafi, Kera plaani, artefakti ja tulemuse identiteedi koos, mitte ei eelda, et tõestus liikus koos väljundiga.","research-forge.546130711a":"Dweve uurimisprogramm","research-forge.54a351154f":"Minimaalsus on piiritletud väide. See kehtib operatsioonide, tüüpide ja struktuuride kohta, mida pakett lubas, kuni suuruseni, milleni käitamine jõudis. See ei ütle midagi keele kohta, mida eksperiment ei deklareerinud, ja operatsioonide hulga laiendamine loob uue eksperimendi oma vastusega.","research-forge.550d4ccba7":"Numbriline perekond, järjestus, olekumudel ja välised tingimused, mida käitamine eeldab.","research-forge.551fea67e6":"Kirjeldus tuleb esimesena ja teostus jääb võimalikult kauaks lahtiseks küsimuseks.","research-forge.5521ea4314":"eesmärgi lisamine võib tagastada domineeritud kandidaadi, mis on fakt küsimuse kohta","research-forge.5549dc87d0":"Mitte iga spetsifikatsioon","research-forge.5601f89af7":"kandidaat, mis lihtsalt näeb õige välja","research-forge.563591cebc":"Kui kiiresti programm lõpeb","research-forge.56abd17a41":"Kui midagi ei tule tagasi","research-forge.577d56824d":"KOLM KÄIKU","research-forge.58357eb5f1":"tugevamad väited nõuavad tugevamaid tõendeid","research-forge.584e0ea86c":"vektor kirjeldab kompromissi","research-forge.58c379fdea":"Suuruselt minimaalne","research-forge.59df8e27c4":"Säilita nõue","research-forge.5a0ba3bb83":"Leping","research-forge.5a2827f530":"Neli rõngast","research-forge.5a314063cc":"kuidas nõrk kandidaat teravdab küsimust","research-forge.5ab1aaea94":"Ebaselge","research-forge.5b1142d090":"Eelarve jaotus","research-forge.5b141d8cb7":"Kinnitatud nende reeglite alusel","research-forge.5b2a7fb11c":"Ava","research-forge.5b3facb840":"Neli võrdse kaaluga perekonda ja pakett otsustab, millised on aktiivsed.","research-forge.5b5d8a5af8":"Salvesta konkreetne juhtum ja omadus, mida see rikkus.","research-forge.5b6a58fb9f":"Odav otsimiseks","research-forge.5b78187e47":"mitte õige igas maailmas","research-forge.5b8955c7bc":"Programmi leidmine","research-forge.5b92885b2d":"Insenerimeeskond saab valida madalaima latentsusega liikme. Reguleeritud programm saab valida kõige puhtama kindlustustee. Mitmekesise riistvara peale jaotatud juurutamine saab valida kõige laiema sihtmärgi sobivuse. Kõik kolm valivad samast kinnitatud hulgast.","research-forge.5c1be9b227":"Väide on korratav","research-forge.5c262f33db":"Lõpeb","research-forge.5c46a60955":"Kuidas töö on jagatud","research-forge.5c9d4874c3":"Milliseid sisendeid ja milliseid ümbrusi väide hõlmab.","research-forge.5ce01f3b67":"Programm avaldab selle, mida tema tõendid toetavad, ja hoiab oma uurimismeetodi uurimisena.","research-forge.5dfcf1dcc0":"Üks identiteet, kolm kujutist","research-forge.5dfe750940":"Kontrollitav","research-forge.5e0d7f4f07":"Forge on Dweve uurimisprojekt. Tema sisemine otsinguportfell, formaalse arutluse teostus, teisendusteadmised, eesmärgi kalibreerimine ja orkestreerimine on selle uurimistöö osa. Mida programm avaldab, on küsimus, protokoll, tulemus ja selle kindlustuse olek, avalikustamise tasemel, mida tõendid toetavad. Koostöö algab piiratud sünteesiküsimusest. Viit väidet jälgitakse nende olekuga, kolm on lahendatud ja kaks veel lahtised, ning lahtised on lehel, mitte arvestusest välja jäetud.","research-forge.5e22dbb195":"Kolm paaritust","research-forge.5e3db9c4c0":"Vastunäitega juhitud täpsustamine","research-forge.5eb51a7a2a":"Järgi tõendeid, mitte ainult seda programmi, mis välja tuli.","research-forge.5eede4abda":"Kõige laiem sihtmärgi sobivus","research-forge.5f174de1cc":"Tõestus","research-forge.5f20d0f3ac":"Rahuldamatu","research-forge.5f94916c54":"Vaata institutsioonilist juhtumit","research-forge.5faa59d4bc":"Tulemus","research-forge.5ff1729499":"enne kui ütled, kuidas","research-forge.603a007e8b":"ja alternatiivid sulguvad","research-forge.60508aeb3d":"Kuhu küsimus viia","research-forge.60539e2c57":"Kus risk asub","research-forge.6066a49124":"See sisend liitub hulgaga, mida iga kandidaat peab rahuldama.","research-forge.60e5c23b14":"Tüpiseeritud","research-forge.616d1d1b2a":"Viis eelistust","research-forge.61792020d0":"Objektiivne piirjoon","research-forge.61988aaea3":"Eksperimendi pakett","research-forge.61a0ae3b84":"Piirid","research-forge.61ad50a9b9":"Sihtmärk","research-forge.61c2d00a1e":"Spetsifikatsiooni vormid","research-forge.61d0fdeb05":"Deklareeritud liides, selle tüübid ja kujud.","research-forge.61e2187199":"Pärast esimest kehtivat programmi","research-forge.625ba6f153":"FIT","research-forge.62c4bc1315":"Kaks rada samast nõudest","research-forge.6320f96544":"lase masinal leida, kuidas","research-forge.636f4e740e":"on harva kogu vastus","research-forge.63ed4981dc":"Pareto","research-forge.63f0dfcfef":"Nõue jaotatud lauseteks, nelja rajaga, mis näitavad, millised laused andsid rahuldamatu, mitmetähendusliku, tundmatu või ulatusest välja jääva tulemuse, ja millisele tegevusele igaüks kutsub","research-forge.64269f9bd2":"TIME","research-forge.647c656679":"Kaks kandidaati võivad ühtida tekstina, ühtida pärast nende graafide normaliseerimist või rahuldada sama vaadeldavat käitumist deklareeritud lepingu alusel. Need on kolm erinevat väidet ja ainult viimane ütleb midagi selle kohta, mida programm teeb.","research-forge.649ed30fda":"Ulatus liigub koos väitega. Tõestus täpsete täisarvusemantika üle ei kinnita ujukoma käitumist. Puhta funktsiooni tõestus ei hõlma välist teenust, mida kunagi ei deklareeritud. Pärast tõestust muudetud kontrollitud graaf on uus kandidaat, millel pole veel tõestust.","research-forge.64bcb871de":"Vastunäide võib paljastada rohkem kui rakenduse vea. See võib paljastada väljajäetud eeltingimuse, servajuhtumi, mille üle keegi polnud otsustanud, või kaks nõude lugemist, mis mõlemad olid näidetega kooskõlas. Protokoll nimetab, millist neist teadlane seejärel muutis.","research-forge.64c0978f0e":"Avatud ja põhjus, miks programm eksisteerib: kui suureks võib kontrollitud graafi piirkond kasulikult kasvada, millised spetsifikatsiooni vormid on masina jaoks täpsed ja inimese jaoks töötavad, kuidas osalised tõestused komponeeruvad optimeerimise ja planeerimise kaudu ning millised eesmärgid vajavad mõõdetud riistvara tagasisidet.","research-forge.64d22c2e4e":"Forge fikseerib uurimisprobleemi enne, kui ükski kandidaat eksisteerib. Üks pakett nimetab spetsifikatsiooni, lubatud operatsioonid ja tüübid, efektid ja numbrilise semantika, eesmärgi mõõtmed, otsingu piirid ja kindlustuse poliitika, milleni tulemus peab jõudma. Kandidaati saab hinnata ainult juba sõnastatud probleemi vastu, mis muudab paketi osaks õigsusest, mitte konfiguratsioonist selle ümber. Pakett ütleb ka, millal lõpetada: ressursipiir, kindlustuse lävi, milleni kandidaat peab jõudma, ja mida käitamine teatab, kui miski selleni ei jõua.","research-forge.64f4056c85":"Poliitika nähtav","research-forge.657c02a2ae":"Nõue jääb fikseerituks","research-forge.664243d1c2":"Spetsifikatsiooni vormid selle vastu, mida igaüks lahendab","research-forge.66b4132999":"Arutle sünteesiküsimust","research-forge.66c7af05f3":"Forge muudab eeldused kontrollitavaks ja inimesed omavad neid endiselt.","research-forge.66c95e7fc7":"Pitseeritud","research-forge.66cd84bcef":"kujud tulevad ja lähevad ning raam keskel on kogu aeg sama","research-forge.6703a68b0c":"poliitika nimetab liikme","research-forge.6767e55d00":"Esimene kehtiv","research-forge.681b5b5ae1":"Kättesaadavus","research-forge.6848ce552e":"Tulemused","research-forge.68ad9d9693":"Mis jääb fikseerituks","research-forge.693f74e1e9":"Forge'i ja Kera piir","research-forge.6978e0d16d":"Üldse mitte ükski programm võib olla aus tulemus","research-forge.6989b87ddb":"Sellepärast muutub tsükkel ainult rangemaks. Iga voor algab kõigega, mida eelmised voorud kehtestasid, pluss uue juhtumiga, nii et kandidaat ei saa kunagi võita varasemat ebaõnnestumist unustades.","research-forge.699425d26b":"Loe meetodit","research-forge.69da6fa492":"Näited selgitavad","research-forge.6a33efdc4e":"Eksperimendi pakett kokku pandud välja haaval, identiteediga, mis seda nimetab, ja mis tahes välja muutmise tagajärjega","research-forge.6a455d1ff6":"Iga toetatud sisendi puhul hoia see tõene.","research-forge.6a54f54941":"Otsing vastab","research-forge.6aa0b7e952":"erinevad institutsioonid valivad erinevalt","research-forge.6ab0b8903c":"Numbriline tähendus","research-forge.6b1716c3e5":"mitte kunagi andestavam","research-forge.6b2284f302":"Põlvepunkt","research-forge.6b6ae4c323":"kohustuste hulk ainult kasvab","research-forge.6b6f62925d":"Mõnikord ütleb vastunäide midagi taotluse, mitte programmi kohta. Kaks reeglit võivad osutuda vastuolulisteks või servajuhtum võib osutuda selliseks, mille üle keegi polnud tegelikult otsustanud. Seda tasub varakult teada.","research-forge.6b7b6dcbaa":"Üks graaf, neli rolli","research-forge.6bc457b374":"Leia kandidaat, mis rahuldab iga teadaoleva juhtumi.","research-forge.6bcf5a7776":"Piirjoon, mitte üks skoor","research-forge.6c4b5393b9":"ja piirangud otsustavad","research-forge.6c61bbcebe":"Tõestatud","research-forge.6c82e6dd86":"Aeg","research-forge.6c8dd48ed8":"Mõõtmisplaan","research-forge.6c9b8325ab":"ühtegi astet ei tuletata kunagi","research-forge.6c9c88fe2f":"Käitumise kirjeldus muudab seda suhet. See annab otsingule sihtmärgi, mida tabada, viisi, kuidas vahele jääda, kui sellest mööda pannakse, ning hiljem ka kirja sellest, milliste juhtumite vastu tulemust kunagi kontrolliti.","research-forge.6cc1fdfb05":"Testitud, piiratud ja tõestatud on erinevad väited sama programmi kohta.","research-forge.6cd40b6ae3":"Nõuded algavad soovitud käitumise, piirangute ja riskidena. Arendus muudab need üheks arhitektuuriks ja üheks teostuseks ning sellest hetkest alates on iga alternatiiv ümberkirjutus, migratsioon või optimeerimisprojekt. Valik oli tõenäoliselt mõistlik, kui see tehti, ja see tehti enne, kui keegi sai seda võrrelda valikutega, mille see välistas.","research-forge.6d058a6f22":"mitte üldine lubadus","research-forge.6d3a0e2f30":"Tüübid kärbivad esimesena","research-forge.6d525b7156":"Täitmine","research-forge.6d5ef04ce2":"tõestus, piir või deklareeritud piirang","research-forge.6d84ceaf60":"Eralda","research-forge.6db87cb08f":"Kõige kiiremini modelleeritud","research-forge.6dfe9d2cfa":"Forge, lihtne vaade","research-forge.6e3f1d3672":"Neli viisi kavatsuse väljendamiseks","research-forge.6ef75c79a0":"Taasesitus ei pea taasesitama iga uurimuslikku haru. See peab taasesitama tõendid, millele väide toetub: spetsifikatsiooni, valitud kandidaadi, kontrollitulemuse ja täitmise seose. Kõik muu on otsingu ajalugu, mitte tõestus.","research-forge.70bcce6545":"Mitu teed","research-forge.70cbd1d6b1":"Kavandatud","research-forge.7173d0cb0f":"teadmata, lahendamatu ja mitmetähenduslik on tulemused","research-forge.718eb2ad28":"Tugevuse vähendamine nihkeks","research-forge.71e541f178":"Test käivitab programmi sisenditega, mille keegi valis. Tõestus arutleb iga sisendi üle, mida kirjalik spetsifikatsioon hõlmab. Mõlemad on kasulikud ja vastavad erinevatele küsimustele. Kui Forge ütleb, et kandidaat on kontrollitud, on lausel teine pool: kontrollitud selle omaduse vastu, nende sisendite jaoks, nende eelduste all. Viis osa peavad koos liikuma, et see lause midagi tähendaks: täpne programm, mida kontrolliti, omadus, mida selle kohta väideti, eeldused, tõendid ja piirid, mida tulemus ei kehtesta.","research-forge.722e234a05":"Leia kandidaadid","research-forge.72637278c6":"mille Forge üle annab","research-forge.729c82e196":"Üks objekt läbib kogu elutsükli, nii et igas etapis ei pea midagi tekstist uuesti tuletama.","research-forge.72aeb780b2":"Kuhu otsing edasi läheb","research-forge.72e6f70d7c":"tulemus osutab tagasi graafile","research-forge.7305b76252":"tugevam tõendus teenib tugevama sildi","research-forge.73128a8f5b":"nõue tuleb esimesena","research-forge.734e643f73":"Neli telge","research-forge.734ee26abf":"Palju perekondi","research-forge.736500a024":"avastamine ja tõestus","research-forge.73710d0053":"Neli asja ei muutu tulemusega ja need on põhjus, miks tulemust saab lugeda keegi, kes otsingut ei käivitanud.","research-forge.73e5abe068":"ja meetod jääb privaatseks","research-forge.740141dd76":"Piiratud kontrollid ja omadustestid","research-forge.746a18b508":"Vormindus, operandi järjekord ja normaliseeritud graaf. Piisav, et peatada otsingul sama töö tegemine kaks korda.","research-forge.757b8815d3":"Üks raam","research-forge.75be5b7552":"Mida kirje avaldab","research-forge.75c9be68d0":"Lükkab tagasi","research-forge.75e6b42fc5":"Väljaspool ulatust","research-forge.762b81621f":"Aste, milleni kandidaat peab jõudma, et siseneda piirile.","research-forge.7701124587":"Tõestamine, et deklareeritud keeles ei eksisteeri ühtegi väiksemat õiget programmi, on küsimus, mida superoptimeerimise uurimistraditsioon uurib. See piiratud otsing on see juhtum sellest küsimusest, mida Forge suudab läbi viia ja kontrollida.","research-forge.7777053d27":"Tahtlikult vale olemine","research-forge.77809a4225":"x86-64, RISC-V, WASM, Vulkan GPU","research-forge.779df62acf":"Neli püsivat kohustust","research-forge.77e466696d":"Ükski programm lubatud ruumis ei suuda seda teha. Muuda luba või taotlust.","research-forge.77ed933da8":"Eesmärgivektor ja piiripositsioon","research-forge.7800ae62d5":"Mitte lihtsalt vale","research-forge.78546ce4c3":"Taotletud efekti ei esinda kontrollileping.","research-forge.79919ce9fd":"Mõjud ja võimalused","research-forge.79b38792f6":"Neli eesmärgiperekonda","research-forge.79b3e4bb6e":"Palju kandidaate","research-forge.7a36809fc6":"Forge uurib teistsugust järjestust. Hoia nõuet kauem selgesõnalisena. Lase mitmel teostusel konkureerida deklareeritud keele sees. Kehtesta toetatud käitumuslikud väited enne, kui valid jõudluse ja juurutamise kompromisside vahel.","research-forge.7a67d7aba8":"Kas keskkond, mõjud ja numbrilised reeglid on esindatud?","research-forge.7b2d03931b":"Tavapärane","research-forge.7ba8740951":"Milline poliitika valis ühe liikme ja kes selle taga seisis","research-forge.7bec3a8510":"Peatub","research-forge.7c04a5cf0e":"Kulude vektor toodab piiri, mis on erinev objekt järjestusest.","research-forge.7c1e14bb08":"see ei eemalda inimlikku otsustust","research-forge.7c3f4fda21":"suurus 1","research-forge.7d448f8882":"Üks kandidaadikogum","research-forge.7d58a74832":"Kandidaat võib läbida kõik näited, mida talle on näidatud, ja olla siiski vale kohas, kus keegi ei vaadanud. Forge otsib konkreetset sisendit, mis erinevuse paljastab. See sisend on vastunäide, ja kui see on olemas, liitub see püsiva juhtumite hulgaga, mida iga hilisem kandidaat peab rahuldama. Selle taga olev tsükkel on lühike. Kandidaat esitatakse, seda proovitakse väljaspool talle antud näiteid, üks sisend paljastab vale käitumise ja see sisend säilitatakse. Seejärel algab otsing uuesti suurema hulga vastu. See lõpeb tõestuse, piirangu või väljaöeldud piiriga, mitte kunagi kandidaadiga, mis lihtsalt õige tundub. Sellest hulgast ei eemaldata kunagi midagi, mistõttu kolmas katse tähendab rohkem kui esimene.","research-forge.7d5f9141fc":"Mõõtmine tuleb veel kehtestada","research-forge.7db1bb6632":"Tuletus tõendusmaterjalina","research-forge.7df7e32344":"märk nimetab ainult astet","research-forge.7e2e54dae8":"Tasakaalustatud pöördepunkti võib soovitada. Soovitus salvestatakse koos normaliseerimisega, mis selle tekitas, et arvustaja näeks, et see on poliitika, mitte aritmeetiline paratamatus.","research-forge.7e309ec303":"Toimivushüpotees, mitte mõõdetud","research-forge.7e5a975b6a":"Identiteet","research-forge.7e826f7af3":"TRUST","research-forge.7ea014de7b":"Tõendusmaterjal","research-forge.7ea35b3515":"Sama objekt kannab nelja rolli ilma kategooriat muutmata. See on kandidaat otsingu ajal, ekvivalentsusklassi liige avastamise ajal, subjekt, mida tõestus nimetab, ja sisend, mille vastu Kera kavandab. Üks identiteet kannab kõiki nelja.","research-forge.7f2b6cf0fd":"Kandidaat peab rahuldama seni kogutud tõendusmaterjali. Seejärel otsib kontrollija toetatud domeenist sisendit või olekut, kus see rikub täielikku spetsifikatsiooni. Iga leitud vastunäide liitub tõendusmaterjali hulka püsiva kohustusena, nii et järgmine kandidaat peab rahuldama kõike, mida varasemad tegid, ja ka uue juhtumi. Silmus muutub ainult rangemaks. See peatub tõestuse, piirangu või deklareeritud piiri juures, ja see ei peatu kunagi kandidaadil, mis lihtsalt veenev tundub. Eeltingimuse lisamine on lubatud, kuid see avab uue spetsifikatsiooni identiteedi, mitte ei muuda vana.","research-forge.7f59a1f1d5":"Otsus","research-forge.7f5e7b5182":"Neli institutsionaalset tegevust","research-forge.7f87260e69":"Kirjutatud edasi, loetud tagasi","research-forge.7fc3a8b99e":"Uurimiskujundus ühendab DSL-i tüpiseeritud avaldiste kohal koos loendava, CEGIS, geneetilise programmeerimise ja MCTS otsinguga, e-graafi võrdsuse küllastumise, Cranelift-põhise mõõtmise ning Z3/CVC5 kontrollidega piiratud kohustuste jaoks. Mitme eesmärgiga otsing arvestab latentsust, tehete arvu, mälu ja registrisurvet; sihtkoodi genereerimine hõlmab x86-64, RISC-V, WASM, Vulkan GPU ja Verilog. Ülesannete ja testide arvud, risthosti kiirendused ja tootmistoimivus jäävad valideerimistööks.","research-forge.7fda8c3a33":"Kolm kandidaati, kolm ausat silti","research-forge.7fdf663e3a":"Toimivushüpotees, mitte mõõdetud","research-forge.7fef09721e":"Dweve Forge, kontrollitud programmide avastamine","research-forge.80302bf5ea":"Piiratud kontrollid ja otsing","research-forge.80446347ed":"Vorm","research-forge.80d70e543d":"Piir ja valik","research-forge.814de3b8b2":"Neli piiriliiget","research-forge.8179013356":"Liiklus, tööhulk, ülekanded ja lokaalsus","research-forge.81eccd6085":"Neli põhjust vaikimiseks","research-forge.81f08b5724":"kaua pärast seda, kui inimesed edasi liiguvad","research-forge.8208f3f27b":"Järjekord","research-forge.82319c5d9e":"Teisenduste rakendamine järjestuses teeb varajase valiku, mis võib välistada hilisema täiustuse. Forge uurib kompaktseid esitusi, mis hoiavad korraga palju ekvivalentseid vorme, nii et mitu teisendusteed eksisteerivad koos kuni ekstraheerimiseni. Paljude ümberkirjutuste koos esitamine, mitte ühe järjekorra valimine, on lähenemine, mida uurimiskirjandus nimetab võrdsuse küllastumiseks.","research-forge.8252f95ddf":"ühe sõlme muutmine kontrollitud graafis tagastab kandidaadi hästivormituse","research-forge.825d89212b":"Teisendusteadmised","research-forge.8283b9d96c":"Faaasijärjekord puudub","research-forge.82c24c3687":"Programm on vaba kuju muutma, ja asi, mida see peab rahuldama, ei ole.","research-forge.8301a503f4":"Erimeelsus kahe kehtiva lugemise vahel tuuakse esile küsimusena, mitte ei lahendata otsinguga.","research-forge.8368699cf6":"Palju võimalikke programme","research-forge.8375a2c337":"Kolm katset, üks kasvav juhtumite loend","research-forge.837b910e11":"kuni poliitika valib ühe","research-forge.83908aa381":"Tüüp, kuju, esitus ja arvuline leping, mis seda reguleerib.","research-forge.83ea53e5ec":"Palju võrdseid vorme, kolm ekstraheerimist väärt","research-forge.8597c90c68":"Uurimistestid (ulatus)","research-forge.864c38bd34":"Kus mõõtmist ei eksisteeri, jääb lahter tühjaks. Tühi lahter on väide tõendusmaterjali kohta, ja selle täitmine mudeli väljundiga muudaks vaikselt hinnangu tulemuseks.","research-forge.8682d73e62":"Programm","research-forge.869cb36316":"Üks pakutud rakendus kinnitatud spetsifikatsioonist.","research-forge.8703ca90ce":"Omandus, mäluruum ja sihtpiirangud, mis kehtivad.","research-forge.870d4e66fc":"kirje nimetab ulatuse","research-forge.87805aff07":"Programmi pole üldse","research-forge.879bb91dae":"kumbki pool ei neela teise väidet","research-forge.87d0c490e0":"Mõõtmed, mida see eksperiment võrdleb, valitud enne, kui ühtegi kandidaati mõõdetakse.","research-forge.88306943fe":"Meetod","research-forge.8831be6339":"Kui programmi ei ilmu","research-forge.887b3d18f0":"Forge omab spetsifikatsiooni, kandidaatide otsingut, ekvivalentsuse avastamist, eesmärkide piiri ja kontrollimist. Kera on Dweve graafipõhine süsteemikeel ja Direct Computation alus, ning see omab planeerimist, madaldamist, sihtspetsiifilist emissiooni ja täitmist. Nende vahel liigub kontrollitud semantiline graaf koos oma kohustuste, eesmärgiprofiili ja tõendusmaterjaliga. Graaf on nimetatud, mitte lähtekood, ja tagasi tulev tulemus osutab samale identiteedile.","research-forge.887cf267e6":"Unsat","research-forge.888797190c":"üks käitumine, mitu rakendust","research-forge.888e561892":"Neli viisi parema küsimiseks","research-forge.892257a43b":"Tõestus võib olla korrektne","research-forge.89404ea15f":"Formaalne päring","research-forge.894f8a793c":"Kasuta tugevamat teooriat, laiemat keelt või suuremat eelarvet.","research-forge.897b3ac98d":"Koodigeneraator","research-forge.89b86ab0e6":"Keel","research-forge.89c7caf6b5":"Millised sammud töö teevad","research-forge.89c8a2851d":"Mälu","research-forge.89f5343231":"Püsiv otsuste jälg","research-forge.8a102fcb06":"Piiratud täielik otsing","research-forge.8a9523ae04":"Mida kandidaatsõlm endas kannab","research-forge.8ab2c84ed7":"Üks arhitektuur","research-forge.8b2d50590f":"Formaalne tõendus hõlmab spetsifikatsiooni ja semantikat, mis kodeeriti. Kui mõni keskkonnatingimus jäeti välja või numbriline mudel ei vasta masinale, on tulemus kehtiv ja vastab veidi teistsugusele küsimusele.","research-forge.8b593995c8":"Eeldused","research-forge.8b7acd8daf":"Miski ei sisene piirialale kindlustussildiga, mis on tugevam, kui tõendus seda toetab.","research-forge.8bafd39dbd":"Tahtlik tootepiir","research-forge.8c0dc9aa18":"Eeltingimused, järeltingimused ja kindlustus, milleni tulemus peab jõudma.","research-forge.8c1cf9e158":"Näited, loogilised tingimused, visandid ja võrdluskäitumine, igaüks kirja pandud selle tugevusega, mida ta kannab.","research-forge.8cb71202e7":"Mitu käitumist sobivad näidetega. Üks lisajuhtum otsustab selle.","research-forge.8d9c9bb663":"Kaks kirjet, üks graaf","research-forge.8daee0af31":"Tavapärane tee kitseneb ühele koodibaasile ja avaneb ümberkirjutusprojektidena, kõrval uurimistee, mis hoiab lehvikut kontrollitud kandidaate, kuni poliitika valib ühe","research-forge.8db9aab917":"kui tugevalt on seda kontrollitud","research-forge.8dce170de2":"Väärtus","research-forge.8dd2a359fe":"LEAN","research-forge.8df2bb4b75":"Kindlustustase, milleni kandidaat peab jõudma, otsingupiir ja see, mida teatada, kui miski sinna ei jõua.","research-forge.8e2717f3c6":"Kandidaati, mis ei saaks olla seaduslik, kunagi ei ehitata, nii et piiriala hoiab ainult hästi vormitud programme.","research-forge.8e34678d0d":"ebaseaduslikud kandidaadid ei sisene kunagi hulka","research-forge.8e3934fad2":"Neli poliitikavahekaarti, mis valivad erinevaid liikmeid ühest piirialast, igaüks loob täieliku otsusekirje koos domineerimispõhjustega liikmete kohta, mida ta ei valinud","research-forge.8e50172772":"Sõltumatu kontroll on eraldi aste, sest see küsib teistsugust küsimust. Mitte seda, kas tõestus toodeti, vaid seda, kas kontrollija, kes seda ei tootnud, nõustub, kasutades ainult kandidaadiga kaasas olevat tõendust.","research-forge.8e84017c75":"Link viib konkreetse programmini. Muuda ühte sammu selle sees ja tõestus ei kirjelda enam seda, mida käes hoiad, nii et sild läheb tagasi tavalise struktuurse juurde, kuni kontroll on uuesti tehtud.","research-forge.9032517861":"Viis väidet, viis olekut","research-forge.908b29b50b":"iga aste vajab teistsugust tõendust","research-forge.90e40d5043":"Alusta","research-forge.919003799d":"Testitud","research-forge.91ad20c2db":"Kaks plaani","research-forge.91c0ae2087":"täpne kavatsus vähendab rakendusriski","research-forge.91cf399266":"võib olla tegelik vastus","research-forge.9225f51a2a":"Vastunäide","research-forge.9233f41df0":"Kolm sihtmärki","research-forge.9297ab4ca3":"Loe lugu","research-forge.929818c51d":"Suurim mälujälg","research-forge.929a9f0f25":"Esimene, mis töötab","research-forge.92a7058e4e":"Arutage institutsionaalset koostööd","research-forge.92f5fe6952":"Neli tulemust","research-forge.936c25084e":"Võrdluskäitumine","research-forge.9388f4158d":"tasakaalustatud variant on valik nagu teisedki ja ta ütleb seda","research-forge.93c09204c0":"Mõõdukas mõlemas kuludes","research-forge.93c2975761":"Jälgi otsingut","research-forge.93f79d808f":"Kas valitud piirialaliige peegeldab väljendatud prioriteeti?","research-forge.942587e61e":"Projektileht","research-forge.9477d7acdd":"Taotle partneri juurdepääsu","research-forge.94822e9dc6":"Forge, institutsionaalne vaade","research-forge.94827e8438":"Loe artikleid","research-forge.94859cf20a":"Suletud ja avatud","research-forge.948c81b996":"Mitu kontrollitud teed edasi","research-forge.94cc86c489":"üks muudetud samm ja märk nimetab programmi, mida sa enam käes ei hoia","research-forge.94ed3b0134":"kavatsusest valitud programmini","research-forge.950dfeeb8b":"Kavatsus saab koodiks","research-forge.9550373e8b":"Mõõdetud","research-forge.95eaeda430":"Kui suureks võib kontrollitud graafipiirkond kasulikult muutuda.","research-forge.9678c4f1e3":"üks identiteet ületab piiri","research-forge.96aff7c058":"Üks vastunäidete silmus","research-forge.96b9633285":"Mida otsing võib muuta","research-forge.973c3f46d7":"Ulatuses","research-forge.978aa6569a":"Lõpeb varem","research-forge.97c89a4d66":"Tegevus","research-forge.97ee6e5610":"Tee ettepanek","research-forge.992bc34385":"Puhas spetsifikatsioon ei saa teel hankida faili- ega võrgu juurdepääsu. Fikseeritud laiusega täisarvu leping ei saa vaikselt muutuda piiramatuks matemaatiliseks täisarvuks. Skaalat kandev esitus säilitab oma skaala ja mäluturvaline visand ei saa olla lõpetatud kontrollimata aliasega.","research-forge.99508624d6":"Ükski programm ei saa olla","research-forge.996c4a8976":"on programm sees","research-forge.99dc6bab08":"Kaks kandidaati, mis rahuldavad sama näitehulka ja lahknevad sisendil, mida keegi ei esitanud, koos kolme viisiga, kuidas sidusrühm saab selle lahendada","research-forge.9a24005705":"Üks täielik otsing, suuruse järgi","research-forge.9a469ce88c":"Konkreetne","research-forge.9a4ce5f246":"valik tuleb välja öelda","research-forge.9ae33a7d0e":"Omadus","research-forge.9b7bd11153":"Tõendatud graaf, mis ületab kõva piiri Kerasse, kavandatud kahel erineval viisil, mõlema tulemusega lingitud samasse graafi identiteeti","research-forge.9c25db95cc":"Kandidaat A","research-forge.9c86ef6b28":"Uurib kandidaatrakendusi deklareeritud lepingu all","research-forge.9cbe42aaff":"Kavandatud","research-forge.9cfcf5930d":"Latentsus, liikumine, juurutamise sobivus ja tõenduskoormus ei muutu esimese tulemuse tõttu.","research-forge.9d68007b07":"Programm","research-forge.9dba232302":"Käitumine, mida paluti","research-forge.9dc6ec542b":"ei ole sama, mis selle käivitamine","research-forge.9dd59ab994":"Võrdleb","research-forge.9df0f32743":"Registrid, paralleelsus, seadme piirangud, teisaldatavus","research-forge.9e811eeaf8":"Pärast õigsust","research-forge.9ee018232e":"Kandidaati ei sisene midagi, mida pakett ei lubanud.","research-forge.9f36fa8055":"Hoia seda kuju ja leia puuduv osa.","research-forge.9f78c690af":"erinevatel põhjustel","research-forge.9fea6de725":"Formaalne","research-forge.9ff7951f81":"Tõendatud märk laiendatud viieks osaks, näidatud uuesti sama programmi kõrval pärast seda, kui üks samm muutus ja nendevaheline link katkes","research-forge.a0a9a568c3":"Kandidaadid, mis jäid kehtivaks, ja need, mille lõpetas vastunäide","research-forge.a0c9c40551":"programm muudab kuju","research-forge.a10a7ad63a":"Mida pakett parandab","research-forge.a266f0a07d":"Uuri kandidaatkerneid","research-forge.a2e1cc1b2f":"Võib muutuda","research-forge.a2f4a96337":"Kompromiss","research-forge.a32a41c9d1":"programmi pole, koos põhjusega","research-forge.a336e6650d":"Kaks kandidaati, kaks ausat peatuspunkti","research-forge.a3c143732a":"probleem on enne otsingut lahendatud","research-forge.a3c686e711":"Kategooria","research-forge.a4508fc8ef":"Semantiline seos","research-forge.a48f8c0cf7":"Viis programmi, üks spetsifikatsioon","research-forge.a4c745386f":"Neli poliitikat","research-forge.a57b5d2330":"Otsing võib muutuda","research-forge.a6067adc3c":"latentsus, toimingud, mälu, registrid","research-forge.a618b4be8d":"Päring","research-forge.a61c938f35":"Otsing pakub","research-forge.a723285355":"Modelleeritud","research-forge.a79764b5e5":"Mitu õiget programmi, igaüks oma tõendusega","research-forge.a7987d27ae":"Loobub ühest ümberkirjutusest","research-forge.a898f4eb0d":"See on sama valik, mille igaüks teeb linna läbiva marsruudi puhul. Kiireim, odavaim ja vähemate muudatustega variant on kõik mõistlikud. Mõistlik ei ole väita, et on ainult üks vastus, ilma et ütleksid, mida sa optimeerisid.","research-forge.a8b262d32b":"Mudelilt koodi küsimine ja millegi õige välimusega vastuse saamine on erinev harjutus. Vastusel pole midagi, mida rahuldada, seega pole midagi, mille vastu see ebaõnnestuks, ja lugeja peab kogu hinnangu andma.","research-forge.a8e5c0ccf3":"Graaf, mida kontrollimise tulemus tegelikult nimetab.","research-forge.a91bcce893":"Alati","research-forge.a94848cbdb":"Ainult kandidaadid, mis läbisid värava, jõuavad selleni.","research-forge.a9d6afeda0":"tagasi ettepanekusse","research-forge.a9f1693ebe":"Iga liige rahuldab deklareeritud lepingut, seega on ainus järelejäänud küsimus, millist kulu sa aktsepteerid.","research-forge.aa1a2e191d":"ESMALT VÄLJA ÖELDUD","research-forge.aa2b80d828":"Piir","research-forge.aa62568659":"Selle ütlemine, mida ei teata, on kasulikum kui lünga täitmine millegagi, mis loeb hästi.","research-forge.aa6708d51a":"Toetatud universaalne seos tõestati.","research-forge.aa88ef980e":"Millistes toetatud keskkondades saab seda käitada","research-forge.aa9002c223":"Märk, avatud","research-forge.aab9ca1bc6":"Klassis","research-forge.ab89d05c4b":"Paigutus","research-forge.ab98f5b857":"Fikseeritud","research-forge.ab9a4aae0b":"Väikseim liikumine","research-forge.aba86cd010":"Poliitika valib","research-forge.abc0c09f1f":"Masin võib muuta, millised sammud tööd teevad, millises järjekorras need toimuvad ja millised vaheväärtused üldse eksisteerivad. Kaks programmi, millel pole neist ühtegi ühist, võivad siiski teha sama tööd, ja otsingul on lubatud eelistada kumbagi.","research-forge.ac30f0abf3":"Kui see muudab seda, mida programm toodab, pole see selle programmi täiustus. Õigsus on see, mis teenib kandidaadile koha kuluteemalises vestluses.","research-forge.acc3156c5b":"Ava link","research-forge.ad2cecac38":"Tekst ja struktuur","research-forge.ad44adccc4":"tõestus tugevdab täpset väidet","research-forge.ad59e3b102":"Kõige laiem","research-forge.adfc01e921":"Kandidaati saab hinnata ainult probleemi suhtes, mis oli juba sõnastatud.","research-forge.adfccdc8de":"Forge: mida","research-forge.ae2fee1a70":"Koosta ainult tüübilt õigeid suuremaid avaldisi.","research-forge.aeb1c76446":"Neli rõngast, üks avaldamisreegel","research-forge.aebc2854f4":"Numbriline","research-forge.aeedafb2fe":"ebaõnnestumisest saab püsiv kohustus","research-forge.af3cc2e010":"programm, mitte eesmärk","research-forge.af68d81f17":"Käitumine ja piirangud, mis määratlesid edu.","research-forge.af78a00855":"Kui otseselt saab selle käitumist kontrollida","research-forge.afbab5dc80":"esimene leitud kandidaat säilitab oma koha ajaloos ja lahkub piirilt","research-forge.aff55d9c0e":"Teata väikseimast tõendatud kandidaadist ja selle piirist.","research-forge.b0339e3e63":"Synthesis, Cranelift ja","research-forge.b048046ec8":"Kõige väiksema latentsusega kandidaat võib hoida suuremat tööhulka. Kõige kaasaskantavam võib olla aeglasem just sinu masinas. Kõige lihtsama tõestusega võib loobuda agressiivsest ümberkirjutamisest. Tasakaalustatud põlvepunkti võib soovitada, ja soovitus salvestatakse poliitikana koos selle normaliseerimisega.","research-forge.b06be2ecea":"Seepärast avaldab Forge eeldused koos väitega ja seepärast on ülevaatusel nimelised omanikud. Spetsifikatsioon, mudel ja täitmise sihtmärk on kolm eraldi allkirja.","research-forge.b0811e470d":"Kompromiss","research-forge.b0a205ebad":"Alusta lubatud sisenditest ja konstantidest.","research-forge.b0b01215a0":"Kandidaat D","research-forge.b116105199":"Neli küsimust, mis tuleb otsustada","research-forge.b1d348384e":"Rohkem kui üks liik paremast","research-forge.b23977841c":"Vastunäited","research-forge.b26aa65383":"Mida sõna tõendatud hõlmab","research-forge.b2bc0c005f":"Kontrollitud","research-forge.b30077250b":"teosta varakult või säilita alternatiivid","research-forge.b307b88c84":"Kaasaskantavus","research-forge.b3776d63ad":"Tagumikud","research-forge.b39a168c1e":"Pakett kirjutatakse üks kord ja iga tulemus sellel lehel viitab tagasi versioonile, mis selle lõi.","research-forge.b3c0c45a3e":"Forge hoiab lahus struktuurse kehtivuse, konkreetse testimise, piiratud ammendava kontrolli, formaalse tõestuse, sõltumatu kontrolli ja täitmise seotuse. Kandidaat liigub edasi ainult siis, kui tõendid järgmise astme jaoks on olemas, ja saavutatud aste on tulemuse osa, mitte kaunistus sellel. Kiire otsing võib hoida testitud kandidaate, samal ajal kui tõestust veel hangitakse. Sõltumatu kontroll on oma astmel, sest see küsib, kas kontrollija, kes tõestust ei tootnud, nõustub sellega.","research-forge.b45b598d0c":"Üks graafi identiteet ühendab spetsifikatsiooni, tõestuse, plaani ja tagasi tulnud tulemuse.","research-forge.b462217ad5":"Üks sisend näitab, et käitumine on vale.","research-forge.b4dad06170":"Tehnilised andmed","research-forge.b51ba796f2":"Algab","research-forge.b5338782b3":"Mõõtmed, mille järgi kandidaati hinnatakse, modelleeritakse või mõõdetakse","research-forge.b568d47f2e":"Sisend","research-forge.b5b0a8f813":"Kontsentrilised kihid avalikust uurimisküsimusest reprodutseeritava protokolli ja avaldatud tulemuse kaudu kaitstud sisemise meetodini","research-forge.b6272cdaf7":"Forge salvestab spetsifikatsiooni identiteedi, olulise kandidaadi põlvnemise, vastunäited, kasutatud ekvivalentsisuhted, objektiivsed väärtused, kindlustuse üleminekud ja valikupoliitika. See ahel selgitab, miks valitud programm eksisteerib ja millised alternatiivid see kõrvale jättis, ning sellest piisab, et keegi teine saaks väite rekonstrueerida. Taasesitus ei pea kordama iga uurimuslikku haru, ainult tõendeid, millel väide põhineb.","research-forge.b638127a16":"Piiratud täielik","research-forge.b66b54c1d8":"Kandidaat objektina","research-forge.b6d2f4c9e8":"otsing ei saa tüübisüsteemi laiendada","research-forge.b70446abdf":"Nõuded võivad olla vastuolus. Näidete hulk võib lubada kokkusobimatuid käitumisi. Taotletud garantii võib jääda väljapoole semantikat, mida kontrollileping esindab. Otsing võib saavutada oma deklareeritud piiri ilma järelduseta. Forge teatab neist igaühest eraldi, sest need nõuavad nelja erinevat reageeringut ja nende järgi tegutsemine maksab neli erinevat summat. Vastuolulised klauslid lepitakse, konkureerivad käitumised eraldatakse rohkemate tõenditega, lahendamata otsingut pikendatakse ja lepingust väljapoole jääv garantii salvestatakse sellisena, mida ei saa nii, nagu öeldud, õigustada.","research-forge.b71f6e67ce":"Uuri ühte rakendusotsust","research-forge.b74c664479":"Kindlustuse olekud","research-forge.b78c6b0e99":"näidete läbimine ja tingimuse rahuldamine ei ole sama väide","research-forge.b82b9b1043":"vormid on kombineeritud tahtlikult","research-forge.b895ceb6b1":"mittevastus hoiab ära vale enesekindluse","research-forge.b8f5629ab6":"kohustuste veerg ei kahane kunagi iteratsioonide vahel","research-forge.b97a1099a3":"Masinaga kontrollitav","research-forge.b9b15e5f94":"Kolm toimikut","research-forge.ba25b214d8":"igaüks küsib midagi erinevat","research-forge.ba3fef96ae":"Tõestus viies osas","research-forge.babfc32160":"Vähemalt üks käitumine rahuldab kõiki klausleid korraga.","research-forge.bac127c5b7":"Mittedomineeritud","research-forge.bb11a8e3f8":"Reeglid","research-forge.bb2fe63e5a":"INPUT","research-forge.bb54db510a":"Nõustu","research-forge.bb9cf14180":"Poliitika","research-forge.bb9d653f4e":"Väljakutse","research-forge.bbddd6ecdf":"Millised vaheväärtused eksisteerivad","research-forge.bc0b16aa7f":"Neli kontrollitud programmi ümber järjestatud selle järgi, millist omadust te küsite, kusjuures tasakaalustatud valik on näidatud eelistusena nagu teisedki","research-forge.bc6b9b38a3":"Dweve uurimismeetodisse kuuluvad sammud ilmuvad suletud sõlmedena koos nende sisendite, väljundite ja identiteedi avaldamisega. Institutsionaalne läbipaistvus ja uurimiskonfidentsiaalsus on käsitletud ühe ahela kahe omadusena, mitte vastanditena.","research-forge.bc7819b34f":"Teadmata","research-forge.bcd3b8580e":"objekt ei muuda kunagi kategooriat","research-forge.bce0641417":"Otsing","research-forge.bd163f2c2d":"Iga seos kannab endaga selle kõrvaltingimusi. Algebraline ümberkorraldamine, tugevuse vähendamine, vektoriseerimine, liitmine, paigutuse muutmine ja liikumise elimineerimine on lubatud ainult siis, kui aritmeetika, laius, ümardamine, efekt ja järjestuse tingimused selles katses kehtivad.","research-forge.bd5d4d39fa":"Ütleb","research-forge.bda89bbff3":"Näite muutmine, tüübi laiendamine, efekti lubamine või numbrilise tolerantsi lõdvendamine loob erineva uurimisprobleemi erineva identiteediga. Varasem käitus jääb kirjesse oma paketi all, nii et kahte tulemust ei loeta kunagi vastustena samale küsimusele.","research-forge.bdfebc22bf":"Objektiivne vektor","research-forge.be601df25e":"Uurimine","research-forge.beb1ed4753":"avalik tõend kaitstud meetodi kõrval","research-forge.bef833878c":"juhtumite loend ei muutu voorude vahel kunagi lühemaks","research-forge.bf55421b4a":"Käitumine, mida küsitakse, ei ole see, mida kontroll hõlmab.","research-forge.bff5c4dd05":"Nõua","research-forge.business.actionCase":"Vaata institutsionaalset juhtumit","research-forge.business.actionCooperate":"Arutage uurimiskoostööd","research-forge.business.banner.body1":"See tõestab, et üks tee on olemas.","research-forge.business.banner.body2":"See ei tõesta, et tee on kõige kiirem, väikseim, kõige kaasaskantavam, kõige lihtsamini auditeeritav või kõige paremini sobiv institutsioonile, mis peab seda haldama.","research-forge.business.banner.eyebrow":"Disainiruumi probleem","research-forge.business.banner.firstDetail":"Otsing on tuvastanud, et lubatud kandidaat on olemas.","research-forge.business.banner.firstLabel":"Üks rahuldav tee","research-forge.business.banner.firstStatus":"Kehtiv ulatuses","research-forge.business.banner.footer":"Dweve Forge, kontrollitud programmi avastamine","research-forge.business.banner.frontierDetail":"Erinevate objektiivsete profiilide jaoks jääb mitu õiget programmi.","research-forge.business.banner.frontierLabel":"Mittedomineeritud alternatiivid","research-forge.business.banner.frontierStatus":"Nähtav","research-forge.business.banner.headline":"Õige on algus","research-forge.business.banner.headlineAccent":"mitte lõplik vastus","research-forge.business.banner.instrument":"Pärast õigsust","research-forge.business.banner.leftLabel":"Esimene kehtiv kandidaat","research-forge.business.banner.limitDetail":"Esimene tulemus ei ütle midagi lähedal asuvate kompromisside kohta.","research-forge.business.banner.limitLabel":"Universaalset optimumi pole","research-forge.business.banner.limitStatus":"Jätka otsimist","research-forge.business.banner.policyDetail":"Institutsioon märgib, milline kompromiss kujundas valiku.","research-forge.business.banner.policyLabel":"Salvestatud valikupoliitika","research-forge.business.banner.policyStatus":"Ülevaatatav","research-forge.business.banner.rightLabel":"Otsustuspiir","research-forge.business.banner.tag":"Võrdle","research-forge.business.banner.verdict":"Hoia alternatiive alles, kuni poliitika on selgesõnaline.","research-forge.business.banner.verdictLabel":"Otsustusreegel","research-forge.business.close.body":"Tooge valdkonna kavatsus, formaalsed meetodid, riistvara mõõtmine või sõltumatu ülevaade. Forge pakub jagatud uurimisobjekti programmi avastamise, tõestuse ja täitmise võrdlemiseks.","research-forge.business.close.label":"Dweve Forge, uurimiskoostöö","research-forge.business.close.primary":"Arutage institutsionaalset koostööd","research-forge.business.close.secondary":"Kontrollige tõenduslepingut","research-forge.business.close.title":"Vaidlustage üks otsus.","research-forge.business.eyebrow":"Dweve Forge, kontrollitud programmi avastamine","research-forge.business.lede":"Dweve Forge on uurimisprojekt, mis muudab näited, piirangud ja osalised spetsifikatsioonid kontrollitud otsinguks kehtivate programmide leidmiseks, võrdleb mittedomineeritud alternatiive ja säilitab valitud tulemust toetavad tõendid. Spetsifikatsioon jääb püsivaks varaks, samas kui rakendusvalikud jäävad kauemaks avatuks.","research-forge.business.titleAccent":"kuni tõestus otsustab","research-forge.business.titleLead":"Hoia kavatsus lahti","research-forge.businessGlyph.ambiguous":"Käitumine on endiselt mitmetähenduslik","research-forge.businessGlyph.assurance":"Tagatis nimetatud","research-forge.businessGlyph.boundary":"Uurimisprogramm, mitte tarkvarapakkumine","research-forge.businessGlyph.candidateA":"Kandidaat A","research-forge.businessGlyph.candidateB":"Kandidaat B","research-forge.businessGlyph.candidateC":"Kandidaat C","research-forge.businessGlyph.candidateD":"Kandidaat D","research-forge.businessGlyph.counterexample":"Vastunäide leitud","research-forge.businessGlyph.execution":"Plaan ja tulemus seotud","research-forge.businessGlyph.fixed":"Fikseeritud","research-forge.businessGlyph.kera":"Kera täitmine","research-forge.businessGlyph.lowLatency":"Madalaim latentsus","research-forge.businessGlyph.lowMovement":"Madalaim liikumine","research-forge.businessGlyph.policy":"Valikupoliitika","research-forge.businessGlyph.portability":"Kõige laiem teisaldatavus","research-forge.businessGlyph.research":"Uurimistöö","research-forge.businessGlyph.selected":"Valitud graaf","research-forge.businessGlyph.simpleProof":"Lihtsaim tõestus","research-forge.businessGlyph.spec":"Käitumine, piirid ja tagatispoliitika","research-forge.businessGlyph.specFixed":"Spetsifikatsioon fikseeritud","research-forge.businessGlyph.specLabel":"Muutumatu spetsifikatsioon","research-forge.businessGlyph.subtitle":"Enne käivitamist kontrollitud alternatiivid","research-forge.businessGlyph.title":"Spetsifikatsiooni otsustusleht","research-forge.businessGlyph.tradeoffs":"Kompromissid nähtavad","research-forge.businessGlyph.visible":"Nähtav","research-forge.businessHero.titleMiddle":"parem","research-forge.businessHero.titleSuffix":"tarkvara","research-forge.c00cde6a62":"Lõplik deklareeritud domeen oli hõlmatud ilma tõrgeteta.","research-forge.c023fe51a2":"Forge on saadaval Dweve'i uurimispartnerluse programmi kaudu. Testige piiratud programmi sünteesi küsimusi ja leppige kokku hindamistingimused enne juurdepääsu. Tulemused jäävad uurimistõenditeks, mitte tootelubaduseks.","research-forge.c040f6e04f":"piir on esitatud koos tulemusega","research-forge.c0caf528d8":"Mitme eesmärgi kulu","research-forge.c10a6d0899":"Vastuolulised nõuded, mis avastatakse rakendamise ajal, muutuvad viivituseks ja ümbertegemiseks. Pärast kasutuselevõttu avastatud ebaselgus muutub ebajärjekindlaks käitumiseks, mida keegi peab lahendama. Mõlema leidmine enne rakenduse olemasolu on kõige odavam koht selle leidmiseks.","research-forge.c12f928235":"Graafi üleandmine","research-forge.c144b00ba8":"Latentsus, läbilaskevõime ja kriitiline tee","research-forge.c174fa3158":"Piir ei liigu, kui poliitika liigub","research-forge.c1929c45f3":"Otsing võib tõestada, et miski deklareeritud keeles ei rahulda nõuet, jätta otsuse langetamata oma teooria ja ressursipiirangute raames või leida, et esitatud tõendid lubavad mitut kokkusobimatut käitumist.","research-forge.c1fcd5ecff":"See võib olla kiirem. See võib olla väiksem. See võib olla kõige elegantsem asi, mida keegi selle probleemi jaoks oli välja mõelnud.","research-forge.c20d749a05":"KOMPROMISSID NÄHTAVAD","research-forge.c2184a31d3":"Nõue on asi, mida tasub säilitada, ja rakendus on tulemus, mille see tootis.","research-forge.c297908b88":"Kandidaati ei saa edutada kontrolli abil, vaid ainult tõenditega, et järgmine aste on olemas.","research-forge.c29cf0b245":"Kompromissid","research-forge.c2bb6fa0c5":"SPETSIFIKATSIOON MUUTUMATU","research-forge.c2ea17d5fe":"KOLM VÄLJA","research-forge.c33ef52668":"nõue ei","research-forge.c3451e6677":"Näited näitavad oodatavat käitumist juhtudel, mida inimesed saavad kontrollida. Loogilised tingimused määratlevad, mis peab kehtima väljaspool neid juhtumeid. Osaline visand säilitab ohutusarhitektuuri, liidese või nõutud juhtimisvoo, samal ajal kui üks piirkond jääb avastamiseks avatuks. Koos muudavad nad nõude piisavalt täpseks, et masin saaks selle vastu ebaõnnestuda, mis ongi spetsifikatsiooni eesmärk. Kõik, mida otsingul on lubatud teie eest otsustada, kuulub samasse dokumenti.","research-forge.c36594e8f5":"minimaalne deklareeritud keeles","research-forge.c3be8bb127":"Kui kiire","research-forge.c3e4b59bd1":"Kui palju andmeid programm liigutab","research-forge.c439038abe":"Pole hõlmatud","research-forge.c440d9bf36":"Otsing ei saa päästa kandidaati eesmärki muutes.","research-forge.c4cc9c34bd":"Üks täiustamistsükkel","research-forge.c533db2294":"enne valikute nägemist","research-forge.c554cb5d95":"Dweve Research, Holland","research-forge.c60a3a3cff":"Otsige toetatud domeenist rikkuvat sisendit.","research-forge.c648f0b37b":"Neli põhjust, miks vastus on programm puudub","research-forge.c69925079f":"vale just sellel juhul","research-forge.c6c9f7cd5c":"Nutikas otsetee","research-forge.c6d954c113":"Miski deklareeritud keeles ja eeldustes ei rahulda nõuet.","research-forge.c74dddd8a0":"Sissekanded, mis vastavad hilisemale küsimusele, kirjutati otsuse tegemise ajal.","research-forge.c76a21c28e":"Seetõttu saab tuttava identiteedi lubada täpses täisarvupiirkonnas ja keelata ujukomapiirkonnas sama graafi sees. Tingimus jääb seotuks seosega, nii et ekstraheerimine ei päri kunagi ümberkirjutust, millele tal polnud õigust.","research-forge.c7e00eda62":"väide on minimaalne selles keeles, sellel piiril","research-forge.c7f2c2e7d4":"Kolm vooru","research-forge.c8050fa93f":"See tõestab, et üks tee on olemas. See on reaalne tulemus ja seda tasub varakult omada, sest see ütleb teile, et nõuet saab üldse rahuldada teie deklareeritud keeles.","research-forge.c82f0b5250":"ristuv paar on kompromiss, mitte paremusjärjestus","research-forge.c855f0a33c":"Toetamata teooria peatab kandidaadi olekus testitud või väljaspool ulatust, ja kirje ütleb, kumb. Formaalne tulemus võib nimetada semantilise graafi, samal ajal kui väljastatud artefakt ootab veel oma käivitamise linki. Ükski neist olekutest pole kokku surutud ühte märki.","research-forge.c932a404bb":"Testige, vaidlustage ja tõestage, mida tõendid toetavad.","research-forge.c93e1581c7":"Isegi väike probleem võib sisaldada miljoneid võimalikke programme. Forge vaatab operatsioonide ja piiride sisse, mida eksperiment lubab, ja erinevad otsingukäitumised uurivad selle ruumi erinevaid osi. Mida ükski neist ei tohi teha, on muuta probleemi lihtsamaks: nõue asub väljaspool otsingut ega liigu.","research-forge.c940737ecf":"Forge, uurimisvaade","research-forge.c968557f4b":"Kinnitatud graaf ja tõendid Kerale","research-forge.c9bf3b001c":"kõige väärtuslikum tulemus","research-forge.c9d8f0eef6":"kärbi enne hindamist","research-forge.ca032b5844":"Mida see teeb","research-forge.ca046ad257":"Loe uurimist","research-forge.ca08ca46bd":"Kindluse redel","research-forge.ca09c54bff":"Võimalused","research-forge.ca6d0e3aaa":"Etapp","research-forge.ca7b181648":"Fikseeritud järjekord","research-forge.cb3242398c":"Mitu programmi jäävad kehtivaks","research-forge.cb3888722e":"Kumbki pool ei võta teise väidet üle ja graafi identiteet hoiab ühenduse täpsena.","research-forge.cb48a44ca9":"Kolm iteratsiooni","research-forge.cb4ae000d8":"programm jääb avatuks","research-forge.cb5c0156c2":"Kannab oma piiranguid","research-forge.cbb9f1b292":"igaüks ütleb midagi erinevat","research-forge.cbbe214a22":"Too spetsifikatsioon","research-forge.cc68ebf0f3":"Piir hoiab kandidaate, keda ükski teine kandidaat ei löö kõigil aktiivsetel eesmärkidel. Liikme eemaldamine nõuab domineerimisseost, mida saab näidata, mitte otsingusse peidetud eelistust. See muudab tehnilise võrdluse millekski, mida ülevaatekogu saab lugeda: iga liige täidab sama lepingut ja erineb ainult oma maksumuse poolest.","research-forge.ccfd13401b":"Kinnista probleem","research-forge.cd27068c9e":"Püsiv vara","research-forge.cd3d5a59f1":"Deterministlik täitmine","research-forge.cdaa0de1dc":"Ühise alamavaldise jagamine","research-forge.cdbed7e540":"Otsingukeel","research-forge.cde215073a":"kõik neli täidavad sama lepingut","research-forge.cdf33799d9":"Täitmise lingi kirje","research-forge.ce3b4e045e":"enne kui see muutub püsivaks","research-forge.ce9e850988":"otsing teatab lahknemisest, mitte ei vali neist ühte","research-forge.cec4b662d3":"Osaline programm","research-forge.cecae09ffe":"Masin leiab kandidaadi.","research-forge.cf5ed047cf":"Eesmärgiväärtused ja asukoht piiril.","research-forge.cf61965045":"faktid, mis on teada enne kui midagi hinnatakse","research-forge.cf88038e56":"Pole lõplik","research-forge.cf9b77061f":"Avatud","research-forge.consumer.banner.bodyOne":"Kandidaat võib olla kiirem, väiksem või kergemini käitatav.","research-forge.consumer.banner.bodyTwo":"Kui see rikub spetsifikatsiooni, pole see selle programmi optimeerimine.","research-forge.consumer.banner.checkDetail":"Nõua katse nimetatud tõendusastet.","research-forge.consumer.banner.checkLabel":"Kontrolli õigsust","research-forge.consumer.banner.checkStatus":"Värav","research-forge.consumer.banner.compareDetail":"Ainult vastuvõetavad kandidaadid sisenevad kompromissiarutellu.","research-forge.consumer.banner.compareLabel":"Võrdle kulusid","research-forge.consumer.banner.compareStatus":"Seejärel võrdle","research-forge.consumer.banner.eyebrow":"Mitte-vaieldav piir","research-forge.consumer.banner.findDetail":"Uuri erinevaid lubatud programmistruktuure.","research-forge.consumer.banner.findLabel":"Leia kandidaate","research-forge.consumer.banner.findStatus":"Otsing","research-forge.consumer.banner.footer":"Dweve Forge, kontrollitud programmide avastamine","research-forge.consumer.banner.instrumentTag":"Fikseeritud","research-forge.consumer.banner.instrumentTitle":"Järjekord","research-forge.consumer.banner.stateDetail":"Kirjuta tulemus ja selle piirid enne otsingut.","research-forge.consumer.banner.stateLabel":"Sõnasta käitumine","research-forge.consumer.banner.stateStatus":"Fikseeritud","research-forge.consumer.banner.titleAccent":"kui see muudab vastust","research-forge.consumer.banner.titleLead":"Nutikas otsetee on kasutu","research-forge.consumer.banner.verdictLabel":"Reegel","research-forge.consumer.banner.verdictValue":"Õigsus annab pääsu kompromissiarutellu.","research-forge.consumer.close.body":"Avalik Forge materjal selgitab spetsifikatsiooni, avastatud alternatiive, vastunäiteid ja seda, mida uurimistöö tegelikult tõestada suudab. Forge on aktiivne sisemine uurimistöö, ilma tarkvarakatsetuseta, avaliku paketita või avatud lähtekoodiga allalaadimiseta.","research-forge.consumer.close.eyebrow":"Dweve Forge, kontrollitud programmide avastamine","research-forge.consumer.close.primary":"Avasta Dweve uurimistööd","research-forge.consumer.close.secondary":"Naase katse juurde","research-forge.consumer.close.title":"Jälgi otsingut kavatsusest tõenduseni.","research-forge.consumer.counterexample.body":"Kandidaat võib töötada kõigil esitatud näidetel ja siiski mujal ebaõnnestuda. Forge saab selle väljakutsuda konkreetse sisendiga, mis paljastab erinevuse. See sisend muutub vastunäiteks.","research-forge.consumer.counterexample.eyebrow":"Ebaõnnestumine kasuliku tõendusena","research-forge.consumer.counterexample.footer":"Paljude näidete läbimine ei tähenda siiski, et programm on tõestatult õige.","research-forge.consumer.counterexample.pillFailure":"Konkreetne ebaõnnestumine","research-forge.consumer.counterexample.pillPermanent":"Püsiv juhtum","research-forge.consumer.counterexample.pillRetry":"Otsi uuesti","research-forge.consumer.counterexample.secondaryLeft":"Ebaõnnestunud juhtum liitub püsivate tõenditega. Järgmine kandidaat peab rahuldama nii varasemaid näiteid kui ka uut piirjuhtumit.","research-forge.consumer.counterexample.secondaryLeftLabel":"Kandidaat muutub","research-forge.consumer.counterexample.secondaryRight":"Ebaõnnestumine võib paljastada ka ebaselgust või vastuolu taotluses. Kavatuse selgitamine loob uue spetsifikatsiooni ja hoiab varasema tulemuse nähtavana.","research-forge.consumer.counterexample.secondaryRightLabel":"Kavatsus võib muutuda","research-forge.consumer.counterexample.sideChallengeDetail":"Vaata kaugemale sõbralikest näidetest.","research-forge.consumer.counterexample.sideChallengeLabel":"Väljakutse","research-forge.consumer.counterexample.sideFooter":"Ebaõnnestumine kitsendab otsingut ja selgitab inimese nõuet.","research-forge.consumer.counterexample.sideMetaLabel":"Suund","research-forge.consumer.counterexample.sideMetaValue":"Iga voor rangem","research-forge.consumer.counterexample.sideProposeDetail":"Leia kandidaat, mis sobib teadaolevate juhtumitega.","research-forge.consumer.counterexample.sideProposeLabel":"Paku","research-forge.consumer.counterexample.sideRememberDetail":"Lisa konkreetne ebaõnnestumine tõenditele.","research-forge.consumer.counterexample.sideRememberLabel":"Pea meeles","research-forge.consumer.counterexample.sideRetryDetail":"Otsi kandidaati, mis peab vastu tugevamale hulgale.","research-forge.consumer.counterexample.sideRetryLabel":"Proovi uuesti","research-forge.consumer.counterexample.sideStatus":"Tsükkel","research-forge.consumer.counterexample.sideSubtitle":"Kuidas nõrk kandidaat teravdab küsimust","research-forge.consumer.counterexample.sideTitle":"Üks vastunäidete tsükkel","research-forge.consumer.counterexample.titleAccent":"vale just sellel juhtumil","research-forge.consumer.counterexample.titleLead":"Mitte lihtsalt vale","research-forge.consumer.counterexample.visualFooter":"Järgmine kandidaat peab olema parem ilma nõuet nõrgendamata.","research-forge.consumer.counterexample.visualMeta":"Illustreeriv juhtum","research-forge.consumer.counterexample.visualStatus":"Vastunäide leitud","research-forge.consumer.counterexample.visualSubtitle":"Kolm kandidaati kohtuvad üha rangema piiriga","research-forge.consumer.counterexample.visualTitle":"Ebaõnnestunud juhtum muutub püsivaks kohustuseks","research-forge.consumer.glyph.evidence.counterexample":"Ebaõnnestumine salvestatud","research-forge.consumer.glyph.evidence.examples":"Näited läbitud","research-forge.consumer.glyph.evidence.execution":"Täitmine seotud","research-forge.consumer.glyph.evidence.proof":"Seos tõestatud","research-forge.consumer.glyph.footer":"Masin ei pruugi tagastada ühtegi programmi.","research-forge.consumer.glyph.header.detail":"Taotlus jääb fikseerituks, samal ajal kui teed muutuvad.","research-forge.consumer.glyph.header.state":"Uurimine aktiivne","research-forge.consumer.glyph.header.title":"Programmi avastamise eksperiment","research-forge.consumer.glyph.path.a.label":"Ebaõnnestub piirjuhtumil","research-forge.consumer.glyph.path.a.state":"Tagasi lükatud","research-forge.consumer.glyph.path.b.label":"Õige, suurem kulu","research-forge.consumer.glyph.path.b.state":"Säilita","research-forge.consumer.glyph.path.c.label":"Õige, erinev kompromiss","research-forge.consumer.glyph.path.c.state":"Tõestatud","research-forge.consumer.glyph.request.detail":"Näited, reeglid ja osaline programm määravad otsingu piiri.","research-forge.consumer.glyph.request.label":"Teisenda kõik toetatud sisendid ja säilita märgitud piirang.","research-forge.consumer.hero.eyebrow":"Dweve Forge, kinnitatud programmi avastamine","research-forge.consumer.hero.lede":"Dweve Forge on uurimisprojekt, mis otsib programme, mis rahuldavad näiteid, piiranguid või osalisi spetsifikatsioone, parandab kehtivaid kandidaate selgete eesmärkide järgi ja salvestab iga tulemust toetavad tõendid.","research-forge.consumer.hero.ledgerLabel":"Uurimismärkus","research-forge.consumer.hero.ledgerPill":"Aktiivne","research-forge.consumer.hero.ledgerPurpose":"Eesmärk","research-forge.consumer.hero.ledgerPurposeValue":"Avasta, võrdle ja kontrolli programme","research-forge.consumer.hero.ledgerStatus":"Olek","research-forge.consumer.hero.ledgerStatusValue":"Aktiivne siseuurimine","research-forge.consumer.hero.primary":"Jälgi ühte avastatud programmi","research-forge.consumer.hero.secondary":"Vaata, mida kinnitatud tähendab","research-forge.consumer.hero.titleAccent":"Lase masinal otsida, kuidas.","research-forge.consumer.hero.titleLead":"Kirjelda, mis peaks juhtuma.","research-forge.consumer.intent.body":"Forge'i uurimine algab näidete, reeglite või osaliselt kirjutatud programmiga. Näited näitavad konkreetseid juhtumeid. Reeglid ütlevad, mis peab üldisemalt tõeseks jääma. Osaline programm säilitab otsused, mida ei tohiks otsingule usaldada.","research-forge.consumer.intent.eyebrow":"Lähtepunkt","research-forge.consumer.intent.footer":"Kui käitumine on selge, saab masin otsida paljude võimalike viiside hulgast selle tootmiseks.","research-forge.consumer.intent.pillExamples":"Näited","research-forge.consumer.intent.pillRules":"Reeglid","research-forge.consumer.intent.pillSketch":"Osaline programm","research-forge.consumer.intent.secondaryLeft":"Küsimus võib paluda koodi ja saada midagi usutavat. See ei määratle iseenesest täielikku standardit, mille vastu seda koodi saaks hinnata.","research-forge.consumer.intent.secondaryLeftLabel":"Küsimus","research-forge.consumer.intent.secondaryRight":"Spetsifikatsioon fikseerib käitumise, piirid ja lubatud valikud. Selle muutmine loob erineva uurimisprobleemi, mitte ei päästa nõrka kandidaati.","research-forge.consumer.intent.secondaryRightLabel":"Spetsifikatsioon","research-forge.consumer.intent.sideExamplesDetail":"Selle sisendi jaoks tooda see väljund.","research-forge.consumer.intent.sideExamplesLabel":"Näited","research-forge.consumer.intent.sideFooter":"Nõue on esikohal; teostus jääb lahtiseks.","research-forge.consumer.intent.sideMetaLabel":"Otsingu ajal fikseeritud","research-forge.consumer.intent.sideMetaValue":"Käitumine ja ulatus","research-forge.consumer.intent.sideRulesDetail":"Iga toetatud sisendi puhul säilita see omadus.","research-forge.consumer.intent.sideRulesLabel":"Reeglid","research-forge.consumer.intent.sideSketchDetail":"Säilita see struktuur ja avasta puuduv osa.","research-forge.consumer.intent.sideSketchLabel":"Visand","research-forge.consumer.intent.sideStatus":"Alusta","research-forge.consumer.intent.sideSubtitle":"Kumbki pakub erinevat piiri","research-forge.consumer.intent.sideTitle":"Kolm viisi kavatsuse väljendamiseks","research-forge.consumer.intent.titleAccent":"enne teostuse valimist","research-forge.consumer.intent.titleLead":"Kirjelda käitumist","research-forge.consumer.intent.visualFooter":"Programm muudab kuju. Nõue mitte.","research-forge.consumer.intent.visualMeta":"Illustreeriv tee","research-forge.consumer.intent.visualStatus":"Uurimistöö käib","research-forge.consumer.intent.visualSubtitle":"Programmi-avastuse eksperimendi illustreeriv avalik vaade","research-forge.consumer.intent.visualTitle":"Üks nõue, mitu kandidaatteed","research-forge.consumer.proof.body":"Formaalne tulemus võib tõestada, et programm rahuldab väidetud omadust toetatud sisendite ja semantika puhul. See ei tõesta, et nõue oli tark, täielik või sobiv igasse reaalsesse keskkonda.","research-forge.consumer.proof.eyebrow":"Mida märk peaks ütlema","research-forge.consumer.proof.footer":"Mõnikord on tugevaim aus tulemus see, et masin ei suuda programmi toota.","research-forge.consumer.proof.pillAssumptions":"Eeldused nähtavad","research-forge.consumer.proof.pillLimits":"Piirid nähtavad","research-forge.consumer.proof.pillScoped":"Piiritletud","research-forge.consumer.proof.secondaryLeft":"Programm, omadus, eeldused ja tõendid püsivad koos. Kui programm muutub, muutub ka tõestuse seos.","research-forge.consumer.proof.secondaryLeftLabel":"Väide","research-forge.consumer.proof.secondaryRight":"Forge on aktiivne, lõpetamata sisemine uurimistöö. See ei ole toode, avalik sünteesiteenus ega avatud lähtekoodiga allalaaditav tarkvara.","research-forge.consumer.proof.secondaryRightLabel":"Uurimistöö piir","research-forge.consumer.proof.sideAssumptionsDetail":"Sisendid ja keskkond, mida väide hõlmab.","research-forge.consumer.proof.sideAssumptionsLabel":"Eeldused","research-forge.consumer.proof.sideFooter":"Tõestus tugevdab täpset väidet, mitte ähmast lubadust.","research-forge.consumer.proof.sideLimitsDetail":"Mida tulemus ei tuvasta.","research-forge.consumer.proof.sideLimitsLabel":"Piirid","research-forge.consumer.proof.sideMetaLabel":"Tugevaim aus olek","research-forge.consumer.proof.sideMetaValue":"Nimetatud, mitte kaudne","research-forge.consumer.proof.sideProgramDetail":"Täpne kontrollitav kandidaat.","research-forge.consumer.proof.sideProgramLabel":"Programm","research-forge.consumer.proof.sidePropertyDetail":"Väidetav käitumine.","research-forge.consumer.proof.sidePropertyLabel":"Omadus","research-forge.consumer.proof.sideStatus":"Tõestus","research-forge.consumer.proof.sideSubtitle":"Neli osa, mis peavad koos püsima","research-forge.consumer.proof.sideTitle":"Tõestusväide","research-forge.consumer.proof.titleAccent":"mitte õige igas võimalikus maailmas","research-forge.consumer.proof.titleLead":"Nende reeglite alusel kontrollitud","research-forge.consumer.proof.visualFooter":"Teadmata, võimatu, mitmetähenduslik ja ulatusest väljas jäävad kehtivateks uurimistulemusteks.","research-forge.consumer.proof.visualMeta":"Illustreeriv tõendusmaterjal","research-forge.consumer.proof.visualStatus":"Ulatus nähtav","research-forge.consumer.proof.visualSubtitle":"Testimine, piiratud kontrollid, formaalne tõestus ja täitmise seostamine on erinevad tulemused","research-forge.consumer.proof.visualTitle":"Kindlustusredel hoiab astmed lahus","research-forge.consumerHero.titleSuffix":"paremate marsruutide leidmine","research-forge.d02603176f":"Universaalne","research-forge.d092bf9ea1":"Avasta uurimistöö","research-forge.d0f4e7e15e":"graaf hoiab need täpsena","research-forge.d105692d52":"Valitud kandidaatide graaf","research-forge.d1a475961a":"Piiratud täielik otsing võib leida väikseima avaldise kitsas keeles. Vastunäidete juhitud täpsustamine kipub leidma robustseid struktureeritud programme. Piirangute juhitud otsing lahendab keerulised bititasandi piirkonnad. Avastav otsing jõuab ebatavaliste teostusteni.","research-forge.d1b06384eb":"Näited, reeglid või osaliselt kirjutatud programm.","research-forge.d1ed30ebcf":"Fikseeritud piir","research-forge.d1f8a8cdec":"Liitmine on ainult nii tugev kui seda õigustanud test.","research-forge.d1f8e5ea93":"Valik","research-forge.d2089fb287":"Teooria suunamine","research-forge.d2316c0df0":"Viis kirjet","research-forge.d23276442b":"Disainiruumi probleem","research-forge.d23c4c8d4e":"Üks lause, kolm kasutatavat vormi","research-forge.d255672f1b":"ja teravdab taotlust","research-forge.d286c609a6":"Spetsifikatsiooni versioon","research-forge.d2b02aa6ad":"kanne seob mõlemad pooled","research-forge.d2bad80400":"Tavaline taotlus, mis jaguneb näideteks, reegliks ja visandiks, kõrval vastus, mis on kirjutatud otse lausest ja millel pole midagi, mille vastu seda kontrollida","research-forge.d2d0b16b22":"Eemalda struktuursed duplikaadid ja täheldatud duplikaadid.","research-forge.d2d43bec88":"Siht-tagarakendused (hindamise ulatus)","research-forge.d35260a00f":"Sihtmärgid","research-forge.d362822809":"Kuhu probleem tuua","research-forge.d36f29cacf":"Ühilda","research-forge.d3d6314184":"Iga kandidaat on joon üle kõigi telgede, mitte punkt ühel neist.","research-forge.d3dee74f70":"Formaalne tulemus ja selle eraldi kontroll, kui see on saadaval.","research-forge.d3ec6e1bad":"Semantiline objekt, mille Kera saab, koos selle kohustustega.","research-forge.d4621d18f0":"väljendatud piiriga","research-forge.d4a74b503a":"Loe dokumentatsiooni","research-forge.d4ccefcb5e":"ükski neljast ei lõpeta sellega, et toodab midagi usutavat","research-forge.d50b109f99":"Mitu tuletust püsivad korraga elus ja lõplik valik ootab objektiivseid tõendeid.","research-forge.d51fb63a04":"iga tulemus osutab tagasi sellele","research-forge.d5383ea7af":"Salvestatud","research-forge.d5dc89d194":"Toetatud Kera lepingute puhul taasesitab puhas täitmine biti täpselt ilma seemneta, sealhulgas kaetud ujukomaperekonna teed. Kui programm tarbib teadlikult juhuslikku olekut, on see olek deklareeritud sisend ja selle taaskasutamine taasesitab kogu käituse.","research-forge.d5ec4f1c39":"Miks see programm on olemas","research-forge.d5f412e831":"Kera","research-forge.d659989a95":"Forge otsib tüpiseeritud arvutustehte keelt. Sisendid, väljundid, kujud, arvulised perekonnad, mõjud, võimalused, omand ja sihtpiirangud otsustavad, millised kompositsioonid on lubatud, nii et kehtetud programmid on struktuurselt välistatud, mitte ei genereerita ja parandata pärast hindamist. Keel valitakse paketiga ja suletakse käituse ajaks.","research-forge.d66c44dfdf":"Võimatu","research-forge.d6a6f2deb1":"Mida tsükkel teeb","research-forge.d71df112ac":"Mida otsing tohib teha","research-forge.d769ded7e8":"Kandidaat","research-forge.d79c0b71d1":"kelle esimene õige programm ei piisa","research-forge.d7e5b39755":"Mitmetähenduslikkus muutub nähtavaks enne, kui see muutub koodiks. Kaks kandidaati võivad rahuldada kõiki esitatud näiteid ja siiski erineda sisendi osas, mida keegi üles ei kirjutanud. Forge teatab sellest erimeelsusest ja küsib teist nõuet, selle asemel et vaikselt ühte käitumist valida.","research-forge.d7e94eb0fb":"Iga organisatsioon toetub väikestele, kriitilistele kooditükkidele. Forge küsib, kas programmi sünteesi otsing suudab pakkuda kandidaatteostusi deklareeritud spetsifikatsiooni ja mõõtmisplaani alusel. 2025. aasta aruanne dokumenteerib katse, mitte tootmisvalmidust; ükski avaldatud võrdlusuuring ei kehtesta optimaalset või kiireimat versiooni.","research-forge.d835dab5b4":"täpne täisarv","research-forge.d90c9bd5a7":"suurus 2 kuni 4","research-forge.d9f6acb036":"ekstraheerimine toimub viimasena","research-forge.da09c06014":"Forge algab käitumusliku lepinguga, mis ei liigu. Otsing võib pakkuda tuhandeid teostusi ning näited, vastunäited ja formaalsed päringud otsustavad, millised neist jäävad. Välja tuleb tüpiseeritud programmikandidaat tuletuse, objektiivse vektori ja väljendatud kindlustustasemega.","research-forge.da7a712c59":"Mida programm peab tegema","research-forge.daec3d5393":"Vastunäited, tõestused ja kindlustuse üleminekud.","research-forge.db1c784524":"Viide","research-forge.dc131e9db4":"Mida pakett kinnitab","research-forge.dc16ac61b4":"üks telg ei saa järjestada rindet","research-forge.dc5b5aba63":"pinguldab nõuet","research-forge.dcd69b02b3":"Spetsifikatsioon on järjekindel","research-forge.dd00b8f82f":"Nimetatud kindlustus","research-forge.dd3c9b9d09":"Ära fikseeri ümberkirjutamise järjekorda","research-forge.dd3e8f4841":"Testid kinnitavad käitumist juhtudel, mida käitati. Ammendav piiratud kontroll hõlmab deklareeritud lõplikku domeeni. Formaalne kontroll tõestab kodeeritud seost väljendatud eelduste all. Täitmise seos seob tulemuse graafiku ja plaaniga, mis tegelikult käitus. Forge teatab, milliseni kandidaat jõudis, sest otsus, mis tehakse vale tõendi põhjal, on otsus vale tõendi põhjal. Selles redelis on viis astet ja kandidaat hoiab korraga täpselt ühte neist.","research-forge.de135d6b61":"puhas piirkond","research-forge.de56d45fd4":"ja mida tal pole lubatud puudutada","research-forge.de9e9925af":"osad, mis peavad koos jääma","research-forge.dfda3a3599":"Ülevaatatav","research-forge.e0078f1adb":"See ei tohi lisada faili- ega võrgu juurdepääsu, mida kunagi ei lubatud. See ei tohi muuta arvu tüüpi, mida vastus kasutab. See ei tohi pehmendada nõuet, sest paljulubav kandidaat peaaegu täitis selle.","research-forge.e03608577a":"Piiri ülevaatus","research-forge.e048b8a355":"Kuidas garantiid komponeeruvad optimeerimise ja planeerimise kaudu.","research-forge.e15760689d":"Täpsusta","research-forge.e192f8980b":"Staatilised mudelid järjestavad kandidaadid enne, kui midagi käivitatakse. Kalibreeritud sihtprofiilid teravdavad neid hinnanguid. Mõõdetud käitused kinnitavad või parandavad neid. Igaüks jääb märgistatuks, nii et ennustatud latentsust ei kuvata kunagi kohas, kus mõõdetud väärtus peaks olema.","research-forge.e24f8562eb":"rakendusest saab tulemus","research-forge.e29a79fe0c":"Ülevaade","research-forge.e2f9cea1dd":"mida iga vorm määrab ja mida mitte","research-forge.e31ae17fe2":"Mida see lahtiseks jätab","research-forge.e340683de2":"Deklareeritud konkreetsed juhtumid läbisid.","research-forge.e341bf4b5e":"Täielikkus kuulub deklareeritud ruumi, ja aruanne märgib, milline ruum see oli.","research-forge.e380a981e1":"Kaks insenerijada","research-forge.e3a3474f57":"Samaväärsed lähtestringid võivad kirjeldada sama arvutust, ja sarnase välimusega lähtekood võib peita erinevaid mõjusid. Graafiga töötamine muudab struktuurse jagamise, kandidaatide võrdlemise, tõestuse sidumise ja päritolu täpseks, mitte millekski, mida tekstist pärast iga teisendust järeldatakse.","research-forge.e3aa756f4f":"Kolm vaadet","research-forge.e3f3e0b2d5":"Mittevastus koos põhjendusega on otsus, millega organisatsioon saab täna tegutseda.","research-forge.e3f4660921":"Kui otsing hoiab alles mitu õiget programmi, peab keegi ütlema, milline kompromiss on oluline. See on otsus, ja Forge salvestab selle otsusena koos programmidega, mida ta ei valinud, ja põhjusega, miks igaüks kõrvale jäeti.","research-forge.e40786cd04":"graaf on nimetatud, mitte lähtekood","research-forge.e43a425d4c":"Üks ebaõnnestuv juhtum","research-forge.e4709d4a03":"Midagi deklareeritud keeles vastab nõudele.","research-forge.e4ec169f06":"Kolm iteratsiooni, üks nõue muutub teravamaks","research-forge.e5a5debd01":"ja suunab järgmise investeeringu","research-forge.e5e6eefa7c":"igaüks võib nimetada erineva parima kandidaadi","research-forge.e5fa3a8592":"Lisa tõendus, mis eristab konkureerivaid käitumisi.","research-forge.e6737991ff":"Kandidaatide otsing","research-forge.e6c167fd27":"LIIGE","research-forge.e6f72dbc9e":"Hästi vormitud läbi täitmise seotud ei segune kunagi.","research-forge.e70fb2879c":"mis muudab vastust","research-forge.e713d42aa6":"SUBJEKT","research-forge.e73791d2ee":"Kirje on loodud selleks, et seda loeks keegi, kes kohal ei olnud. See nimetab spetsifikatsiooni versiooni, mitte haru, kandidaatide graafi, mitte faili, ja dominantsuse seost, mitte eelistust, nii et ülevaataja saab küsida, miks mitte kandidaat B, ja saada vastuse.","research-forge.e78c82b9d8":"Samaväärne programmiruum","research-forge.e792eed957":"Loetle tüübi ja suuruse järgi","research-forge.e79545edad":"Forge võib leida programmi, leida mitu, leida vastunäite, mis lõpetab ühe, või leida, et lubatud ruumis ei tööta midagi. Igaüks neist võib juhtuda ühes käituses.","research-forge.e7c6bfda5f":"Näited, piirangud ja visandid","research-forge.e7eaf3097f":"OTSUSTAMATA","research-forge.e83744eb1b":"Üks graaf läbi Dweve virna","research-forge.e89c5a1fe5":"Küsi demo","research-forge.e8c9206319":"Sina määrad käitumise","research-forge.e93a01e74c":"Sisendid ja väljundid","research-forge.e9a46a96e9":"Mitmetähenduslik","research-forge.e9c366b4f3":"Nõue","research-forge.e9e1bb076f":"Tõestus, graaf, plaan ja tulemuse identiteet on seotud.","research-forge.ea2f183ae8":"Ebaõnnestumine, mis nimetab täpse sisendi, õpetab otsingut rohkem kui ebaõnnestumine, mis nimetab skoori.","research-forge.ea66222972":"Määratle käitumine, kandidaatide keel, eesmärkide vektor ja tõendus, mida vajad. Forge saab sellest teha kontrollitud otsingu, võrdluse ja kontrollimise eksperimendi.","research-forge.ea66d3cd71":"Formaalselt kontrollitud","research-forge.eae192773b":"Valmistatud","research-forge.eb01bf04c9":"Näited","research-forge.eb5d2f4a58":"JIT","research-forge.eb65476556":"keeldumine enne hindamist ei maksa midagi","research-forge.eb86bd10d0":"Testi ja kontrolli formaalselt ellujäänuid.","research-forge.ebc93602b0":"Teaduskoostöö programm","research-forge.ebd1b8a0ed":"Õigsus ja kulu jäävad lahku","research-forge.ebf002ed26":"Mida peab iga lubatud sisend tootma või säilitama?","research-forge.ec00edb305":"Mõõtmise staatus","research-forge.ec80d62108":"Kolmeteljeline kompromissigraafik, kus domineeritud kandidaadid on hallid, poliitikavalija, mis valib ühe mittedomineeritud liikme, ja juhtelement, mis lisab eesmärgi ja joonistab piiri ümber","research-forge.ec8c6779f3":"Tuletus","research-forge.eca98aa4dd":"Püsiv invariant","research-forge.ecc4622e4a":"Kavatsus varana","research-forge.eccd8c22c7":"Juhtumid","research-forge.ed03c68d9c":"Osaliselt","research-forge.ed625e27bc":"vastus loetakse kirjest, mitte ei ehita seda uuesti","research-forge.ed834ee730":"Kaks programmi, iga näide, üks lahkarvamus","research-forge.ed868fa2d4":"Mida üks vastus määrab","research-forge.edd8fb596d":"Mida organisatsioon tahab","research-forge.ee531c138e":"üks identiteet läbi elutsükli","research-forge.ee6e0d9004":"mida Kera tagastab","research-forge.eebc8ec4db":"Suurim tööhulk","research-forge.eebfc58277":"Tavaliselt on rohkem kui üks hea vastus ja selle väljaütlemine, millise valisite, on osa vastusest.","research-forge.ef4e3a4971":"Mis võib veel erineda","research-forge.ef73fdd1c8":"Neli juhtumit","research-forge.f04208c0f4":"välimisi kolme rõngast saab uurida ilma kõige sisemist avamata","research-forge.f061352d1c":"Kehtivad perekond, laius, ümardamine ja veaümbrik.","research-forge.f0aa98e438":"Probleem pannakse kõigepealt kirja","research-forge.f128a0033d":"Forge võrdleb sobivaid kandidaate tehete arvu, kriitilise tee, mäluliikluse, tööhulga, registrisurve, koodi suuruse, hinnangulise energia, teisaldatavuse, tõestuse keerukuse ja sihtmärgi sobivuse järgi. Millised neist on aktiivsed, kuulub eksperimendipaketti ja valitakse enne ühegi kandidaadi mõõtmist, nii et võrdlust ei saa pärast tulemuste saamist häälestada.","research-forge.f1513553a0":"Viis kandidaati, mis rakendavad sama spetsifikatsiooni, igaühel erinev struktuurne siluett ja eesmärgiriba, kusjuures esimene leitud kandidaat on märgitud domineerituks","research-forge.f19a088441":"Kandidaatprogrammide kujundite väli kolmes olekus ümber fikseeritud nõuderaami keskel, mis kunagi suurust ei muuda","research-forge.f1e6269a35":"Forge'i kandidaat on tüpiseeritud semantiline graaf. Selle sõlmed säilitavad tehted, sõltuvused, väärtused, efektid, omandi ja numbrilised kohustused ning otsing lisab, eemaldab ja ühendab piirkondi, samal ajal kui liides jääb hästi vormitud. Lähtesüntaks on selle objekti üks vaade, mitte selle identiteet, mistõttu saab tõestus sellega siduda ja üle elada kirjapildi muutuse.","research-forge.f21eba9d4c":"Käitumine, mida selle kohta väidetakse.","research-forge.f2b83c0462":"Vaadake kandidaadi väljundit","research-forge.f3263fc33a":"Millised sisendid, efektid ja keskkonnad on ulatuses?","research-forge.f33b37791c":"üks fikseeritud nõue","research-forge.f34faaf18c":"Mis jääb käituse jaoks fikseerituks","research-forge.f3717fe94b":"Kolm liitmist, üks tüpiseeritud keel","research-forge.f3b8596ff9":"Visandid","research-forge.f3e0a2c003":"Tehe, olekuüleminek ja iga efekt, mida tal on lubatud omada.","research-forge.f44f712120":"meetod jääb teaduslikuks","research-forge.f4b90ff6c9":"loendav, CEGIS, GP, MCTS","research-forge.f4c0773264":"Tüübid, efektid, omand ja liidesed on kehtivad.","research-forge.f5330c10d4":"Kaks süsteemi, üks objekt","research-forge.f539273fc2":"See läbis deklareeritud konkreetsed juhtumid.","research-forge.f53a569905":"Institutsionaalne probleem","research-forge.f591672335":"otsast lõpuni","research-forge.f5def394f5":"Täpne kandidaat, mida kontrolliti.","research-forge.f61f151c35":"Kirjeldage, mis juhtub","research-forge.f6c1c2d45c":"valitud kandidaat säilitab poliitika, mis selle valis","research-forge.f6fbfa37a0":"Efekt piiratud","research-forge.f7313a2c50":"Enamik süsteeme, mis koodi kirjutavad, palutakse jätkata teksti usutaval viisil. Forge'il palutakse rahuldada kirjeldus sellest, mida programm peab tegema. See otsib rakendusi, lükkab tagasi need, mis ebaõnnestuvad konkreetse sisendi korral, võrdleb ellujäänuid ja ütleb täpselt, kui tugevalt on tulemust kontrollitud.","research-forge.f740162265":"Erinev","research-forge.f793bcd5e3":"Valitud praeguse poliitika järgi","research-forge.f7bce3aeb0":"Kolm sarnasuse liiki","research-forge.f7fcfa132e":"Kontrollitud tähendab alati kontrollitud millegi vastu, mis on välja öeldud.","research-forge.f85d540ea4":"Need ebaõnnestuvad ka erinevalt. Kandidaat võib läbida kõik esitatud näited ja siiski rikkuda kvantifitseeritud tingimust, mida näited pidid illustreerima. Protokoll nimetab selle erinevuse, nii et testikomplekti läbimist ei loeta hiljem kunagi tõestuseks.","research-forge.f8ad81d4ed":"Kaks programmi võivad teha täpselt sama tööd ja olla siiski erinevad koos elada. Üks lõpeb varem. Üks liigutab vähem andmeid. Üks töötab rohkem masinatüüpidel. Ühte on lihtsalt lihtsam kontrollida. Ühe parandamine maksab tavaliselt teise arvelt, nii et Forge hoiab head alles, selle asemel et kuulutada välja üks võitja.","research-forge.f915e592e0":"Piisavalt selge, et seda lihtsalt öelda: muutumatu spetsifikatsioon, üks tüpiseeritud kandidaadikogum, mida toidavad mitmed otsingukäitumised, vastunäited püsivate kohustustena, piirjoon varjatud skoori asemel, nimetatud kindlustusastmed ja graafi identiteet, mis elab üle üleandmise Kerale.","research-forge.f91cf3695e":"mis Forge'ist väljub ja mida Kera tagastab","research-forge.f942052ae1":"Esimene õige programm","research-forge.f95d9699ab":"mitte parima määratlus","research-forge.f9743247fa":"Lugege dokumentatsiooni","research-forge.f97f6d5c34":"Numbri liik vastuses","research-forge.f9917655d9":"Kontrollitud ja tagasi lükatud kandidaadid, mis olid olulised.","research-forge.f9d589b5e4":"Silt nimetab astme ja selle kõrval olev protokoll nimetab ulatuse, mida see aste katab.","research-forge.fa6b511877":"Ei tohi muutuda","research-forge.fa7f633b0c":"Kolm kandidaaditoimikut peatatud erinevatel kindlustusastmetel, igaüks avab oma sildi taga olevad tõendid, kusjuures edutamine on näidatud kättesaamatuna ilma tõenditeta","research-forge.fa8d0afff2":"ja renderdage lähtekoodi servas","research-forge.fb588797f2":"Tarkvara, mis kirjutab","research-forge.fba63933d7":"tõestamine kehtestab käitumise","research-forge.fbe8d4180f":"Üks seeme, palju vorme","research-forge.fc5fed48be":"Otsige graafist","research-forge.fc7583ec76":"Muutumatu spetsifikatsioon","research-forge.fca77b7e3a":"Ühe pilguga","research-forge.fca8a06b17":"Forge registreerib, milline sarnasuse liik õigustas iga liitmise, nii et odavat dubleerimise eemaldamist otsingu ajal ei loeta hiljem kunagi semantiliseks tulemuseks.","research-forge.fd2145e1f8":"Järjekord, mis kunagi ei muutu","research-forge.fd9cfb5232":"Mitu otsingukäitumist toodavad ühte liiki tüpiseeritud kandidaadi.","research-forge.fdd0dfedc0":"Neli asja peavad paika","research-forge.fe03c35158":"Semantika","research-forge.fe0863e1b3":"Viis kindlustustaset","research-forge.fe08eef5c7":"Dweve sisemisse meetodisse kuuluvad sammud ilmuvad ahelas suletud sõlmedena. Igaüks neist avaldab oma sisendid, väljundid ja identiteedi, nii et ahel jääb ühendatuks, samal ajal kui selle sees olev strateegia jääb osaks teadustööst.","research-forge.fe17f86199":"Kujundusruum","research-forge.fe8b95b52a":"Valitud graaf liigub Forge'ist Kerasse mööda ühte rada, koos naaber-Dweve süsteemidega, mis loevad sama objekti, ja tulemuse identiteet naaseb selle juurde","research-forge.fec325ce2f":"Liigutab vähem andmeid","research-forge.fef04acdce":"mis jääb ellu igal kandidaatsuurusel","research-forge.ff52cebd1d":"Lõplik deklareeritud domeen oli ammendatud.","research-forge.ff63942f4e":"Ahel, mida retsensent saab läbi käia","research-forge.ff75e0dce3":"Ebaselge","research-forge.ffa7344f37":"Avalik Forge materjal selgitab spetsifikatsiooni, avastatud alternatiive, vastunäiteid, mis lõpetasid mõned neist, ja seda, mida teadustöö tegelikult suudab tõestada.","research-forge.technicalHero.titleSuffix":"Z3","section_st_a2_split-spec-sheet.7c9a7c0610":"Detail","section_st_a6_split-scenario-triad.f75fd3a884":"Pole käitusaegseid sõltuvusi","section_st_a6_split-scenario-triad.143ac4ef35":"Üks binaarfail","section_st_a6_split-scenario-triad.c61f134d87":"Kolm pinda","section_st_a6_split-scenario-triad.215475056e":"KUS SEE TÖÖTAB","section_st_a6_split-scenario-triad.a794a586f0":"Suletud ruumi jaoks valmis","section_st_a6_split-scenario-triad.42d52c32ea":"Kohalik mudel","section_st_a6_split-scenario-triad.fe6168e59f":"Võrku pole","section_st_a6_split-scenario-triad.7d93f83c3e":"Köites olev kood","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":"Installimist pole","section_st_a6_split-scenario-triad.f600b9e709":"Üks binaarfail","section_st_a7_split-connector-grid.4e6822a6d4":"Kuumtaaskäivitus","section_st_a7_split-connector-grid.19e35f0609":"Määratud TOML-is","section_st_a7_split-connector-grid.d9de50b343":"Kutsuja-põhine inventuur","section_st_a7_split-connector-grid.8be1bb51b7":"ÜHENDUSED","section_st_a8_split-scaling-profile.7e0861e04c":"TOML-is reguleeritav","section_st_a8_split-scaling-profile.56d6732417":"Projektipõhine ülempiir","section_st_a8_split-scaling-profile.27a454915b":"Aktiivsed punktid kajastavad samaaegseid agente taseme kohta.","section_st_a8_split-scaling-profile.0ea215ea0d":"TAUST","section_st_a8_split-scaling-profile.9fc6fb7e03":"TEAMS","section_st_a8_split-scaling-profile.018d2cd1a5":"PARALLEELNE","section_st_a8_split-scaling-profile.16623c5d4a":"AHELAD","section_st_a8_split-scaling-profile.0fb79c96ed":"Soolo → Meeskond → Võrgustik","section_st_a8_split-scaling-profile.068f6b3ecc":"MEESKONNA SUURUS","section_st_a8_split-scaling-profile.53ebc572b4":"Võrgustik","section_st_a8_split-scaling-profile.218887269a":"Meeskond","section_st_a8_split-scaling-profile.9fc93acaa4":"Soolo","section_st_a9_split-time-lost-donut.7c9a7c0610":"Üksikasjad","section_st_b5_request-lifecycle.47e364232a":"audit #4521","section_st_b5_request-lifecycle.4d3535f846":"patch · session.rs","section_st_b5_request-lifecycle.6c2519cd62":"Tööriista käivitamine","section_st_b5_request-lifecycle.f6d1c823ab":"seanss #128 · 14:02","section_st_b5_request-lifecycle.636de0d0c3":"> \"paranda see viga\"","section_st_b5_request-lifecycle.0208131a7d":"Kasutaja taotlus","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":"SINU KOODIBAAS","section_st_b8_defense-stack.89b6e2a784":"KIHITATUD KAITSE","section_st_c2_dual-loop-flow.9d29573ea6":"tööriist / samm","section_st_c2_dual-loop-flow.08ab1ac55a":"plaan / ümberplaan","section_st_c5_integration-spoke.55d0677ac3":"Kõik konnektorid suunatakse läbi sama auditi- ja õigusekihi.","section_st_c5_integration-spoke.c29eb7e425":"Kohalik agent","section_st_c5_integration-spoke.14afd82a7f":"AURA","section_st_c5_integration-spoke.ed0afbab5a":"GitLab CI","section_st_c5_integration-spoke.39540900bb":"GitHub Actions","section_st_c5_integration-spoke.a2feefe9af":"Jenkins","section_st_c5_integration-spoke.ab4115a7b2":"Välised tööriistad","section_st_c5_integration-spoke.70c123381f":"JSON-RPC 2.0","section_st_c5_integration-spoke.dc99d54d99":"Kohalik","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":"Alusta","toc-rail.f5cbdf6bfb":"Sisukord"}