{"aura-ask-grid.af0854de67":"Aura","aura-business-sides.a0853da24b":"Skeda teknika","aura-business-visuals.40417391c5":"Aura · isolvi","aura-business-visuals.271973aefe":"xMidYMid meet","aura-business-visuals.3e91add48a":"BOARD","aura-showcase.eyebrow":"Pjattaforma Dweve","aura-showcase.subtitle":"Aġent tal-kodifikazzjoni u assistenza għall-operatur. Il-metriċi tad-dimostrazzjoni huma illustrattivi.","aura-showcase.pillTools":"25+ għodod","aura-showcase.pillRunning":"jimxu","aura-showcase.pillAnalysing":"qed janalizza l-kodiċi","aura-showcase.capabilityToolsTitle":"25+ għodod","aura-showcase.capabilityToolsBody":"Terminal, tfittxija, lint, test, git, u aktar.","aura-showcase.capabilityMemoryTitle":"Memorja semantika","aura-showcase.capabilityMemoryBody":"Jiftakar il-kodiċi tiegħek u l-kuntest tat-tim.","aura-showcase.capabilityAgentsTitle":"Orkestrazzjoni multi-aġent","aura-showcase.capabilityAgentsBody":"Aġenti speċjalizzati jikkollaboraw fuq diversi oqsma.","aura-showcase.guaranteeAuditTitle":"Traċċa ta' verifika","aura-showcase.guaranteeAuditBody":"Kull pass jiġi rreġistrat bi timbri tal-ħin.","aura-showcase.guaranteeGuardrailsTitle":"Protezzjonijiet","aura-showcase.guaranteeGuardrailsBody":"Politiki, kontrolli, u testijiet dejjem jimxu.","aura-showcase.guaranteeApprovalTitle":"Bidliet fil-kodiċi bl-approvazzjoni","aura-showcase.guaranteeApprovalBody":"Irrevedi d-diffs, itlob bidliet, iffirma finalment.","aura-showcase.guaranteeReplayTitle":"Riproduzzjoni deterministika","aura-showcase.guaranteeReplayBody":"Irriproduċi kwalunkwe sessjoni bit għal bit meta xi ħaġa teħtieġ reviżjoni.","aura-showcase.workflowUnderstand":"Ifhem","aura-showcase.workflowUnderstandCaption":"Aqra retry.ts, sib il-bug tat-timeout","aura-showcase.workflowPlan":"Ippjana","aura-showcase.workflowPlanCaption":"Estraċċi l-guard u illimita r-retries","aura-showcase.workflowImplement":"Implimenta","aura-showcase.workflowImplementCaption":"Patched retry.ts + types.ts","aura-showcase.workflowTest":"Itestja","aura-showcase.workflowTestCaption":"28 testijiet, 94% kopertura","aura-showcase.workflowVerify":"Ivverifika","aura-showcase.workflowVerifyCaption":"Qed imexxi lint & typecheck...","aura-showcase.workflowAudit":"Awditja","aura-showcase.workflowAuditCaption":"Qed jistenna l-kitba tas-sommarju","aura-showcase.footer":"Aġenti awtonomi li jiktbu kodiċi u jżommu r-reċevuti","aura-showcase.testsPassing":"jgħaddi","aura-showcase.testsFailing":"jonqos","aura-showcase.modified":"modifikat","aura-showcase.af0854de67":"Aura","aura-showcase.73989d9c59":"Qed jimxi","aura-showcase.f9e94338d0":"Qed janalizza l-kodiċi","aura-showcase.d7a484140f":"Fluss tax-xogħol","aura-showcase.287fda8114":"Unifikat","aura-showcase.80e13549b4":"Kopertura","aura-showcase.b71cc78b34":"Estraċġa isRetryableError","aura-showcase.c37a8a9e2b":"biex jimmaniġġja\n                    timeouts tan-netwerk, risponsi 5xx, u kundizzjonijiet\n                    idempotenti-sikuri. Helper pur, ittestjat kompletament.","aura-tech-middles.7fba7d244f":"Triq sħuna","aura-tech-middles.1be47ef71c":"Trasversali","aura-tech-middles.92096d78df":"Ingress","aura-tech-middles.8e05a902ed":"Egress","aura-tech-middles.49a66c994d":"Aġenti integrati","aura-tech-middles.a60792e996":"Ċiklu estern","aura-tech-middles.0dfd4db698":"Ċiklu intern","aura-tech-middles.bbd88bff92":"Talba deħlin","aura-tech-middles.a618b4be8d":"Mistoqsija","aura-tech-middles.a4942c26d0":"SELECT","aura-tech-middles.2cb479aa15":"* FROM","aura-tech-middles.1c255b91e7":"WHERE","aura-tech-middles.2164bde64d":"ORDER BY","aura-tech-middles.82dd2cdf36":"Blokk","aura-tech-middles.271973aefe":"xMidYMid meet","page-breadcrumb.c766e66518":"Breadcrumb","page-toc.7e439c353e":"Fuq din il-paġna","res-forge-action-instrument.089b6f0342":"Attivat minn","res-forge-action-instrument.97c89a4d66":"Azzjoni","res-forge-ambiguity-board.af13a94202":"huwa r-riżultat, u huwa rreġistrat\n          bħala wieħed.","res-forge-ambiguity-board.e9a46a96e9":"Ambigu","res-forge-ambiguity-board.1ee9387ca8":"Tliet modi kif persuna tista' twieġeb. It-tfittxija ma tieħu ebda waħda minnhom waħedha.","res-forge-ambiguity-board.f275049b4b":"Liema waħda ridt tfisser?","res-forge-ambiguity-board.e1f6a95de4":"sekwenza vojta","res-forge-ambiguity-board.39f54f4f92":"Input mhux fornut","res-forge-ambiguity-board.3636a0be7f":"jaqbel","res-forge-ambiguity-board.140f86aae5":"input","res-forge-ambiguity-board.5a3eea8643":"Kull eżempju fornut","res-forge-ambiguity-board.fd50372bde":"Il-ħames eżempji fornuti u kif iż-żewġ kandidati jwieġbuhom","res-forge-ambiguity-board.86c03753f3":"irrapporta l-iżgħar ammont f'sekwenza","res-forge-ambiguity-board.e9c366b4f3":"Rekwiżit","res-forge-ambiguity-board.957a3c6b10":"idjaq id-dominju","res-forge-ambiguity-board.b0567c7519":"żid kundizzjoni","res-forge-ambiguity-board.7713f29af2":"żid eżempju","res-forge-ambiguity-board.5472c41b95":"jaqra s-sekwenza vojta bħala barra mill-input permess","res-forge-ambiguity-board.2597c3398a":"żball","res-forge-ambiguity-board.9adfc74130":"Kandidat 2","res-forge-ambiguity-board.72e8350f75":"jaqra s-sekwenza vojta bħala li għandha ammont newtrali","res-forge-ambiguity-board.170d4a4827":"Kandidat 1","res-forge-assurance-ladder.7607387940":"dak li ma jistabbilixxix","res-forge-assurance-ladder.204b9b0c88":"dak li assuma","res-forge-assurance-ladder.f03d859ccc":"dak li ġie ċċekkjat","res-forge-assurance-ladder.6b3fa46450":"żewġ kandidati, żewġ punti ta' waqfien onesti, it-tnejn irrappurtati kif inhuma","res-forge-assurance-ladder.ed682e5934":"MHUX INFERIT MINN Q","res-forge-assurance-ladder.bdad2aeeb8":"Livelli ta' assigurazzjoni","res-forge-assurance-ladder.9a9f9e5d26":"L-ebda livell mhu inferit","res-forge-assurance-ladder.8259f9a8e2":"teorija formali barra mill-kuntratt attwali","res-forge-assurance-ladder.4f7ee515f7":"irrappurtat bħala marbut mal-eżekuzzjoni","res-forge-assurance-ladder.0d9389b742":"Kwalunkwe mġiba fuq mira li r-rekord ma jsemmix.","res-forge-assurance-ladder.246b796ef8":"Li l-identitajiet irrekordjati huma dawk li l-ġirja pproduċiet.","res-forge-assurance-ladder.69ded617f9":"graff, pjan, artefatt u riżultat jaqsmu rekord wieħed","res-forge-assurance-ladder.5102f2ad33":"identità marbuta minn tarf sa tarf","res-forge-assurance-ladder.49d89b6ce4":"MARBUT MAL-EŻEKUTTAR","res-forge-assurance-ladder.a1cce5c1a6":"Kwalunkwe proprjetà li l-kuntratt ma kkodifikax, u kwalunkwe artefatt emess.","res-forge-assurance-ladder.a7d0feec4e":"Is-semantika li ġiet ikkodifikata u l-assunzjonijiet li l-pakkett ippinja.","res-forge-assurance-ladder.fce451ff2c":"l-assunzjonijiet huma ppinjati u elenkati","res-forge-assurance-ladder.c830a6c3be":"proprjetà simbolika ppruvata","res-forge-assurance-ladder.da528b9287":"VERIFIKAT FORMALMENT","res-forge-assurance-ladder.d4c1c6915e":"Imġiba lil hinn mill-limitu, li qatt ma ġiet imfittxija.","res-forge-assurance-ladder.99d127dcae":"Li d-dominju ddikjarat huwa dak li fih ir-riżultat se jintuża.","res-forge-assurance-ladder.d8a8ea038d":"id-dominju huwa ddikjarat mal-pretensjoni","res-forge-assurance-ladder.4538c7d77c":"dominju finit, kopert","res-forge-assurance-ladder.dfa6e659c8":"IĊĊEKKJAT B'LIMITU","res-forge-assurance-ladder.1412ce6f4c":"Imġiba fuq kwalunkwe input barra mis-sett irrekordjat.","res-forge-assurance-ladder.a1fde5a17c":"Li l-każijiet iddikjarati jirrappreżentaw l-imġiba li r-riċerkatur jieħu ħsieb.","res-forge-assurance-ladder.df4854fc18":"il-każijiet huma rekordjati mar-riżultat","res-forge-assurance-ladder.36cba7e6ad":"każijiet konkreti","res-forge-assurance-ladder.b5516f2280":"ITTESTJAT","res-forge-assurance-ladder.c0169d217f":"Xejn dwar imġiba fuq kwalunkwe input.","res-forge-assurance-ladder.da65feb01c":"Biss li l-pakkett semma l-lingwa li minnha nbena l-kandidat.","res-forge-assurance-ladder.6903a5abc9":"il-lingwa ddikjarata hija magħluqa","res-forge-assurance-ladder.676886a349":"validità strutturali","res-forge-assurance-ladder.68d222a4f0":"BEN FORMAT","res-forge-assurance-ladder.85e08ba525":"Li l-prova, il-graff, il-pjan Kera u l-identità tar-riżultat jirreferu għal xulxin.","res-forge-assurance-ladder.5e68702137":"Il-proprjetà simbolika appoġġjata, ippruvata fuq is-semantika kkodifikata.","res-forge-assurance-ladder.9c8a0471a5":"Kull valur f'dominju finit iddikjarat, mingħajr falliment.","res-forge-assurance-ladder.77345a75bc":"Kull każ konkret li l-pakkett iddikjara, imħaddem u mqabbel.","res-forge-assurance-ladder.8c4857d4f9":"Tipi, forom, effetti, sjieda u l-interface iddikjarat.","res-forge-badge-opened.9a3d81d562":"Il-badge jappartjeni għal programm eżatt wieħed","res-forge-badge-opened.3d1307a7ff":"Lura għat-tikketta strutturali sempliċi","res-forge-badge-opened.bac2685fbc":"Pass wieħed inbidel","res-forge-badge-opened.aed3b8c6a7":"Ivverifikat","res-forge-badge-opened.bf2bc5e115":"L-istess badge wara li nbidel pass wieħed","res-forge-badge-opened.d62d8e0dde":"Ħu 'l bogħod kwalunkwe waħda minn dawn il-ħamsa u tkun dikjarazzjoni differenti.","res-forge-badge-opened.eb38f1807a":"Il-badge u l-ħames partijiet li jafferma","res-forge-badge-opened.98987f9e01":"irritorna r-riżultat","res-forge-badge-opened.613ac981db":"arrotondah b'mod differenti","res-forge-badge-opened.25f1a0d208":"ħu l-qari","res-forge-badge-opened.16b22f5e52":"Ma jgħid xejn dwar l-aritmetika deċimali.","res-forge-badge-opened.349be220c7":"Riżultat formali, u kontroll separat tiegħu.","res-forge-badge-opened.17b29d4546":"Numri sħaħ biss, u xejn barra l-programm.","res-forge-badge-opened.7d77d99854":"Jgħodd għal kull numru sħiħ fil-firxa ddikjarata.","res-forge-badge-opened.7112a3df4e":"Dan il-programm eżatt, pass pass.","res-forge-boundary-instrument.e29c5de6a0":"Ringiela waħda hija kondiviża. Kull responsabbiltà oħra tinsab eżattament fuq naħa waħda tal-konfini.","res-forge-boundary-instrument.c6dda4f283":"proprjetà","res-forge-boundary-instrument.d18aac96b9":"kondiviż","res-forge-boundary-instrument.1ac443dbd4":"mhux proprjetà","res-forge-business-glyph.161d1b9d9a":"Speċifikazzjoni waħda","res-forge-business-glyph.ab98f5b857":"Fissat","res-forge-business-glyph.82b6d04b0e":"Ir-rekwiżit li ma jiċċaqlaqx","res-forge-business-glyph.b5bf8067cf":"Kandidati","res-forge-business-glyph.7e1d88fa7c":"vettur oġġettiv","res-forge-business-glyph.45d74a7136":"dominati","res-forge-business-glyph.239aff5852":"fuq il-fruntiera","res-forge-business-glyph.f476109f39":"ambigwu","res-forge-business-glyph.473161067f":"Politika ta' għażla","res-forge-business-glyph.7eff74a5a8":"irreġistrat, mhux moħbi","res-forge-business-glyph.c3b9a01442":"latenza","res-forge-business-glyph.b727a735e7":"moviment","res-forge-business-glyph.1a7d89d441":"tqabbil mal-mira","res-forge-business-glyph.ef64363d23":"prova","res-forge-business-glyph.efe124888c":"assigurazzjoni msemmija","res-forge-business-glyph.b086634a92":"kompromessi viżibbli","res-forge-business-glyph.ca2bc19088":"Kera teżegwixxi","res-forge-business-glyph.f735a5ba22":"Programm ta' riċerka, mhux offerta ta' softwer","res-forge-candidate-fan.b6871fa0fc":"Is-siluwetti huma strutturali, mhux sors. It-tulijiet tar-ribbon huma pożizzjonijiet relattivi fuq fruntiera waħda.","res-forge-candidate-fan.8641796596":"Il-kandidat E huwa ddominat mill-kandidat D fuq is-sett ta' objettivi attivi","res-forge-candidate-fan.d769ded7e8":"Kandidat","res-forge-candidate-fan.45d74a7136":"iddominat","res-forge-candidate-fan.100ec4462d":"evidenza","res-forge-candidate-fan.1a7d89d441":"tqabbil mal-mira","res-forge-candidate-fan.b727a735e7":"moviment","res-forge-candidate-fan.714eea0f4c":"ħin","res-forge-candidate-fan.73ea3f356f":"Iddominat","res-forge-candidate-fan.82f8a46f55":"siġra nested","res-forge-candidate-fan.416bfd329b":"Fuq il-fruntiera","res-forge-candidate-fan.00c93cd155":"qasma b'żewġ korsiji","res-forge-candidate-fan.a70e321a36":"blokka kompatta","res-forge-candidate-fan.f259a41862":"fann wiesa'","res-forge-candidate-fan.8503665914":"L-ewwel misjub","res-forge-candidate-fan.e2a3a58a40":"katina waħda twila","res-forge-choice-board.2f98d2f5be":"Bilanċjat huwa wkoll preferenza, u huwa rreġistrat bħala wieħed.","res-forge-choice-board.ce025222b1":"Kull waħda minn dawn l-erba' hija korretta, għalhekk din hija preferenza u mhux klassifikazzjoni.","res-forge-choice-board.48e09e45c5":"Korrett","res-forge-choice-board.13f66243ef":"Ippreferi","res-forge-choice-board.55559438c9":"B iċedi l-inqas fuq kwalunkwe miżura waħda.","res-forge-choice-board.03342dbb85":"Bilanċjat","res-forge-choice-board.3cd298fe82":"D għandu l-iqsar triq ta' kontroll.","res-forge-choice-board.baf123fc17":"L-aktar ċar","res-forge-choice-board.58adc98abc":"C jaħdem fuq l-akbar sett ta' magni appoġġjati.","res-forge-choice-board.b2df292ee2":"L-aktar wiesa'","res-forge-choice-board.7987c4ffa8":"B jiċċaqlaq l-inqas data, u jieħu aktar żmien biex jitlesta.","res-forge-choice-board.4e76f5796f":"L-aktar ħafif","res-forge-choice-board.cda4a6b217":"A jispiċċa l-aktar malajr, u jżomm l-aktar data waqt li jaħdem.","res-forge-choice-board.4cb3bb0fc4":"L-aktar mgħaġġel","res-forge-choice-board.ed798211fb":"D jirrinunzja għal kitba mill-ġdid waħda biex jibqa' sempliċi biex jiġi kkontrollat.","res-forge-choice-board.2a318223e9":"Programm D","res-forge-choice-board.69a71f0df6":"C jiċċaqlaq aktar data biex jasal hemm.","res-forge-choice-board.d7782ce200":"Programm C","res-forge-choice-board.018761680d":"B jieħu aktar żmien biex jitlesta.","res-forge-choice-board.d2307ff43a":"Programm B","res-forge-choice-board.4c06d2baf8":"A jżomm l-aktar data waqt li jaħdem.","res-forge-choice-board.2be70eef66":"Programm A","res-forge-choice-board.97876b8380":"Kontroll","res-forge-choice-board.2940ff1e5f":"Magni","res-forge-choice-board.89c8a2851d":"Memorja","res-forge-choice-board.6c82e6dd86":"Ħin","res-forge-choice-instrument.e786244260":"Spiża li jaċċetta","res-forge-choice-instrument.fd9a9f965e":"Latency relattiva mmudellata","res-forge-choice-instrument.24d3e4fdd9":"Saħħa","res-forge-choice-instrument.6853c98a6f":"Membru","res-forge-conflict-board.0e565b0b3e":"L-ebda korsija fuq din il-bord ma tispiċċa b'kodiċi ta' fallback iġġenerat. Kull waħda tispiċċa b'riżultat imsemmi\n          u l-persuna li għandha l-pass li jmiss.","res-forge-conflict-board.bb54db510a":"Aċċetta","res-forge-conflict-board.09c3f0d154":"mhux rappreżentat mill-kuntratt ta' verifika","res-forge-conflict-board.75e6b42fc5":"Barra mill-ambitu","res-forge-conflict-board.281dd83602":"Estendi","res-forge-conflict-board.8a97b9af81":"teorija u limitu tal-baġit","res-forge-conflict-board.bc7819b34f":"Mhux magħruf","res-forge-conflict-board.3e0fb17cab":"Iċċara","res-forge-conflict-board.7835f9c578":"jirrifjuta l-lott","res-forge-conflict-board.9522606498":"jirritorna total newtrali","res-forge-conflict-board.e9a46a96e9":"Ambigu","res-forge-conflict-board.d36f29cacf":"Irrikonċilja","res-forge-conflict-board.9a064eb243":"ma jeżisti l-ebda kandidat fil-lingwa L","res-forge-conflict-board.5f20d0f3ac":"Mhux sodisfaċibbli","res-forge-conflict-board.151864867d":"Is-sitt klawżoli ta' rekwiżit wieħed","res-forge-conflict-board.426475873e":"ir-riżultat jasal fi ħdan tieqa ta' ħin fiss tal-arloġġ","res-forge-conflict-board.6933c35154":"entrata korrettiva tista' tnaqqas it-total","res-forge-conflict-board.4bf7985a78":"ir-riżultat huwa eżatt sal-aħħar unità","res-forge-conflict-board.55dca06fb3":"lott vojt jiġi aċċettat","res-forge-conflict-board.5b3e0d86e8":"it-total qatt ma jonqos hekk kif jiżdiedu entrati","res-forge-conflict-board.33f78f4681":"kull ammont jibqa' fil-medda ddikjarata","res-forge-consumer-glyph.9154742cfc":"Il-ħidma, f'sentenza waħda","res-forge-consumer-glyph.b7d5d68aa8":"Żomm kull qari fil-medda sigura","res-forge-consumer-glyph.5a29585e3f":"Tentattivi","res-forge-consumer-glyph.6bd1f59b85":"tnejn ifallu fuq każ","res-forge-consumer-glyph.059c3755e1":"tnejn jaslu","res-forge-consumer-glyph.d3f5d23e46":"wieħed iġorr siġill","res-forge-consumer-glyph.6bb9173137":"ifittex","res-forge-consumer-glyph.50814a267d":"ħafna programmi possibbli","res-forge-consumer-glyph.64c675f85c":"jirrifjuta","res-forge-consumer-glyph.7403925825":"kwalunkwe ħaġa li tfalli każ wieħed","res-forge-consumer-glyph.c1a77ef9ed":"jgħid kemm iċċekkja b'saħħa","res-forge-consumer-glyph.691b10181f":"u fejn jieqaf iċ-ċekkjar","res-forge-consumer-glyph.100ec4462d":"evidenza","res-forge-consumer-glyph.88acf54a65":"kultant l-ebda programm","res-forge-consumer-glyph.72dc433046":"It-tweġiba tista' tkun l-ebda programm","res-forge-cost-vector.140b63310c":"Kandidat Ċ","res-forge-cost-vector.2437a7ecbd":"Evidenza għal kull objettiv","res-forge-cost-vector.25b7302067":"Tqabbil li jgħaddi għal pakkett ta' esperiment ieħor.","res-forge-cost-vector.26d24d71f0":"Traffiku tal-memorja","res-forge-cost-vector.3e39972526":"Latenza","res-forge-cost-vector.405bdec664":"Ma teżisti l-ebda kejl","res-forge-cost-vector.4b1dda27e1":"Dak li l-vettur mhuwiex","res-forge-cost-vector.555486354d":"Daqs tal-kodiċi","res-forge-cost-vector.5d0b1f6647":"Iż-żewġ linji jaqsmu, u għalhekk l-ebda kandidat mhuwa t-tweġiba waħdu.","res-forge-cost-vector.66374d941d":"Imkejjel fuq hardware","res-forge-cost-vector.89a596e251":"Iċ-ċellula vojta hija l-allegazzjoni: il-kumplessità tal-prova ġiet immudellata u qatt ma ġiet imkejla.","res-forge-cost-vector.8a4da1dcc8":"Post fejn output ta' mudell jista' jieħu post kejl.","res-forge-cost-vector.ab8dd4df08":"Iktar għali","res-forge-cost-vector.ac46a8c74c":"Kumplessità tal-prova","res-forge-cost-vector.ad638eff4a":"Erba' objettivi, żewġ kandidati, esperiment wieħed","res-forge-cost-vector.b0b01215a0":"Kandidat D","res-forge-cost-vector.bf8197e03c":"Pożizzjonijiet relattivi fuq esperiment wieħed, ogħla tfisser iktar għali.","res-forge-cost-vector.cd05967fea":"Immudellat qabel kull ġirja","res-forge-cost-vector.ec8e6defbf":"Punteġġ wieħed li bih iż-żewġ kandidati jistgħu jiġu kklassifikati.","res-forge-cost-vector.f4cfc474fa":"Iktar irħis","res-forge-counterexample-loop.aca21ce064":"joħloq identità ta' speċifikazzjoni ġdida","res-forge-counterexample-loop.fb8953469c":"ŻID KUNDIZZJONI PRELIMINARI","res-forge-counterexample-loop.7e5559029b":"it-tħaddim ikompli taħt l-istess identità","res-forge-counterexample-loop.89ad46cbd8":"ŻID IL-KAŻ","res-forge-counterexample-loop.9001aab10f":"ŻEWĠ TWEGIBIET LEĠITTIMI GĦAL FALLIMENT","res-forge-counterexample-loop.8888c622ac":"dak li ġie mitlub mill-verifikatur","res-forge-counterexample-loop.ec6e54733d":"il-kolonna qatt ma titlef ringiela","res-forge-counterexample-loop.2a117d0937":"EVIDENZA LI L-KANDIDAT LI JMISS IRID JISSODISFA","res-forge-counterexample-loop.da7195483c":"Agħżel iterazzjoni tal-linja ta' rfinar","res-forge-counterexample-loop.a0c4d76862":"It-tielet kandidat jissodisfa kull obbligu rreġistrat. Il-verifikatur ma jsib l-ebda input li jikser id-dominju appoġġjat u jirritorna prova bl-assunzjonijiet tagħha mniżżlin maġenbha.","res-forge-counterexample-loop.f4800df8d1":"barra","res-forge-counterexample-loop.2c3cbd53a7":"mul","res-forge-counterexample-loop.d052634571":"wessa'","res-forge-counterexample-loop.c7e42d43b0":"gwardja","res-forge-counterexample-loop.11f6ad8ec5":"x","res-forge-counterexample-loop.fcdd12a167":"VERIFIKAT FORMALMENT, assunzjonijiet elenkati","res-forge-counterexample-loop.02b8a8db00":"għal kull x fi i32, flimkien maż-żewġ każijiet irreġistrati","res-forge-counterexample-loop.30f7f19326":"It-tieni kandidat irid jissodisfa l-eżempji u l-każ ta' overflow flimkien. Iwessa' l-intermedju qabel ma jimmultiplika, u l-verifikatur jirritorna t-tieni każ li l-ispeċifikazzjoni qatt ma kienet iffissat: input vojt.","res-forge-counterexample-loop.02dc309df7":"KKONTESTAT, kontro-eżempju misjub","res-forge-counterexample-loop.9ab3ad07a9":"għal kull x fi i32, flimkien mal-każ irreġistrat","res-forge-counterexample-loop.47d7508d9a":"L-ewwel kandidat jissodisfa t-tliet eżempji pprovduti. Il-verifikatur ifittex fil-ġabra kollha ta' i32 u jirritorna input konkret wieħed fejn il-prodott skalat joħroġ mill-firxa ddikjarata.","res-forge-counterexample-loop.ad5fa3b2c6":"għal kull x fi i32","res-forge-counterexample-loop.d1c8b37b24":"x = input vojt","res-forge-counterexample-loop.b412089d87":"x = 2147483647, overflow","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":"xejn f'din il-folja ma jgħaqqad l-erba' objettivi f'numru wieħed","res-forge-decision-record.d327f7b3ba":"L-ebda punteġġ ta' rank wieħed","res-forge-decision-record.6a7eee59c0":"Mhux magħżul, u għaliex","res-forge-decision-record.3e7c118949":"Magħżul minn","res-forge-decision-record.1918daaba9":"Membru magħżul","res-forge-decision-record.974ff8bb6e":"Sett ta' objettivi","res-forge-decision-record.e38c2194b4":"ivverifikat formalment","res-forge-decision-record.ea2dfcc9cc":"Limitu ta' assigurazzjoni","res-forge-decision-record.1ccf5d25df":"Speċifikazzjoni","res-forge-decision-record.5a445661ea":"dominata minn","res-forge-decision-record.f950982dd0":"Identiku taħt kull politika","res-forge-decision-record.e6f8a915dc":"Il-fruntiera","res-forge-decision-record.473161067f":"Politika ta' għażla","res-forge-decision-record.1a7d89d441":"twaħħil mal-mira","res-forge-decision-record.b3c5533e86":"moviment tal-memorja","res-forge-decision-record.544852fd7a":"l-aktar prova sempliċi","res-forge-decision-record.6bf0b2c0d8":"triq ta' verifika itwal, li tikseb minflok twaħħil usa' mal-mira","res-forge-decision-record.fdd18306eb":"Membru Ċ","res-forge-decision-record.ee96b43256":"triq ta' verifika itwal, li tikseb minflok moviment aktar baxx","res-forge-decision-record.1e19ce513c":"Membru B","res-forge-decision-record.7ad441b0c0":"triq ta' verifika itwal mill-membru magħżul fuq is-sett attiv","res-forge-decision-record.d04e27e317":"Membru A","res-forge-decision-record.fec4a6c489":"Programm regolat jaqra l-istess fruntiera tul l-assi tal-evidenza u jieħu lill-Membru D.","res-forge-decision-record.32cba0b9da":"l-aktar triq ta' verifika diretta","res-forge-decision-record.f88efb9bc7":"Membru D","res-forge-decision-record.47942077ae":"L-aktar prova sempliċi","res-forge-decision-record.e9647ad29d":"jaħdem fuq inqas miri appoġġjati, u jbiddel il-wisa' għat-triq ta' verifika","res-forge-decision-record.baede38a31":"jaħdem fuq inqas miri appoġġjati, u jbiddel il-wisa' għall-moviment","res-forge-decision-record.7b357b2d93":"jaħdem fuq inqas miri appoġġjati mill-membru magħżul","res-forge-decision-record.2a6987fbaf":"Patrimonju mifrux fuq ħardwer imħallat jaqra l-istess fruntiera tul l-assi tal-mira u jieħu lill-Membru Ċ.","res-forge-decision-record.462746df39":"l-aktar twaħħil wiesa' mal-mira","res-forge-decision-record.ad59e3b102":"L-aktar wiesa'","res-forge-decision-record.6235c63244":"jiċċaqlaq aktar data, u jżomm minflok derivazzjoni iqsar","res-forge-decision-record.709e1b623c":"jiċċaqlaq aktar data, mifruxa fuq aktar miri appoġġjati","res-forge-decision-record.7efb4f14c6":"jiċċaqlaq aktar data mill-membru magħżul fuq is-sett attiv","res-forge-decision-record.26929cd71c":"Tqegħid ristrett mit-traffiku tal-memorja jaqra l-istess fruntiera tul l-assi tal-moviment u jieħu lill-Membru B.","res-forge-decision-record.993033f0b5":"l-inqas moviment tal-memorja","res-forge-decision-record.4e76f5796f":"L-aktar irqiq","res-forge-decision-record.344f41f998":"latency mudellata ogħla, u t-triq ta' verifika iqsar tiegħu mhijiex l-assi","res-forge-decision-record.ed3d6e1e77":"latency mudellata ogħla, u l-wisa' tiegħu mhux qed jitħallas hawnhekk","res-forge-decision-record.0be3560065":"latency mudellata ogħla mill-membru magħżul fuq is-sett attiv","res-forge-decision-record.b8b9888522":"Tim ta' inġinerija b'magna waħda fil-mira jaqra l-fruntiera tul l-assi tal-latency u jieħu lill-Membru A.","res-forge-decision-record.ffefb7fa98":"l-inqas latency mudellata","res-forge-decision-record.4cb3bb0fc4":"L-aktar mgħaġġel","res-forge-equivalence-space.638d0226a9":"pożizzjonijiet relattivi biss, mingħajr figuri mkejla","res-forge-equivalence-space.b727a735e7":"moviment","res-forge-equivalence-space.e8c39c4d7e":"operazzjonijiet","res-forge-equivalence-space.4619486033":"forma estratta","res-forge-equivalence-space.f42512d469":"Mira tal-estrazzjoni","res-forge-equivalence-space.92149cf8ce":"SEED","res-forge-equivalence-space.217cb1c2eb":"Espressjoni waħda estiża f'erba' klassijiet ta' forom ekwivalenti, bil-mogħdija lejn il-mira tal-estrazzjoni magħżula mixgħula u tarf wieħed rifjutat imfassal imma qatt mixgħul","res-forge-equivalence-space.ccce87f620":"Espressjoni estiża f'netwerk ta' forom ekwivalenti, b'kundizzjonijiet fuq it-truf","res-forge-equivalence-space.27fa456ce7":"L-estrazzjoni għall-portabbiltà tieħu t-tnaqqis tas-saħħa u l-bidla fil-layout minflok. Tmexxi aktar operazzjonijiet mill-forma alġebrika u tilħaq l-aktar sett wiesa' ta' miri appoġġjati.","res-forge-equivalence-space.27d7e452b1":"(a << 1) + a, ippakkjat","res-forge-equivalence-space.feba5b9c56":"L-estrazzjoni għall-moviment iġorr l-istess pass alġebriku fil-klassi tal-fużjoni. Tmexxi inqas operazzjonijiet mill-forma tal-layout u żżomm l-inqas moviment ta' memorja mit-tlieta.","res-forge-equivalence-space.37226e169c":"fuse(a + a + a)","res-forge-equivalence-space.a2f4cd4d38":"L-estrazzjoni għall-latenza tieħu l-forma alġebrika u tieqaf hemm. Tmexxi l-inqas operazzjonijiet u ċċaqlaq aktar dejta mill-forma ffużjata, u għandha dritt għall-kundizzjoni tal-wisa' li ġiet ippruvata.","res-forge-equivalence-space.4b10d3e274":"3 * a","res-forge-equivalence-space.dfb1d5b6c2":"PORTABBILTÀ","res-forge-equivalence-space.37f756c7d0":"MOVIMENT","res-forge-equivalence-space.49d6c10ece":"LATENZA","res-forge-equivalence-space.8e43c13f74":"f32 reassociation rifjutat","res-forge-equivalence-space.13d2c4a154":"i32 wisa' pprovata","res-forge-equivalence-space.dcc4e6c574":"KLASSI TAL-LAYOUT","res-forge-equivalence-space.69688a961b":"KLASSI TAL-FUŻJONI","res-forge-equivalence-space.16cbdc05fc":"KLASSI TAS-SAĦĦA","res-forge-equivalence-space.dbb0f90765":"KLASSI ALĠEBRIKA","res-forge-equivalence-space.bc109fb076":"portabbli","res-forge-equivalence-space.7aca22de0b":"ippakkjat","res-forge-equivalence-space.1f08a3216a":"ffużjat","res-forge-equivalence-space.b0c659fe95":"streamed","res-forge-equivalence-space.28e1e451f0":"f32 regroup","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":"Il-promozzjoni teħtieġ evidenza, mhux kontroll. Din l-affordance mhix disponibbli fl-ebda\n              stat fuq din il-bord, li hija r-regola li qed tiġi mfassla.","res-forge-evidence-cards.61c57736e7":"Ippromwovi","res-forge-evidence-cards.7d903d3344":"Ir-regola tal-promozzjoni","res-forge-evidence-cards.8fc2a131ae":"nodu wieħed inbidel, u t-tikketta terġa' lura għal forma tajba","res-forge-evidence-cards.4acf3ac41d":"Dossiers tal-kandidati","res-forge-evidence-cards.65748fb5d3":"ir-reġjun li jżomm f'wiċċ l-ilma tal-istess graff, li dan l-encoding ma jirrappreżentax","res-forge-evidence-cards.d274f5b4e3":"Dak li mhux stabbilit","res-forge-evidence-cards.8f4f743d7f":"semantika eżatta ta' numri interi u reġjun iddikjarat pur mill-pakkett","res-forge-evidence-cards.7d37b7550c":"Taħt liema suppożizzjonijiet","res-forge-evidence-cards.2bae06de12":"kull input li t-teorija formali tista' tesprimi","res-forge-evidence-cards.e700afa7f9":"Fuq liema dominju","res-forge-evidence-cards.8be740fd8c":"ir-relazzjoni kkodifikata madwar id-dominju kollu appoġġjat","res-forge-evidence-cards.b76e542d96":"Dak li ġie ċċekkjat","res-forge-evidence-cards.906c590060":"relazzjoni universali appoġġjata ġiet ippruvata taħt suppożizzjonijiet iddikjarati","res-forge-evidence-cards.ea66d3cd71":"Ivverifikat formalment","res-forge-evidence-cards.b7330133c1":"Kandidat R","res-forge-evidence-cards.8e950fc545":"kwalunkwe input barra s-sett fornut, inkluża l-kundizzjoni kwantifikata","res-forge-evidence-cards.72d0fc35c6":"l-imġiba ta' referenza fornuta mal-pakkett, fid-dominju tiegħu stess","res-forge-evidence-cards.2c8e59076b":"l-inputs fornuti, wieħed wieħed","res-forge-evidence-cards.961d36c1e2":"il-każijiet konkreti miktuba fl-ispeċifikazzjoni","res-forge-evidence-cards.593aeb47dc":"il-każijiet konkreti ddikjarati għaddew u xejn aktar minnhom ma ġie ddikjarat","res-forge-evidence-cards.919003799d":"Ittestjat","res-forge-evidence-cards.24f43cdd11":"Kandidat Q","res-forge-evidence-cards.8af32eb207":"imġiba fuq profil fil-mira li l-link tal-eżekuzzjoni ma jsemmix","res-forge-evidence-cards.d7201bf2e3":"il-familja numerika u l-effetti li l-pakkett ippermetta, it-tnejn imwaħħlin","res-forge-evidence-cards.dfaa1686c4":"il-firxa ta' input iddikjarata fuq profil fil-mira wieħed appoġġjat","res-forge-evidence-cards.707e2a56c9":"ir-relazzjoni ppruvata, imbagħad il-pjan u l-artefatt li ġarruha fl-eżekuzzjoni","res-forge-evidence-cards.f092d6fe39":"graff, pjan, artefatt u identità tar-riżultat jibqgħu marbutin flimkien","res-forge-evidence-cards.32d888fecc":"Eżekuzzjoni marbuta","res-forge-evidence-cards.0483882b1c":"Kandidat P","res-forge-experiment-packet.7a6aad1d4c":"esperiment ġdid, rekord separat","res-forge-experiment-packet.aad6b5ae20":"IDENTITÀ TAL-PAKKETT","res-forge-experiment-packet.bbcc172a1e":"JEKK XI QASAM JINBIDEL","res-forge-experiment-packet.f5ca7850da":"issiġillat fil-bidu tal-ġirja","res-forge-experiment-packet.1f7febf95f":"POLITIKA DDIKJARATA","res-forge-experiment-packet.39b2c01e18":"LINGWA MGĦLUQA","res-forge-experiment-packet.c2bb6fa0c5":"SPEĊIFIKAZZJONI IMMUTABBLI","res-forge-experiment-packet.4484cb6fa9":"irrapporta mhux magħruf","res-forge-experiment-packet.feaf4dd4e6":"marbut: daqs <= 6","res-forge-experiment-packet.5aa50aebf7":"formali fejn appoġġjat","res-forge-experiment-packet.31be469709":"POLITIKA","res-forge-experiment-packet.e1e3e98714":"daqs tal-kodiċi","res-forge-experiment-packet.b3c5533e86":"moviment tal-memorja","res-forge-experiment-packet.e64e22b150":"GĦANIJIET","res-forge-experiment-packet.48aef70526":"ordni totali fiss","res-forge-experiment-packet.294793bfad":"komplement ta' tnejn, 32 bit","res-forge-experiment-packet.1e9edfb9ee":"SEMANTIKA","res-forge-experiment-packet.9c5c96b457":"ebda effett estern","res-forge-experiment-packet.d835dab5b4":"numru sħiħ eżatt","res-forge-experiment-packet.2a3ffd9ebb":"LINGWA","res-forge-experiment-packet.486c4f6f95":"1 skeċċ, 2 toqob","res-forge-experiment-packet.9254dc6ec8":"1 relazzjoni universali","res-forge-experiment-packet.dbeac903da":"4 eżempji","res-forge-experiment-packet.32082e06e3":"SPEĊIFIKAZZJONI","res-forge-forms-instrument.b050566d50":"xejn","res-forge-forms-instrument.d680340c0b":"parzjalment","res-forge-forms-instrument.ad22e7e15b":"jissodisfaha","res-forge-forms-instrument.7cb8793606":"ma jissodisfahiex","res-forge-forms-instrument.ed5a4b874a":"jissodisfaha parzjalment","res-forge-four-silences.a2b701e0b3":"Ma jiġi prodott l-ebda programm, u r-raġuni tissemma.","res-forge-four-silences.5faa59d4bc":"Riżultat","res-forge-four-silences.5647cada0f":"X'jista' jbiddlu","res-forge-four-silences.7661e6591f":"X'ġara","res-forge-four-silences.1189b54fc7":"X'inhu dak li ntalab","res-forge-four-silences.c648f0b37b":"Erba' raġunijiet għaliex it-tweġiba hija l-ebda programm","res-forge-four-silences.2637ce69f5":"IL-PROGRAMM","res-forge-four-silences.f61fa98a3b":"IL-MUDELL","res-forge-four-silences.cbbef8ce7e":"BARRA","res-forge-four-silences.ce75fc2aec":"LIMITU MOGĦTI","res-forge-four-silences.3a339a1749":"REGOLA 2","res-forge-four-silences.35a7d11e05":"REGOLA 1","res-forge-four-silences.8cc9c3c016":"Lura għal dak li jkopri t-talba","res-forge-four-silences.971c87e299":"Ġib is-servizz ġewwa l-mudell, jew dejjaq it-talba.","res-forge-four-silences.88868a0c58":"Parti mill-imġiba tinsab barra l-konfini li l-verifika tista' tiddeskrivi.","res-forge-four-silences.181032c74d":"staqsi servizz estern għal-limitu","res-forge-four-silences.407dfebcf1":"Lura b'aktar spazju","res-forge-four-silences.97cd9b5795":"Ġirja itwal, jew metodu differenti.","res-forge-four-silences.33af89d7fc":"It-tfittxija laħqet il-limitu li ngħatat u waqfet qabel ma deċidiet il-kwistjoni.","res-forge-four-silences.086f7cbb23":"regola waħda dwar kull input appoġġat","res-forge-four-silences.74864a1ff8":"Lura għal deċiżjoni waħda","res-forge-four-silences.7c78667c01":"Agħti eżempju ieħor.","res-forge-four-silences.fd58916c0c":"Żewġ imġibiet differenti jaqblu fuq it-tliet eżempji u ma jaqblux fuq ir-raba' input.","res-forge-four-silences.96dee44862":"3 jagħti 9","res-forge-four-silences.9179befc0c":"2 jagħti 4","res-forge-four-silences.3d47eae588":"1 jagħti 1","res-forge-four-silences.35f6e4ab6c":"Lura għal min kiteb ir-regoli","res-forge-four-silences.5c332290c5":"Ħoll waħda miż-żewġ regoli.","res-forge-four-silences.ece7f203f5":"Iż-żewġ regoli jiltaqgħu wiċċ imb wiċċ. Input negattiv ma jistax jissodisfa t-tnejn fl-istess ħin.","res-forge-four-silences.b25d65ea16":"irritorna l-input kif inhu","res-forge-four-silences.a4d3a2c877":"dejjem irritorna numru pożittiv","res-forge-four-silences.20cb7eef2c":"Barra l-mudell","res-forge-four-silences.c439038abe":"Mhux kopert","res-forge-four-silences.04ae6467a0":"L-ebda konklużjoni","res-forge-four-silences.280c5e7fc6":"Żewġ qari","res-forge-four-silences.3fe459f958":"Xejn ma jaqbel","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":"M'hemm xejn x'tqabbel miegħu","res-forge-intent-cards.f2b3a1f895":"Miktub direttament mis-sentenza","res-forge-intent-cards.8af3e09e73":"L-istess sentenza wieġbet direttament","res-forge-intent-cards.ee3c9325a5":"Dawn jistgħu jfallu, li huwa l-punt","res-forge-intent-cards.a014f9c662":"Il-forma tinżamm, il-lakuni jitfittxu.","res-forge-intent-cards.d40fae93b9":"Żewġ lakuni","res-forge-intent-cards.32fd056d3d":"Skitċ","res-forge-intent-cards.5b6d56b37e":"Iċċekkjat fuq kull qari li r-regola tista' ssemmi.","res-forge-intent-cards.43a980aaf8":"qari, it-tweġiba tibqa' bejn 0 u 100, u qatt ma tiċċaqlaq b'aktar minn pass\n                  wieħed.","res-forge-intent-cards.d8784ae2ea":"Għal kull","res-forge-intent-cards.57f6dcedb1":"Linja waħda","res-forge-intent-cards.78e1790e29":"Regola","res-forge-intent-cards.85ee9e64bf":"Iċċekkjat fuq il-qari li pprovdejt.","res-forge-intent-cards.ef73fdd1c8":"Erba' każijiet","res-forge-intent-cards.eb01bf04c9":"Eżempji","res-forge-intent-cards.77d979bc52":"Tliet forom li s-sentenza tista' tieħu","res-forge-intent-cards.b784f64740":"Tifred fi tliet forom, u kull waħda tista' tiġi ċċekkjata.","res-forge-intent-cards.6802fdd79e":"Dak li ntalab","res-forge-intent-cards.650c85708e":"pass nieqes","res-forge-intent-cards.d2fb792999":"illimita kemm tista' taqbeż bih","res-forge-intent-cards.d2fde1a28f":"żommu ġewwa l-firxa sigura ma'","res-forge-intent-cards.25f1a0d208":"ħu l-qari","res-forge-intent-cards.94407bb3ee":"“Żomm kull qari ġewwa l-firxa sigura, u qatt tħallih jaqbeż.”","res-forge-intent-modes-instrument.fd197e80cc":"Formola tintgħażel, mhux magħquda. Ir-rekord iżomm liema waħda ġabet it-talba.","res-forge-intent-modes-instrument.a6c44a9033":"Jkopri","res-forge-intent-modes-instrument.abd6628786":"Tliet modi kif tiddikjara x'għandu jagħmel programm","res-forge-intent-routes.5170330dcc":"Iż-żewġ linji jħallu l-istess rekwiżit. Waħda biss minnhom għadha miftuħa fil-qiegħ tat-tpinġija.","res-forge-intent-routes.544852fd7a":"prova l-aktar sempliċi","res-forge-intent-routes.3e7c118949":"Magħżul minn","res-forge-intent-routes.9a976fc228":"Magħżul","res-forge-intent-routes.239aff5852":"fuq il-fruntiera","res-forge-intent-routes.be601df25e":"Riċerka","res-forge-intent-routes.f577430e54":"proġett ġdid","res-forge-intent-routes.f6ef754e2d":"Punt ta' lock-in","res-forge-intent-routes.7b2d03931b":"Konvenzjonali","res-forge-intent-routes.f18b41890d":"imġiba, restrizzjonijiet u riskji, miktuba darba","res-forge-intent-routes.e9c366b4f3":"Rekwiżit","res-forge-intent-routes.eb9ceb1149":"kontro-eżempju","res-forge-intent-routes.462746df39":"l-aktar adattament wiesa' għall-mira","res-forge-intent-routes.120e0af75a":"l-inqas moviment","res-forge-intent-routes.cd3e7bf034":"proġett ta' ottimizzazzjoni","res-forge-intent-routes.92be6abbc0":"bażi ta' kodiċi waħda","res-forge-intent-routes.9732c542fc":"implimentazzjoni miktuba","res-forge-intent-routes.27df60a6a2":"arkitettura magħżula","res-forge-kera-boundary.1ccf5d25df":"Speċifikazzjoni","res-forge-kera-boundary.29a184b65c":"graff","res-forge-kera-boundary.2fa9505626":"artefatt","res-forge-kera-boundary.37a5301a88":"riżultat","res-forge-kera-boundary.3bd7b119dd":"kull membru mhux dominat","res-forge-kera-boundary.4aca16af35":"Riżultat tal-verifikazzjoni","res-forge-kera-boundary.61792020d0":"Fruntiera oġġettiva","res-forge-kera-boundary.646e287869":"il-prova u l-assunzjonijiet tagħha","res-forge-kera-boundary.6f8f7df48d":"FORGE","res-forge-kera-boundary.700bb94783":"tnaqqis","res-forge-kera-boundary.7bc555991d":"fissat","res-forge-kera-boundary.7c1df38fca":"GRAFF SEMANTIKU VERIFIKAT","res-forge-kera-boundary.807a40a32f":"jirreferi lura għall-graff","res-forge-kera-boundary.8b36233e89":"graff semantiku verifikat flimkien ma' obbligi","res-forge-kera-boundary.8cd3def21e":"l-ebda emitter fil-mira ma jgħix fuq din in-naħa","res-forge-kera-boundary.970c175475":"profil oġġettiv","res-forge-kera-boundary.9c31467d05":"Miżmum fuq din in-naħa tal-bieb","res-forge-kera-boundary.a30f1285d5":"RABTA TA' EŻEKUZZJONI","res-forge-kera-boundary.b727a735e7":"moviment","res-forge-kera-boundary.bed97175b0":"pjan","res-forge-kera-boundary.c9ff38c8bb":"il-problema tar-riċerka mwaħħla","res-forge-kera-boundary.cce55e4309":"ordni","res-forge-kera-boundary.d4f766efab":"Tliet detenzjonijiet, oġġett wieħed jaqsam","res-forge-kera-boundary.efe0c41bcb":"KERA","res-forge-loop-instrument.1e76c7e5b8":"Ċiklu wieħed ta' kontro-eżempju, erba' stadji","res-forge-pareto-frontier.e2ee360818":"ŻID GĦAN TAL-ENERĠIJA","res-forge-pareto-frontier.b0e56d1efe":"il-kurva hija fissa filwaqt li tinbidel biss il-politika","res-forge-pareto-frontier.787ca603fd":"il-fruntiera tappartjeni lis-sett tal-għanijiet","res-forge-pareto-frontier.d0eeccbe8d":"magħżul minn","res-forge-pareto-frontier.173d916846":"enerġija","res-forge-pareto-frontier.1a7d89d441":"qbil mal-mira","res-forge-pareto-frontier.b727a735e7":"moviment","res-forge-pareto-frontier.c3b9a01442":"latenza","res-forge-pareto-frontier.3404b13cac":"sett tal-għanijiet","res-forge-pareto-frontier.e38c2194b4":"ivverifikat formalment","res-forge-pareto-frontier.bf984aca27":"limitu ta' assigurazzjoni","res-forge-pareto-frontier.03d6a194f4":"speċifikazzjoni","res-forge-pareto-frontier.33ca7f61b6":"RITORN FUQ L-ENERĠIJA","res-forge-pareto-frontier.0acbd1c769":"MOVIMENT TAL-MEMORJA","res-forge-pareto-frontier.4b93d5e7ea":"LATENZA, AKTAR GĦOLJA LEJN IL-LEMIN","res-forge-pareto-frontier.43bf415954":"Plot ta' kompromess tal-latenza kontra l-moviment tal-memorja, bil-qbil mal-mira muri bħala daqs tal-markatur, erba' membri mhux dominati magħquda bil-kurva tal-fruntiera, u seba' kandidati dominati kull wieħed magħqud mal-membru li jiddominah","res-forge-pareto-frontier.f2b023979d":"xMinYMid meet","res-forge-pareto-frontier.473161067f":"Politika tal-għażla","res-forge-pareto-frontier.7c1e368123":"Il-politika bilanċjata tal-irkobbtejn tagħżel ukoll il-kandidat Ċ, b'argument differenti: huwa l-punt fejn li tieqaf tagħti aktar latenzi ma jibqax jixtri ħafna moviment. Żewġ politiki li jagħżlu l-istess membru huwa fatt dwar din il-fruntiera, u r-rekord xorta jisemma liema politika għażlitu.","res-forge-pareto-frontier.b7aedb3b70":"L-aktar politika sempliċi ta' prova tagħżel il-kandidat D. Hija tirrinunzja għal kitba mill-ġdid aggressiva waħda, għalhekk l-obbligu ta' verifikazzjoni tagħha huwa l-iżgħar tal-erbgħa.","res-forge-pareto-frontier.5614e2e73d":"Il-politika tal-inqas moviment tagħżel il-kandidat B. Għandha l-itwal triq kritika tal-erbgħa, li huwa l-prezz biex timxi l-inqas dejta.","res-forge-pareto-frontier.14826696ec":"L-aktar politika mgħaġġla tagħżel il-kandidat A. Hija żżomm l-akbar sett ta' ħidma fuq il-fruntiera, u r-rekord iżomm dan flimkien mal-għażla minflok jaħbih f'punteġġ.","res-forge-pareto-frontier.c65681bb2d":"qbil mal-mira: l-usa'","res-forge-pareto-frontier.b097d0ac54":"moviment: medju","res-forge-pareto-frontier.05da02c2f2":"latenza: medja","res-forge-pareto-frontier.d0b64e1eec":"qbil mal-mira: medju","res-forge-pareto-frontier.144e5e5e83":"moviment: aktar baxx","res-forge-pareto-frontier.aa828b0585":"latenza: aktar għolja","res-forge-pareto-frontier.e3a088e260":"qbil mal-mira: dejjaq","res-forge-pareto-frontier.6fc0d51b39":"moviment: l-aktar baxx","res-forge-pareto-frontier.1b565dbd5d":"latenza: l-aktar għolja","res-forge-pareto-frontier.79c0f24c30":"moviment: l-ogħla","res-forge-pareto-frontier.83504b708a":"latenza: l-aktar baxxa","res-forge-pareto-frontier.37671e6ba6":"Irkobbtejn bilanċjati","res-forge-pareto-frontier.47942077ae":"L-aktar prova sempliċi","res-forge-pareto-frontier.8703111807":"L-usa' mira","res-forge-pareto-frontier.0b2147fd0a":"L-inqas moviment","res-forge-pareto-frontier.4cb3bb0fc4":"L-aktar mgħaġġel","res-forge-pareto-frontier.7e6396c2ce":"Il-politika tal-usa' mira tagħżel il-kandidat Ċ. Taħdem fuq l-usa' sett ta' miri appoġġjati, u toqgħod bejn iż-żewġ estremi fuq iż-żewġ assi mpinġija.","res-forge-programme-boundary.97af50dd3d":"Il-bieb jaqsam iċ-ċrieki tlieta ppubblikati u jieqaf fil-konfini tal-qalba. Iċ-ċrieki ta' barra tlieta\n          jistgħu jiġu eżaminati mingħajr ma tinfetaħ l-iżjed waħda ta' ġewwa.","res-forge-programme-boundary.9ba1f67469":"Programm ta' riċerka, mhux offerta ta' softwer","res-forge-programme-boundary.f72e361ba7":"Kontroll tal-pubblikazzjoni","res-forge-programme-boundary.108e9b7f90":"miżmum bħala metodu ta' riċerka","res-forge-programme-boundary.88306943fe":"Metodu","res-forge-programme-boundary.68836c550e":"Qalba","res-forge-programme-boundary.175267da12":"rotta tat-teorija","res-forge-programme-boundary.15e58bec8d":"allokazzjoni tal-baġit","res-forge-programme-boundary.b32f31d61d":"pożizzjoni tal-fruntiera","res-forge-programme-boundary.6f3c47977c":"kejl skopjat","res-forge-programme-boundary.ff7fc62f3f":"stat ta' assigurazzjoni","res-forge-programme-boundary.500aadccf6":"kandidat magħżul","res-forge-programme-boundary.5faa59d4bc":"Riżultat","res-forge-programme-boundary.6840659e94":"trattament tal-mhux magħruf","res-forge-programme-boundary.3404b13cac":"sett ta' objettivi","res-forge-programme-boundary.78a3386c55":"limitu tar-riżorsi","res-forge-programme-boundary.90f54b8f1b":"lingwa permessa","res-forge-programme-boundary.c445f7aab5":"korpus ta' speċifikazzjoni","res-forge-programme-boundary.1ed77c3f7f":"Protokoll","res-forge-programme-boundary.aba4559466":"art preċedenti msemmija","res-forge-programme-boundary.0c447c79ec":"mistoqsija ta' riċerka","res-forge-programme-boundary.002ff59811":"Mistoqsija","res-forge-programme-instrument.a725020675":"Stat","res-forge-programme-instrument.dc4e08a408":"Talba","res-forge-proof-parts-instrument.ba3fef96ae":"Prova f'ħames partijiet","res-forge-provenance-chain.040c236a24":"erbgħa minn disa' nodi, u l-ebda pass issiġillat fosthom","res-forge-provenance-chain.0ca6a997b6":"X'GĦANDU JIRRIRODUĊI REPLAY","res-forge-provenance-chain.7c0a292070":"TIKKA TAL-BRAND TIMMARKA NODU LI L-KORSJA TAR-REPLAY GĦANDA Tmiss","res-forge-provenance-chain.763ad25abd":"issiġilla r:1c62e08","res-forge-provenance-chain.da528b9287":"VERIFIKAT FORMALMENT","res-forge-provenance-chain.9106ca2738":"MAGĦŻUL","res-forge-provenance-chain.416eb4fbb0":"fruntiera","res-forge-provenance-chain.8e016346a6":"KLASSI TA' EKWIVALENZA","res-forge-provenance-chain.97d9eb838e":"cx 2","res-forge-provenance-chain.21fedfd21e":"kandidat 2","res-forge-provenance-chain.2ce3ff82d2":"barra: kandidat 2","res-forge-provenance-chain.656b15a358":"ġewwa: kandidat 1 flimkien ma' cx 1","res-forge-provenance-chain.a65edb573d":"PASS TA' RIĊERKA","res-forge-provenance-chain.b0b7ba4666":"PRIVAT","res-forge-provenance-chain.6495ecf841":"cx 1","res-forge-provenance-chain.7312546346":"kandidat 1","res-forge-provenance-chain.32082e06e3":"ISPEĊIFIKAZZJONI","res-forge-provenance-chain.4ee56d08c0":"Graff ta' derivazzjoni mix-xellug għal-lemin: speċifikazzjoni, żewġ kandidati, żewġ kontro-eżempji,\n              pass intern wieħed issiġillat, klassi ta' ekwivalenza, fruntiera u r-riżultat verifikat\n              magħżul","res-forge-provenance-chain.e259f512bc":"Graff ta' derivazzjoni mill-ispeċifikazzjoni sal-kandidat verifikat magħżul, b'pass intern wieħed issiġillat iżda konness","res-forge-provenance-chain.191f8b1087":"RABTA TA' EŻEKuzzjoni","res-forge-provenance-chain.88be68d35d":"RIŻULTAT TA' VERIFIKA","res-forge-provenance-chain.bdd7fdaa13":"KANDIDAT 2","res-forge-provenance-chain.608c5b40ac":"ISPEĊIFIKAZZJONI v1","res-forge-record-timeline.0794c4ea35":"Deċiżjoni meħuda","res-forge-record-timeline.0f9c9e32f9":"Verżjoni, qatt isem ta' fergħa","res-forge-record-timeline.314d8e79c0":"Għaliex ma ntgħażlitx il-kandidat B?","res-forge-record-timeline.39ab49c337":"L-input eżatt li falla, miżmum għall-ġid","res-forge-record-timeline.4868056615":"Xejn fuq din il-linja ma ġie rkuprat minn messaġġi ta' commit.","res-forge-record-timeline.4bd9342a8a":"Tliet entrati jwieġbu dan, u l-ebda waħda minnhom ma trid tinbena mill-ġdid.","res-forge-record-timeline.59d432b5cb":"Alternattivi mqabbla","res-forge-record-timeline.6546ec1158":"Reviżur jasal ħafna wara","res-forge-record-timeline.6833948a23":"Miktub fil-ħin","res-forge-record-timeline.7d1e2e97e8":"Rekwiżit iddikjarat","res-forge-record-timeline.90726e413a":"Iwieġeb il-mistoqsija","res-forge-record-timeline.aaddcdd4a5":"Metodu ta' riċerka, issiġillat","res-forge-record-timeline.ccf3d548fe":"Aqra lura","res-forge-record-timeline.de805f67e3":"Ħames kandidati, relazzjoni ta' dominanza waħda","res-forge-record-timeline.e4a8371aea":"Ir-rekord, moqri mix-xellug għal-lemin","res-forge-record-timeline.e8412cdd3e":"Il-politika, u l-awtorità warajha","res-forge-record-timeline.eeb026e98f":"Kontro-eżempju rreġistrat","res-forge-record-timeline.f4452aa131":"Il-pass, u l-ambitu li jkopri dak il-pass","res-forge-record-timeline.f65fb0cd45":"Assigurazzjoni milħuqa","res-forge-search-field.f6d08e6875":"Tulijiet relattivi, mhux għadd","res-forge-search-field.e9fd9a1eaa":"X'hemm fil-qasam","res-forge-search-field.fbd8250bed":"UNCHANGED FOR THE WHOLE RUN","res-forge-search-field.6a38722b12":"IR-REKWIŻIT","res-forge-search-field.dbd3e24a6c":"Qasam ta' forom ta' programmi kandidati fi tliet stati madwar qafas wieħed fiss ta' rekwiżit fiċ-ċentru","res-forge-search-field.0c596f1034":"xMidYMid slice","res-forge-search-field.7be0fdc4e0":"Mibni, imbagħad maqbud","res-forge-search-field.9545c5f30a":"Falla każ","res-forge-search-field.e247bbc42c":"Qatt ma nbena","res-forge-search-field.3d7da15c51":"Miċħud bit-tip","res-forge-search-field.70c98ed3c6":"Permess li jiġi ċċekkjat","res-forge-search-field.35633f30dd":"Jaqbel mar-regoli","res-forge-search-field.50c026300b":"Ammess","res-forge-silence-instrument.3bc40f4b2a":"Erba' riżultati li jirritornaw mingħajr programm","res-forge-size-lattice.a82ce62110":"LINGWA AKTAR WIESGĦA, ESPERIMENT ĠDID","res-forge-size-lattice.74ed41aa02":"MINIMALI FIL-LINGWA L, F'DAQS 5 JEW INQAS","res-forge-size-lattice.4ca63f9c2e":"MHUX MFITTXIJET, MHUX MITLUBA","res-forge-size-lattice.b79d0fac18":"RABTA DDIKJARATA","res-forge-size-lattice.5e265fa4aa":"L-EWWEL VERIFIKATA","res-forge-size-lattice.92664d7dff":"osservazzjoni, mhux prova","res-forge-size-lattice.950b23b925":"imġarrfa bħala duplikat osservat","res-forge-size-lattice.a615e7ad1a":"miċħuda mit-tip, qabel evalwazzjoni","res-forge-size-lattice.6f389bc568":"ammessa","res-forge-specification-desk.65d9989d71":"IL-FORMS TAL-EVIDENZA MHUX INTERKAMBJABBLI","res-forge-specification-desk.166b5a63b2":"jgħaddi mill-erba' eżempji kollha","res-forge-specification-desk.26a9ba5602":"x = -9","res-forge-specification-desk.5099050f90":"IL-KAŻ LI JIFREDHOM","res-forge-specification-desk.561f36ce2f":"tweġiba eżekutibbli, bil-limiti tagħha stess","res-forge-specification-desk.ca24d384c1":"dominju tal-oraklu: biss minn 0 sa 100","res-forge-specification-desk.3cee30a3ad":"REFERENZA","res-forge-specification-desk.0d99250013":"struttura fissa, żewġ toqob ittajpjati miftuħa","res-forge-specification-desk.c1dc5611bb":"irritorna clamp(t,","res-forge-specification-desk.2e5baed7cb":"ħalli t =","res-forge-specification-desk.b3274ca07a":"ħalli s = scale(x)","res-forge-specification-desk.ebdeb573df":"ABBOZZ","res-forge-specification-desk.c597bbdbc1":"kull input li t-teorija tista' tesprimi","res-forge-specification-desk.15ac2f23db":"għal kull x fid-dominju appoġġat:","res-forge-specification-desk.61ed10966f":"VINCOLI","res-forge-specification-desk.0ec3e255af":"erba' każijiet, iċċekkjati eżattament","res-forge-specification-desk.9659699670":"EŻEMPJI","res-forge-specification-desk.191f4bd034":"ikklampja valur skalat f'firxa ddikjarata","res-forge-specification-desk.4ad49a4ec4":"TRASFORMAZZJONI WAĦDA","res-forge-specification-desk.d9b48caf78":"jikser il-monotoniċità barra d-dominju tal-oraklu","res-forge-stack-path.4d5fa1b006":"Kull sistema taqra l-istess oġġett minflok kopja tiegħu, u dan huwa dak li jżomm l-ispeċifikazzjoni, il-prova, il-pjan u r-riżultat fuq identità waħda.","res-forge-stack-path.86506efb99":"l-identità tar-riżultat terġa' lura għall-identità tal-graff li minnha bdiet","res-forge-stack-path.c83a5945cb":"fejn il-programm iżomm stat verifikat","res-forge-stack-path.55561848ab":"Aion","res-forge-stack-path.17ed2b5e88":"fejn mudell tas-sistema fiżika huwa parti mill-ispeċifikazzjoni","res-forge-stack-path.1699ca16fb":"FMI and Twin","res-forge-stack-path.d5f412e831":"Kera","res-forge-stack-path.3ab11b75ca":"Forge","res-forge-stack-path.11e7686a81":"Graph identity","res-forge-stack-path.8e246a1e8d":"L-ebda emitter fil-mira ma jidher fuq il-pjanċa tal-Forge.","res-forge-technical-glyph.be601df25e":"Riċerka","res-forge-technical-glyph.91a9d5d08f":"Speċifikazzjoni immutabbli","res-forge-technical-glyph.c2237a2d15":"Pakkett ta' esperiment","res-forge-technical-glyph.03d6a194f4":"speċifikazzjoni","res-forge-technical-glyph.e11523c5ff":"lingwa","res-forge-technical-glyph.7b7f9366a3":"objettivi","res-forge-technical-glyph.f3753f1b6b":"assigurazzjoni","res-forge-technical-glyph.9d78bc179c":"reġjun ta' graff ittajpjat","res-forge-technical-glyph.2b90fe2fea":"żmien, moviment, daqs","res-forge-technical-glyph.a8a172a738":"sfidat","res-forge-technical-glyph.e1d96de67b":"Ġabra ta' kandidati","res-forge-technical-glyph.6f389bc568":"ammess","res-forge-technical-glyph.a503bc1da2":"rifjutat","res-forge-technical-glyph.880949479a":"ittestjat","res-forge-technical-glyph.ec734b6515":"verifikat","res-forge-technical-glyph.61792020d0":"Fruntiera ta' objettivi","res-forge-technical-glyph.096280facb":"wieħed magħżul","res-forge-technical-glyph.9985d73a38":"Sellum ta' assigurazzjoni","res-forge-technical-glyph.83ced341c8":"ifformattjat tajjeb","res-forge-technical-glyph.e38c2194b4":"verifikat formalment","res-forge-technical-glyph.275ed0c2c7":"marbut mal-eżekuzzjoni","res-forge-technical-glyph.49794a5e29":"Kandidat magħżul","res-forge-technical-glyph.9e955c5620":"kontro-eżempji miżmuma","res-forge-technical-glyph.74ef6c0061":"Konsenja lil Kera","res-forge-technical-glyph.bed97175b0":"pjan","res-forge-technical-glyph.37a5301a88":"riżultat","res-forge-technical-glyph.96a6bf1d97":"graff verifikat","res-forge-technical-glyph.b8d8aaff0a":"evidenza mehmuża","res-forge-technical-glyph.100ec4462d":"evidenza","res-forge-technical-glyph.416eb4fbb0":"fruntiera","res-forge-technical-glyph.dd4fb84f32":"l-inkonjitt huwa riżultat","res-forge-technical-glyph.3137db7c8b":"Inkonjitt, mhux sodisfaċibbli u ambigwu huma riżultati","res-forge-technical-glyph.d5f412e831":"Kera","res-forge-technical-glyph.00f6d27f5f":"DWEVE FORGE","res-forge-three-tries.ca6f569d32":"Xejn qatt ma jitneħħa mil-lista fuq ix-xellug","res-forge-three-tries.48fce8a80b":"Tliet tentattivi tal-istess problema","res-forge-three-tries.8805376577":"It-Tielet Rawnd iġorr kollox li sabu l-ewwel żewġ rawnds, u każ ieħor iżjed.","res-forge-three-tries.da17ea9bb5":"Il-lista tal-każijiet, rawnd wara rawnd","res-forge-three-tries.8cc87a2190":"xejn x'iżżid","res-forge-three-tries.36d5623704":"u mbagħad ippruvat","res-forge-three-tries.0f0b41cfe8":"Għadda minn kull każ","res-forge-three-tries.1e35a52de1":"Tentattiv 3","res-forge-three-tries.3b26ea5e3d":"lista vojta","res-forge-three-tries.b8575badd2":"fuq lista vojta","res-forge-three-tries.09fef5d8d9":"Fallex","res-forge-three-tries.969a17cecc":"Tentattiv 2","res-forge-three-tries.15d3c90fb9":"l-akbar numru possibbli","res-forge-three-tries.f88b9a4765":"fuq l-akbar numru possibbli","res-forge-three-tries.ff31d219ef":"Tentattiv 1","res-forge-three-tries.f65e38d46b":"lista b'element wieħed","res-forge-three-tries.e8741ca2e3":"lista diġà fl-ordni","res-forge-three-tries.9450ac4e17":"lista qasira","res-forge-three-tries.4d944a9d7e":"Rawnd 3","res-forge-three-tries.fa2b87ffe2":"Rawnd 2","res-forge-three-tries.f7648d3834":"Rawnd 1","res-forge-type-sockets.13fff86afe":"Żewġ operazzjonijiet, ġonta waħda","res-forge-type-sockets.2251b5f821":"Numri sħaħ mingħajr limitu","res-forge-type-sockets.338ce27565":"Tliet kompożizzjonijiet offruti lil lingwa waħda ttajpjata","res-forge-type-sockets.3d7da15c51":"Miċħuda mit-tip","res-forge-type-sockets.50c026300b":"Amessa","res-forge-type-sockets.5e5da2cd3c":"Aċċess għan-netwerk","res-forge-type-sockets.681bcaf5e4":"Ċaħda fuq din il-bord ma tiswa xejn, għax xejn fuqu għadu ma ġie evalwat.","res-forge-type-sockets.7303a0d112":"Miċħuda mill-kapaċità","res-forge-type-sockets.73841deb9d":"Magħluqa għal din il-ġirja","res-forge-type-sockets.76123e0c4c":"It-tieni operazzjoni teħtieġ kapaċità li l-pakkett ma taħx, għalhekk hija barra mill-ispazju tat-tfittxija.","res-forge-type-sockets.93c6a1f183":"Socket","res-forge-type-sockets.a1369155ac":"Aċċess għall-fajls","res-forge-type-sockets.b4ae90c7f4":"Iż-żewġ sockets ma jiltaqgħux, għalhekk l-ebda kandidat qatt ma jinġabar minn din il-par.","res-forge-type-sockets.b957ab83e5":"It-tip tal-ħruġ jiltaqa' mat-tip tad-dħul, għalhekk il-kandidat jinġabar u jista' jiġi evalwat.","res-forge-type-sockets.c7303935a3":"Aliasing mhux ikkontrollat","res-forge-type-sockets.d3f0610632":"Riżultat","res-forge-type-sockets.dbe18d2e48":"Il-lingwa tintgħażel mal-pakkett u ma tespandix waqt li tkun għaddejja t-tfittxija.","res-forge-type-sockets.eb8606da6a":"Kompożizzjoni offruta","research-forge.00274e0e63":"rifjutat, kuntratt ta' żball","research-forge.002ff59811":"Mistoqsija","research-forge.005a8c4891":"Ġib intenzjoni tad-dominju, metodi formali, kejl tal-ħardwer jew reviżjoni indipendenti. Forge jipprovdi oġġett ta' riċerka kondiviż għall-komparazzjoni ta' skoperta, prova u eżekuzzjoni ta' programmi.","research-forge.008fef2a92":"Fittex ġewwa l-operazzjonijiet li kienu permessi.","research-forge.01038388dc":"Tweġibiet mhux risponsivi jibqgħu viżibbli","research-forge.0109e7127b":"IMPOSSIBBLI","research-forge.0143790011":"ippjanar u eżekuzzjoni","research-forge.019d4e8e82":"Dak li jibqa' veru","research-forge.01f66c63e3":"Tnejn mill-pari ma jistgħux jinġabru, u l-lingwa hija li tgħid hekk.","research-forge.01fc285874":"Responsabbiltajiet kontra Forge u Kera","research-forge.02ff5bf386":"Reviżjoni tal-politika","research-forge.0303c4bacd":"ħames oqsma ffissati qabel l-ewwel kandidat","research-forge.030afc5361":"Forge jista' jippreserva l-verżjoni tar-rekwiżit, il-kandidati li kienu importanti, il-kontroeżempji, it-tranżizzjonijiet ta' assigurazzjoni, il-fruntiera oġġettiva u l-politika li għażlet membru wieħed. Sentejn wara r-rekord xorta jwieġeb il-mistoqsija li reviżur fil-fatt jagħmel, li mhix x'inbena imma għaliex l-alternattivi ġew miċħuda. It-traċċa timxi f'direzzjoni waħda u kull pass fuqha jista' jintraċċa lura: ir-rekwiżit li ddefinixxa s-suċċess, il-kandidati verifikati u miċħuda li kienu importanti, il-kontroeżempji u t-tranżizzjonijiet ta' assigurazzjoni, il-valuri oġġettivi li poġġew kull kandidat fuq il-fruntiera, u l-awtorità li għażlet wieħed minnhom. Ħadd minn dan ma jgħix ħdejn id-deċiżjoni. Jivvjaġġa magħha.","research-forge.03102018f1":"Il-kandidat huwa validu strutturalment.","research-forge.03128bed90":"Verifikazzjoni","research-forge.0393c06f67":"KANDIDAT","research-forge.0397a076c3":"Iż-żieda ta' prekundizzjoni hija mossa leġittima, u toħloq identità ġdida ta' speċifikazzjoni minflok ma teditja l-antika. L-esperiment preċedenti jibqa' fir-rekord bil-falliment tiegħu mwaħħal. Il-komunità tar-riċerka ssejjaħ il-mudell ġenerali ta' proposta, sfida, raffinar CEGIS.","research-forge.03bec6ab74":"Tliet forom","research-forge.04126cee0d":"L-erbgħa jiltaqgħu fin-nofs, għalhekk li timxi lejn wieħed minnhom normalment jiswik xi ħaġa fuq ieħor.","research-forge.0428abce3e":"Iċċekkjat b'mod limitat","research-forge.0432a371aa":"Politika ta' assigurazzjoni","research-forge.04731f0ef3":"Assi wieħed biss, latenza relattiva mmudellata. It-tul tal-bar mhuwiex klassifikazzjoni ġenerali.","research-forge.04ae6467a0":"L-ebda konklużjoni","research-forge.04bf9ee3c6":"mhux imħalli barra mill-kont","research-forge.04e9b5cd14":"ħafna derivazzjonijiet jeżistu flimkien hawn","research-forge.04fa443e7b":"L-itwal triq kritika","research-forge.05005f366c":"Riċerka ta' Forge","research-forge.05625954d2":"kif tmur it-tfittxija","research-forge.05d1c23f1f":"il-falliment idjaqq it-tfittxija","research-forge.05db5a7f8a":"Il-verżjoni tal-ispeċifikazzjoni li kull kandidat kellu jilħaq","research-forge.065d4a5b25":"Kollha jipproduċu l-istess tip ta' kandidat ittajpjat u jidħlu fl-istess komparazzjoni. L-organizzazzjoni għalhekk tqabbel programmi minflok metodi ta' tfittxija, u l-metodu li sab il-kandidat ma jagħtih l-ebda vantaġġ fid-deċiżjoni.","research-forge.07a688568e":"Artefatt fil-mira","research-forge.0820b32b20":"Ittestjar","research-forge.08b22e1ba0":"Kuntratt wieħed","research-forge.08cfb3e0f2":"Reviżjoni tal-ispeċifikazzjoni","research-forge.09496b01f9":"Kunsinna","research-forge.09a3354e63":"Kundizzjonijiet sekondarji","research-forge.09d053226c":"Segwi tfittxija waħda","research-forge.0a3eb3abd3":"Kalibrazzjoni interna","research-forge.0a5e7a0583":"Konfini","research-forge.0a799711ad":"In-normalizzazzjoni jiffranka t-tfittxija","research-forge.0ab39d71e2":"Ekwivalenza","research-forge.0ade2ace0d":"Kull kontroeżempju","research-forge.0ae18773cb":"Assistent tar-riċerka","research-forge.0b101a23a3":"Rigruppament assoċjattiv","research-forge.0b81fbebb5":"Ottimizzazzjoni aktar tard","research-forge.0ba4e46484":"Graff wieħed","research-forge.0bc357c912":"MHUX MISTURI","research-forge.0c19b6603f":"Reviżur futur jerġa' jżur id-deċiżjoni mir-rekord minflok ma jibniha mill-ġdid minn messaġġi ta' commit.","research-forge.0c6c9b91c5":"Taf dik is-sensazzjoni meta kompitu jista' jkollu implimentazzjoni aktar sempliċi? Forge jibdel dik il-mistoqsija fi fluss ta' xogħol ta' riċerka: agħtih speċifikazzjoni limitata, fittex programmi kandidati, u rrekordja l-kontrolli u l-kejl. Ir-rapport tal-2025 jiddokumenta esperiment, mhux riżultat lest għall-produzzjoni jew benchmark ippubblikat.","research-forge.0d358c9749":"Żewġ testijiet, żewġ saħħiet","research-forge.0db809cc66":"Assigurazzjoni","research-forge.0e26aaf414":"Reviżjoni tal-mudell","research-forge.0e3c434842":"Ittestjat, limitat, ippruvat","research-forge.0ef3858209":"Kontrolli limitati rreġistrati","research-forge.0f1e49f0bf":"Eżempji jirrestrinġu l-imġiba fuq l-inputs li tipprovdi. Kundizzjonijiet loġiċi jirrestrinġu kull input li t-teorija formali tista' tesprimi. Skizz jippreserva arkitettura li riċerkatur mhux lest li jagħti lit-tfittxija u jħalli toqob ittajpjati ġewwa fih. Imġiba ta' referenza tipprovdi oraklu eżekutibbli u ġġorr id-dominju tal-oraklu stess magħha. Forge jirrekordja liema forma appoġġjat kull konklużjoni minflok ma jittratta kull input bħala speċifikazzjoni ta' saħħa ugwali.","research-forge.109bff6e75":"L-ispeċifikazzjoni, mhux il-kodiċi","research-forge.1178a4ffb4":"Fittex mill-ġdid","research-forge.1181c3f399":"Il-pakkett jiddikjara wkoll meta jieqaf: il-limitu tar-riżorsi, il-limitu ta' assigurazzjoni li kandidat irid jilħaq biex jidħol fil-fruntiera, u dak li r-run jirrapporta meta xejn ma jilħqu. Tfittxija li tispiċċa mingħajr programm xorta tispiċċa b'riżultat.","research-forge.11c14ce16a":"L-organizzazzjoni mbagħad ikollha l-intenzjoni minflok espressjoni waħda tagħha, u tista' tgħid għaliex intgħażlet implimentazzjoni partikolari. Ir-rekwiżit isir l-assi dejjiemi u l-implimentazzjoni ssir riżultat li jista' jerġa' jikkalkula meta l-prijoritajiet jinbidlu.","research-forge.11dd823248":"Għal dan l-input, ipproduċi dan l-output.","research-forge.12c8d914cc":"Dak li r-riżultat ma jistabbilixxix.","research-forge.13792d7c2a":"IL-PROVA GĦANDA FRUNTIERA","research-forge.140b63310c":"Kandidat Ċ","research-forge.1462811ad5":"kandidat li jidher konvinċenti","research-forge.151978bff3":"ir-rekord isemmi l-ispeċifikazzjoni, il-limitu u l-politika kull darba","research-forge.15c2d33108":"Integrazzjoni tar-riċerka taħt evalwazzjoni","research-forge.15f1b08e56":"prova, limitu jew dikjarazzjoni ta' limitu","research-forge.16181ed76f":"Operazzjonijiet, tipi, effetti u semantika numerika permessi","research-forge.161fa759f7":"F'lingwa finita ddikjarata, it-tiftix jista' jibni kandidati billi jżid id-daqs u jirrifjuta kompożizzjonijiet invalidi qabel ma jitħaddmu. Kandidati li jaġixxu b'mod identiku fuq l-evidenza attwali jistgħu jingħaqdu biex jiffrankaw ix-xogħol, filwaqt li l-allegazzjoni ta' ekwivalenza nnifisha tistenna verifikazzjoni. Meta l-metodu jkopri kull kandidat iffurmata sew sal-limitu ddikjarat, l-ewwel programm verifikat jistabbilixxi l-minimalità tad-daqs f'dik il-lingwa u f'dak il-limitu. It-twessigħ tas-sett ta' operazzjonijiet jipproduċi esperiment differenti bit-tweġiba tiegħu stess.","research-forge.169f619e4f":"Il-badge onest iġorr il-fruntiera tiegħu, u l-fruntiera hija l-aktar parti utli tiegħu.","research-forge.16a3fa00e3":"Il-proprjetà simbolika appoġġata ġiet ippruvata taħt suppożizzjonijiet iddikjarati.","research-forge.16ec74fc0a":"CLEAR","research-forge.171ca0385a":"Imġiba","research-forge.173315f506":"ebda korsija fuq din il-bord ma tispiċċa b'kodiċi ta' waqgħa ġġenerat","research-forge.17405ade0e":"Assigurazzjoni bi skop","research-forge.17a86caa5b":"Obbligu","research-forge.17b8b28e9e":"qatt ma ttrattat bħala interkambjabbli","research-forge.17ecf461a5":"Il-problema hija sodisfabbli","research-forge.1822a38ec8":"erba' raġunijiet biex tkompli tfittex","research-forge.189ee02d36":"Nuqqas ta' konsenja onest","research-forge.18d60fce22":"Livell ta' assigurazzjoni msemmi u l-ambitu tiegħu","research-forge.18dd2ccb59":"Ħames partijiet","research-forge.18e9128279":"Li ssemmi r-riżultat iżomm il-problema fejn tappartjeni. Rekwiżiti kontradittorji jmorru lura għand min kitibhom. Każ mhux ċar jintbagħat lura għal deċiżjoni. Tiftix mhux solvut jintbagħat lura b'baġit akbar jew metodu differenti.","research-forge.18f906f6da":"Miżmum għal dejjem","research-forge.192ad837e6":"Politika rreġistrata, mhux punteġġ moħbi","research-forge.19626a1e65":"Kull ħaġa li tonqos f'każ wieħed","research-forge.1a23a7cddc":"Forge jsib","research-forge.1a66b5eeb6":"Aċċess għall-imsieħba","research-forge.1bb360f468":"Limitata","research-forge.1bb90c04d2":"Falliment li jipproduċi input konkret jiswa aktar għat-tiftix minn falliment li jipproduċi punteġġ.","research-forge.1bf39cee63":"Aktar mgħaġġel, iżgħar, aktar effiċjenti","research-forge.1bff62bf9b":"Il-metodu spiċċa mingħajr spazju. Metodu differenti jew ġirja itwal jistgħu jsolvuh.","research-forge.1c013851a3":"X'jżomm ir-rekord","research-forge.1c56ea452a":"Erba' karti ta' speċifikazzjoni li jiddeskrivu l-istess trasformazzjoni żgħira, bil-każ uniku fejn tnejn minnhom ma jaqblux","research-forge.1c56fd19d7":"Każ miftuħ wieħed","research-forge.1c82340479":"l-allegazzjoni tista' tiġi eżaminata","research-forge.1c875de71f":"Dik hija proprjetà ta' governanza daqs kemm hi teknika. Il-mument fejn żewġ qari ta' rekwiżit jiddiverġu huwa eżattament fejn tidħol deċiżjoni tal-partijiet interessati, u huwa ferm orħos qabel ma tinbena implimentazzjoni madwar wieħed minnhom.","research-forge.1c9bbc4b77":"Żomm l-alternattivi sakemm tinkiteb il-politika.","research-forge.1cb61a389f":"qasam mibdul huwa esperiment ġdid, mhux wieħed ikkoreġut","research-forge.1ccf5d25df":"Speċifikazzjoni","research-forge.1cdd46cd0e":"Aqra r-riċerka","research-forge.1d17812687":"Erba' inputs, erba' garanziji differenti","research-forge.1d2c6fe888":"kollha ħamsa, jew ebda","research-forge.1d444e826a":"Ġirjiet ta' Kera","research-forge.1d9b3bd5d3":"L-inqas dewmien","research-forge.1d9d3e69fa":"Rust, C, Verilog","research-forge.1e269ebac7":"Trasformazzjoni waħda","research-forge.1e748c3e4b":"biddel node u jkollok kandidat ġdid, bil-prova torbot mal-node","research-forge.1ecdc691a8":"ir-rotta griża tipproduċi xi ħaġa li tinqara, u xejn biex tiċċekkjaha","research-forge.1ed77c3f7f":"Protokoll","research-forge.1fd9da00a7":"Il-politika u l-awtorità li għażlet kandidat wieħed.","research-forge.2030fae2a7":"Tliet modi kif tgħidu","research-forge.2040757c11":"Cranelift, kejl ta' prestazzjoni nattiv","research-forge.2041447f84":"tiftix biss","research-forge.206009c4a7":"Ħames politiki","research-forge.20cb7eef2c":"Barra l-mudell","research-forge.2154ca1eb7":"Kull wieħed minn dawk huwa riżultat b'pass differenti li jmiss. Forge jirreġistra l-aktar stat b'saħħtu li jista' jiġġustifika u jsemmi x'kellu jinbidel biex jimxi 'l quddiem.","research-forge.21a0ffd68c":"il-mistoqsijiet miftuħa huma fuq il-paġna","research-forge.21efbc283d":"Veloċità, memorja, firxa u evidenza","research-forge.220b9c622c":"Sinteżizza","research-forge.2354ab0ba0":"qabel ma tipproponi programm","research-forge.235bfff3a2":"Programm ta' riċerka","research-forge.236656bf91":"Setgħat","research-forge.23d4ef785c":"daqs 5","research-forge.243dcbef8c":"ippjanar u emissjoni taħt","research-forge.24a264b83c":"Żewġ kandidati, erba' objettivi","research-forge.24c0bda2ba":"L-aktar triq ta' verifika diretta","research-forge.24cb5be0b0":"id-deċiżjoni żżomm ir-raġunijiet tagħha","research-forge.24d50592b7":"Objettivi","research-forge.2550b1dcad":"Responsabbiltà","research-forge.25754f1c93":"programm ta' riċerka, mhux offerta ta' softwer","research-forge.258195bb3d":"Identità waħda","research-forge.25c843b80e":"Dan jagħmel il-lingwa żewġ affarijiet fl-istess ħin. Hija mekkaniżmu ta' effiċjenza, għaliex il-biċċa l-kbira tal-ispazju qatt ma jkollu jiġi evalwat. Hija wkoll il-konfini madwar l-intenzjoni, għaliex tiddikjara minn qabel x'inhu permess li l-magna tilħaq.","research-forge.25fa97aa1a":"Ma jgħidlekx jekk dik ir-rotta hijiex l-aktar veloċi, l-aktar irqaq, l-aktar portabbli, l-aktar faċli biex tiġi verifikata jew dik li l-organizzazzjoni tista' topera. Dawk huma mistoqsijiet separati b'evidenza separata.","research-forge.261c22b85c":"Organizzazzjoni ta' inġinerija normalment timpenja ruħha għal implimentazzjoni waħda ħafna qabel ma tkun tista' tgħid jekk dik id-disinn hijiex l-aktar veloċi jew l-aktar faċli biex tiġi vverifikata. Forge jistudja sekwenza fejn l-ispeċifikazzjoni hija l-assi dejjiemi u l-implimentazzjoni hija riżultat ta' tfittxija li politika ddikjarata tagħżel bejnu.","research-forge.26369471c9":"Ekwivalenza eżatta, relazzjoni numerika limitata jew ekwivalenza ta' effett, kull waħda stabbilita permezz ta' verifika.","research-forge.267f81bab8":"X'inhu permess li l-programm imiss","research-forge.277b67c1e8":"u x'ikun jeħtieġ","research-forge.27f11f9fe1":"nodu ssiġillat xorta jippubblika l-inputs tiegħu, l-outputs tiegħu u l-identità tiegħu","research-forge.27fab35201":"Tweġiba mhux risposta msemmija hija aktar utli minn programm plawsibbli.","research-forge.280c5e7fc6":"Żewġ qari","research-forge.281dd83602":"Estendi","research-forge.282bd862f4":"Kandidat B","research-forge.2877a09f30":"diversi tweġibiet jistgħu jkunu raġonevoli","research-forge.287b80caae":"il-korrettezza ma tagħżilx","research-forge.294b4c06ac":"L-ispazju tal-kandidati","research-forge.296e71a0fb":"Kandidati skont id-daqs f'lingwa limitata, li juru stati ammessi, rifjutati u kkollassati, l-ewwel kandidat verifikat, u l-limitu ddikjarat li l-pretensjoni ġġorr","research-forge.297f419e18":"Dak li ma jistax jagħmel huwa li jdgħajjef l-imġiba, iżid effett li l-pakkett ma ddikjarax, jew ibiddel stat ta' prova mhux solvut f'suċċess. L-ottimizzazzjoni hija libertà ġewwa konfini.","research-forge.29c69b4a35":"jew aktar faċli biex tiġi ċċekkjata","research-forge.29fea3a06d":"Dak li jistabbilixxi","research-forge.2a03a4b73a":"Mhux deċiż","research-forge.2a729227ad":"Espressjoni waħda mwessa' f'netwerk ta' forom ekwivalenti b'kundizzjonijiet fuq it-truf, u tliet miri ta' estrazzjoni magħżula wara li jeżisti l-ispazju","research-forge.2a965a37b7":"Dik hija deċiżjoni ta' politika u trid tiġi ddikjarata, mhux inferita.","research-forge.2a965accf1":"L-iżgħar programm li l-lingwa tippermetti","research-forge.2ad40f7952":"Trade-offs bħala oġġett ta' governanza","research-forge.2b27b7aec8":"Immexxi mill-evidenza","research-forge.2b3a5e307c":"Semantiku","research-forge.2b7d95b8c6":"Liema trade-off trid","research-forge.2b9c801e9e":"l-għażla tibqa' politika espliċita","research-forge.2bdb5e4d73":"Forge jispiċċa b'graff semantiku magħżul u l-evidenza tiegħu. Dweve Kera jirċievi dak il-graff, jippjana eżekuzzjoni appoġġjata u jemetti l-artefatt fil-mira, bit-tifsira tal-operazzjoni, effetti, sjieda, kuntratt numeriku u obbligi ta' prova mehmuża matul il-kunsinna. L-istess dixxiplina tikkonnettja Forge mal-bqija tal-istack Dweve: Aion fejn il-programm iżomm stat verifikat, Reed u Selvedge għax-xogħol tas-sistemi tal-madwar, FMI u Twin fejn mudell tas-sistema fiżika huwa parti mill-ispeċifikazzjoni.","research-forge.2c8c94c95f":"mhux biss dak li nbena","research-forge.2c9ebecf8b":"Orkestrazzjoni tat-tfittxija","research-forge.2cb597863b":"Programm veloċi li huwa żbaljat xorta huwa żbaljat.","research-forge.2cd3174fc9":"ir-riżultat jiddeċiedi l-mistoqsija li jmiss","research-forge.2cff331976":"Skoperta u prova fuq","research-forge.2d24e0a549":"U kultant","research-forge.2d3231ce48":"Ambigwità","research-forge.2da600bf94":"Verżjoni","research-forge.2daa013c1b":"Graff semantiku ttajpjat, mhux test sors","research-forge.2dd3547872":"komplet fil-limitu","research-forge.2dfcf898a3":"Tqabbil","research-forge.2e140f6f42":"Għażla ta' politika","research-forge.2ea3bb9377":"Ingħaqad mas-sħab tar-riċerka","research-forge.2f24ebaee0":"Iżżib","research-forge.2f65736593":"(a * 2) + a","research-forge.2f81a22de0":"Aċċess","research-forge.2f89346f05":"Riassoċjazzjoni f'wiċċ l-ilma","research-forge.2f906454d9":"Kull forma twieġeb mistoqsija differenti, u r-rekord tar-riċerka jgħid liema waħda ġarrbet il-pretensjoni.","research-forge.30833f759b":"Ippjanar u tnaqqis","research-forge.3107902192":"Ħames kandidati","research-forge.310e8151df":"minn deskrizzjoni għall-evidenza","research-forge.31139f400a":"minimu <= 5","research-forge.3146c89579":"liema responsabbiltà tinsab fuq liema naħa","research-forge.3179a54130":"Eżempji, regoli u programm parzjali, mhux il-passi","research-forge.31c2157a1c":"Graf semantiku wieħed muri bħala graf, bħala espressjoni u bħala dataflow, bl-identità ma tinbidilx fit-tlieta, u l-effett tal-bidla ta' nodu wieħed","research-forge.320ce22925":"Qawwija, għal talbiet","research-forge.3218fcc602":"Kompożizzjoni tal-prova","research-forge.32438a2b70":"Poġġi l-iskoperta awtomatika taħdem","research-forge.32d888fecc":"Eżekuzzjoni marbuta","research-forge.32ec2eb506":"Mmexxi mit-tip","research-forge.32fd056d3d":"Skeċċ","research-forge.32fe9f5bda":"Żerriegħa","research-forge.331a390a95":"Irreġistra li l-garanzija ma tistax tiġi ġġustifikata kif inhi.","research-forge.332fafafd4":"Diversi programmi huma ottimali","research-forge.337cd4ef85":"u ipproteġi wara","research-forge.3407af8c74":"Il-forom isaħħu lil xulxin. L-eżempji jagħmlu kuntratt loġiku leġġibbli għall-qarrej. Il-kostrizzjonijiet iwaqqfu kandidat milli jadatta żżejjed għall-każijiet li ntwerielu. Skeċċ iżomm struttura ta' sigurtà fissa waqt li l-aritmetika jew id-dataflow f'reġjun wieħed jibqgħu miftuħa għall-iskoperta.","research-forge.3554ae9f37":"Prova ta' graf mhix awtomatikament prova ta' output arbitrarju tal-kompilatur, għalhekk il-konnessjoni tal-eżekuzzjoni tirreġistra l-graf, il-pjan, l-artefatt u r-riżultat flimkien. Forge mbagħad jista' jistudja l-iskoperta mingħajr ma jippretendi li jippossjedi l-emitter.","research-forge.356258d8cf":"Il-korrettezza taqla' d-dħul fid-diskussjoni tal-kompromessi.","research-forge.357a580465":"espansjoni b'kundizzjonijiet marbuta","research-forge.3631815377":"li jżomm","research-forge.3647998e09":"latency modellata relattiva fuq fruntiera waħda","research-forge.3662b6cd93":"L-ottimizzazzjoni hija libertà f'konfini li nkiteb l-ewwel.","research-forge.3678b75177":"Ankra tal-prova","research-forge.3697e2badd":"L-istess fruntiera, erba' tweġibiet difendibbli","research-forge.3750b1e26e":"Rekwiżit wieħed","research-forge.378b19c94c":"u proprjetajiet universali","research-forge.37a1d3ddee":"Skala tat-tfittxija","research-forge.37b658da82":"x'inhu stabbilit u x'jibqa' miftuħ","research-forge.37d9b94afa":"Reviżur jista' jsegwi l-katina minn tarf sa tarf mingħajr ma jiftaħ l-ebda nodu ssiġillat.","research-forge.37e5ec20ed":"Is-silenzju jgħodd","research-forge.37e8f995e7":"Non-tweġiba msemmija tagħti wkoll lill-istituzzjoni punt konkret li taġixxi fuqu. Tgħid liema klawżola tikkonfliġġi, liema mġiba kienet indeterminata, liema teorija ma kinitx disponibbli jew liema baġit spiċċa, u għalhekk x'kellu jinbidel.","research-forge.3856f4eb7c":"Il-metodu ma laħaq l-ebda konklużjoni fit-teorija u l-limiti tar-riżorsi tiegħu.","research-forge.387b54720d":"Il-livell li riżultat irid jilħaq qabel jgħodd","research-forge.38b07c05cf":"Sellum ta' assigurazzjoni wieħed b'żewġ kandidati jistrieħu fuq livelli differenti u kexxun li juri x'ivverifika, assuma u ma jistabbilixxix kull livell","research-forge.391bc6cb44":"Il-prova żżomm il-konfini tagħha","research-forge.396c19de10":"Erba' modi kif rekwiżit jirreżisti programm","research-forge.39727bd48f":"lura għas-sinteżi","research-forge.3977816414":"l-evidenza tiddeċiedi","research-forge.39d6a0ddc5":"Liema deċiżjonijiet tista' tieħu t-tfittxija f'ismek?","research-forge.39fdec1194":"Testijiet","research-forge.3a06f841f3":"Huwa ttestjat lil hinn mill-eżempji li ngħata.","research-forge.3a4be7155b":"Alternattivi","research-forge.3ab11b75ca":"Forge","research-forge.3b08754530":"Forge jibda minn deskrizzjoni tal-imġiba, mhux minn talba għal kodiċi. Tista' tagħtih eżempji maħduma, regoli li jridu jżommu b'mod ġenerali, jew programm miktub parzjalment bil-partijiet diffiċli miftuħa. Kwalunkwe minn dawn jagħti lill-magna xi ħaġa li tista' titkejjel kontriha, u xi ħaġa li tista' tfalli b'mod viżibbli.","research-forge.3b0896e4b0":"Għal kuntratti Kera appoġġjati, eżekuzzjoni pura tirrepeti bit identiku mingħajr żerriegħa, inklużi l-mogħdijiet tal-familja floating koperti. Fejn programm intenzjonalment jikkonsma stat każwali, dak l-istat huwa input iddikjarat, u l-użu mill-ġdid tiegħu jirriproduċi l-ġirja kollha.","research-forge.3b8be5e1a9":"wisa' ppruvat","research-forge.3bb1fa9d93":"huwa punt wieħed fl-ispazju","research-forge.3bb59d3903":"Stabbilit","research-forge.3bcf82f6df":"Il-latency hija dimensjoni","research-forge.3bdab018c4":"Ivvverifikat dejjem għandu t-tieni nofs: taħt dawn ir-regoli, għal dawn l-inputs.","research-forge.3bf08a84f1":"MOVE","research-forge.3bf4aa62c6":"Graf wieħed, żewġ pjanijiet, identità waħda","research-forge.3c37add762":"Forma tajba","research-forge.3d3349e560":"dak li tiddeċiedi l-istituzzjoni qabel tfittxija","research-forge.3d85b7b35e":"Erba' każijiet żgħar, kull wieħed jispiċċa mingħajr programm għal raġuni differenti, li juru x'intalab, x'ġara u x'jibdluh","research-forge.3d8dc8dd37":"Iġorr mogħdija ta' verifika aktar sempliċi","research-forge.3d9d45c6fc":"u jipprova l-mudell ħażin","research-forge.3dbbac272c":"Kontroeżempji u stat tal-prova","research-forge.3e0fb17cab":"Iċċara","research-forge.3e39972526":"Latency","research-forge.3e9492ab1e":"Graf, pjan, artefatt u riżultat jibqgħu marbuta.","research-forge.3f1ea4240e":"L-assunzjonijiet huma parti mir-riżultat, mhux it-test fin taħtu. Prova dwar numri sħaħ eżatti ma tgħid xejn dwar deċimali. Prova dwar kalkolu li jkun fih innifsu ma tgħid xejn dwar servizz li qatt ma ntqalilha li jeżisti.","research-forge.3f2151a870":"Daqsijiet minn wieħed sa sitta","research-forge.3fd8fb2e1a":"L-operazzjonijiet, it-tipi, il-forom, l-effetti u l-kapaċitajiet li kandidat ikun permess juża.","research-forge.3fe459f958":"Xejn ma jaqbel","research-forge.40100e1934":"Kandidati mhux dominati","research-forge.4025ca409c":"Ħu r-responsabbiltà tal-prestazzjoni tiegħek","research-forge.408f0af557":"Graff ta' derivazzjoni mill-ispeċifikazzjoni għall-prova magħżula, bil-passi tal-metodu interni ssiġillati iżda konnessi, u t-triq iqsar li replay fil-fatt irid jirriproduċi","research-forge.40d33b38ad":"Ħadd minn dan mhu kaveat miżjud wara. Huwa l-kontenut tar-riżultat, u għalhekk ir-rekord ipoġġi l-livell u l-ambitu tiegħu fl-istess post u għalhekk l-ebda kontroll ma jista' jippromwovi wieħed.","research-forge.40f800b699":"Il-fruntiera tappartjeni lis-sett ta' objettivi li pproduċieha. Iż-żieda ta' enerġija lill-pakkett tista' tirritorna kandidat li qabel kien dominat, li huwa proprjetà tal-mistoqsija aktar milli bidla fi kwalunkwe programm.","research-forge.4141bac3ca":"u ħalli l-programm jinbidel","research-forge.418cdd48b7":"Każijiet osservati","research-forge.41978064b8":"Iddiskuti l-kooperazzjoni","research-forge.41a3ff09e5":"Stqarr l-imġiba","research-forge.4288fa85e0":"X'inhu deċiż u x'inhu miftuħ","research-forge.42c7f4ea4d":"Il-qafas ma jiċċaqlaqx","research-forge.42e742546a":"u ttestjat mhux ippruvat","research-forge.43093ca0db":"Ambitu tal-prova, sempliċità strutturali, spiża tal-evidenza","research-forge.435e8ecece":"programm wieħed rari jirbaħ l-erbgħa","research-forge.436fb3032c":"Ikkonkludi","research-forge.437b348524":"L-ordni li fihom iseħħu","research-forge.437bcb1511":"Enerġija","research-forge.439f7b365e":"Dokumenti tar-riċerka","research-forge.43d54e530d":"Ir-rekwiżit ikkodifikat jaqbel ma' dak li l-organizzazzjoni fil-fatt trid?","research-forge.43d8879a8c":"ir-rabta tal-eżekuzzjoni hija dik li tgħaqqad il-prova ma' dak li fil-fatt ġie eżegwit","research-forge.4412dd5d66":"Impossibbli u mhux deċiż jiġu rrappurtati, mhux konvertiti f'kodiċi.","research-forge.4475dded01":"Implimentazzjoni waħda","research-forge.44ab85a252":"Oriġini","research-forge.450d52d3ef":"Tiftixiet","research-forge.4585404748":"kandidat li jieqaf f'ittestjat jiġi rrappurtat bħala ttestjat","research-forge.45aaefd6f4":"Erba' reviżjonijiet","research-forge.4646f9193d":"B'forma tajba mhux ittestjat","research-forge.4651a34e4d":"Ambitu","research-forge.466fc49274":"Żomm","research-forge.46ed5f573e":"Ara r-riċerka","research-forge.4719d38f14":"Diversi mġibiet jissodisfaw l-evidenza pprovduta u ma jaqblux x'imkien ieħor.","research-forge.472643c4ca":"Kandidat jiddomina ieħor biss meta ma jkunx agħar fl-ebda objettiv attiv u aħjar f'mill-inqas wieħed. Kandidati dominati jitilqu mill-fruntiera attiva. Dawk li jibqgħu huma kollha tweġibiet difendibbli għall-istess speċifikazzjoni, u l-għażla bejniethom hija deċiżjoni ta' politika li r-rekord iżomm, aktar milli kalkolu li t-tiftix jagħmel fis-skiet.","research-forge.472bff45c9":"Forma waħda fi spazju akbar ta' mġiba ugwali.","research-forge.473161067f":"Politika tal-għażla","research-forge.47942077ae":"L-aktar prova sempliċi","research-forge.47b74866d6":"Iċċekkja l-korrettezza","research-forge.47bcc2a36a":"Kultant żewġ affarijiet li ntalbu ma jistgħux it-tnejn ikunu veri. Kultant l-eżempji jippermettu żewġ imġibiet differenti u m'hemm l-ebda mod kif tgħid liema waħda kienet maħsuba. Kultant il-problema hija sempliċement aktar diffiċli milli l-metodu jista' jsolvi fil-ħin li ngħata. Forge jirrapporta kull waħda minn dawn għal dak li hi, u jgħid x'ikollu jinbidel. Każ mhux ċar normalment jeħtieġ eżempju ieħor aktar milli baġit akbar.","research-forge.47cda15a5a":"Kera: kif","research-forge.47da6f0838":"Ikkomponi","research-forge.48298eb992":"It-tiftix jista' jissostitwixxi operazzjonijiet, jirristruttura l-fluss tad-data, jgħaqqad reġjuni, ineħħi moviment u jasal għal implimentazzjoni li l-ebda riċerkatur ma kellu f'moħħu. Dan kollu huwa permess, u ħafna minnu huwa l-punt.","research-forge.483bf2075c":"Ippubblikat","research-forge.4901e146cd":"Qabbel l-ispiża","research-forge.490d255908":"ir-rekwiżit jibqa' l-oġġett stabbli","research-forge.49df3ec7de":"Jaħdem fuq aktar magni appoġġjati","research-forge.4a828b8ab7":"Riċerka, Forge","research-forge.4ab1a4f190":"Il-kandidat li wasal l-ewwel m'għandu l-ebda pożizzjoni fid-deċiżjoni lil hinn mill-evidenza tiegħu stess.","research-forge.4aebc33326":"Erba' reviżjonijiet qabel pretensjoni","research-forge.4b01608cdc":"It-tiftix qatt ma jeditja l-pakkett biex isalva kandidat.","research-forge.4b1960c2fb":"Sistema taħt pressjoni biex tipproduċi kodiċi se tipproduċi kodiċi. Dan jikkonverti mistoqsija mhux imwieġba fi programm li xi ħadd issa jrid iżomm, u l-inċertezza ma tmurx, timxi lejn post aktar diffiċli biex tara.","research-forge.4bca6a7cdb":"Fejn jibda programm","research-forge.4c175158a6":"Riżultat marbut","research-forge.4c1e9313aa":"Ġabra waħda","research-forge.4c39a99d3d":"Ħames livelli","research-forge.4c6bdedadc":"is-sors jibqa' projezzjoni","research-forge.4cb3bb0fc4":"L-aktar mgħaġġel","research-forge.4d0ff72eb2":"Liema livell ta' ttestjar jew prova jrid jilħaq ir-riżultat?","research-forge.4d6864f9a3":"Erba' għażliet ewlenin","research-forge.4d7f210eef":"Tliet kandidati kkontrollati kontra lista ta' każijiet li tikber b'input wieħed li jfalli f'kull rawnd, u xejn qatt ma jitneħħa mil-lista","research-forge.4db6c46b80":"kull sistema taqra l-istess oġġett minflok kopja tiegħu","research-forge.4e4bed5372":"Qatt","research-forge.4e76f5796f":"L-iżjed wieħed irqiq","research-forge.4e90808185":"Erba' modi kif ġirja tista' tispiċċa","research-forge.4e9a44aeb4":"Għid x'għandu jiġri","research-forge.4ec9cc4f2f":"Skoperta ta' Programmi Verifikata","research-forge.4f9c4e1fdb":"L-ewwel kandidat korrett juri li l-problema hija sodisfabbli. Jista' jkun ukoll kbir, bil-mod, tqil fil-memorja, diffiċli biex jiġi vverifikat jew marbut ma' ambjent ta' eżekuzzjoni wieħed. Forge jittrattah bħala evidenza aktar milli bħala t-tweġiba, u jibqa' jfittex il-familji li mġiba ta' tfittxija differenti kienet tilħaq l-ewwel.","research-forge.4faae9b4e9":"huma stqarrijiet differenti","research-forge.4fe6240efb":"It-target ta' eżekuzzjoni jaqbel mas-semantika li ġiet ippruvata?","research-forge.500d19ed3e":"Il-kandidat li jmiss irid jissodisfa s-sett aktar b'saħħtu.","research-forge.505ddba0dc":"il-magna tgħid dak li taf","research-forge.506f370762":"il-badge tal-kundizzjoni fuq tarf jiddeċiedi jekk l-estrazzjoni tistax tużah","research-forge.50e944749f":"WIDE","research-forge.50f771745f":"Jekk huwiex implimentazzjoni tajba","research-forge.512f83ac42":"Tliet kandidati kkontrollati kontra sett ta' obbligi li qed jikber, bil-kontro-eżempju li temm lil kull wieħed u t-tweġibiet leġittimi t-tnejn għal falliment","research-forge.516f075235":"Erba' programmi korretti, erba' modi kif tippreferi wieħed","research-forge.5183317474":"Libertà","research-forge.52550c8d07":"Ir-rekord iwieġeb għaliex","research-forge.528d188e2a":"Il-livell ta' prova meħtieġ","research-forge.52e68a873a":"Vinkoli","research-forge.531e01782f":"Issolvi r-rekwiżiti li jikkonfliġġu li l-prova identifikat.","research-forge.536a08d31b":"FAST","research-forge.541a19b522":"Il-konfini huwa dak li jagħmel it-talba eżatta. Prova ta' graff hija prova ta' dak il-graff, għalhekk ir-rabta ta' eżekuzzjoni tirrekordja l-graff, il-pjan Kera, l-artefatt u l-identità tar-riżultat flimkien, minflok ma tassumi li l-prova vvjaġġat mal-output.","research-forge.546130711a":"Programm ta' riċerka Dweve","research-forge.54a351154f":"Il-minimalità hija stqarrija limitata. Hija żżomm għall-operazzjonijiet, it-tipi u l-istrutturi li l-pakkett ippermetta, sa d-daqs li l-ġirja laħqet. Ma tgħid xejn dwar lingwa li l-esperiment ma ddikjarax, u l-espansjoni tas-sett ta' operazzjonijiet tipproduċi esperiment ġdid bit-tweġiba tiegħu stess.","research-forge.550d4ccba7":"Familja numerika, ordni, mudell ta' stat u l-kundizzjonijiet esterni li l-ġirja tassumi.","research-forge.551fea67e6":"Id-deskrizzjoni tiġi l-ewwel, u l-implimentazzjoni tibqa' mistoqsija miftuħa għal kemm jista' jkun.","research-forge.5521ea4314":"iż-żieda ta' objettiv tista' tirritorna kandidat dominat, li huwa fatt dwar il-mistoqsija","research-forge.5549dc87d0":"Mhux kull speċifikazzjoni","research-forge.5601f89af7":"kandidat li sempliċement jidher tajjeb","research-forge.563591cebc":"Kemm il-programm itemm malajr","research-forge.56abd17a41":"Meta ma jiġi lura xejn","research-forge.577d56824d":"TLIET MOVIMENTI","research-forge.58357eb5f1":"talbiet aktar b'saħħithom jeħtieġu evidenza aktar b'saħħitha","research-forge.584e0ea86c":"il-vettur jiddeskrivi l-kompromess","research-forge.58c379fdea":"Minimu fid-daqs","research-forge.59df8e27c4":"Żomm ir-rekwiżit","research-forge.5a0ba3bb83":"Kuntratt","research-forge.5a2827f530":"Erba' ċrieki","research-forge.5a314063cc":"kif kandidat dgħajjef jaqta' l-mistoqsija","research-forge.5ab1aaea94":"MHUX ĊAR","research-forge.5b1142d090":"Allokazzjoni tal-baġit","research-forge.5b141d8cb7":"Verifikat taħt dawn ir-regoli","research-forge.5b2a7fb11c":"Esponi","research-forge.5b3facb840":"Erba' familji ta' piż ugwali, u l-pakkett jiddeċiedi liema huma attivi.","research-forge.5b5d8a5af8":"Irrekordja l-każ konkret u l-proprjetà li kisser.","research-forge.5b6a58fb9f":"Irħis, għat-tfittxija","research-forge.5b78187e47":"mhux tajjeb f'kull dinja","research-forge.5b8955c7bc":"Is-sejba tal-programm","research-forge.5b92885b2d":"Tim ta' inġinerija jista' jagħżel il-membru bl-inqas latenza. Programm regolat jista' jagħżel l-iżjed triq ta' assigurazzjoni nadifa. Skjerament imxerred fuq ħardwer imħallat jista' jagħżel l-iktar firxa wiesgħa ta' mira. It-tlieta qed jagħżlu mill-istess sett verifikat.","research-forge.5c1be9b227":"It-talba tista' terġa' tintlagħab","research-forge.5c262f33db":"Jispiċċa fi","research-forge.5c46a60955":"Kif ix-xogħol jinqasam","research-forge.5c9d4874c3":"Liema inputs u liema ambjent tkopri t-talba.","research-forge.5ce01f3b67":"Il-programm jippubblika dak li l-evidenza tiegħu tappoġġja u jżomm il-metodu ta' riċerka tiegħu bħala riċerka.","research-forge.5dfcf1dcc0":"Identità waħda, tliet rappreżentazzjonijiet","research-forge.5dfe750940":"Jista' jiġi spezzjonat","research-forge.5e0d7f4f07":"Forge huwa proġett ta' riċerka Dweve. Il-portafoll ta' tfittxija intern tiegħu, l-implimentazzjoni tar-raġunament formali, l-għarfien tat-trasformazzjoni, il-kalibrazzjoni tal-objettivi u l-orkestrazzjoni huma parti minn dik ir-riċerka. Dak li l-programm jippubblika huwa l-mistoqsija, il-protokoll, ir-riżultat u l-istat ta' assigurazzjoni tiegħu, fil-livell ta' żvelar li l-evidenza tappoġġja. Il-kooperazzjoni tibda minn mistoqsija ta' sinteżi limitata. Ħames talbiet huma rreġistrati bl-istat tagħhom, tlieta minnhom solvuti u tnejn għadhom miftuħa, u dawk miftuħa jinsabu fuq il-paġna minflok ma jitħallew barra mir-rakkont.","research-forge.5e22dbb195":"Tliet parijiet","research-forge.5e3db9c4c0":"Raffinar iggwidat minn kontro-eżempji","research-forge.5eb51a7a2a":"Segwi l-evidenza, mhux biss il-programm li ħareġ.","research-forge.5eede4abda":"L-iktar adattament wiesa' għall-mira","research-forge.5f174de1cc":"Prova","research-forge.5f20d0f3ac":"Mhux sodisfabbli","research-forge.5f94916c54":"Ara l-każ istituzzjonali","research-forge.5faa59d4bc":"Riżultat","research-forge.5ff1729499":"qabel ma tgħid kif","research-forge.603a007e8b":"u l-alternattivi jagħlqu","research-forge.60508aeb3d":"Fejn tieħu l-mistoqsija","research-forge.60539e2c57":"Fejn tinsab ir-riskju","research-forge.6066a49124":"Dak l-input jingħaqad mas-sett li kull kandidat irid jissodisfa.","research-forge.60e5c23b14":"Ittajpjat","research-forge.616d1d1b2a":"Ħames preferenzi","research-forge.61792020d0":"Fruntiera oġġettiva","research-forge.61988aaea3":"Il-pakkett tal-esperiment","research-forge.61a0ae3b84":"Limiti","research-forge.61ad50a9b9":"Mira","research-forge.61c2d00a1e":"Forom ta' speċifikazzjoni","research-forge.61d0fdeb05":"L-interfaċċja ddikjarata, it-tipi tagħha u l-għamliet tagħha.","research-forge.61e2187199":"Wara l-ewwel programm validu","research-forge.625ba6f153":"FIT","research-forge.62c4bc1315":"Żewġ toroq mill-istess rekwiżit","research-forge.6320f96544":"ħalli l-magna ssib kif","research-forge.636f4e740e":"rari jkun it-tweġiba sħiħa","research-forge.63ed4981dc":"Pareto","research-forge.63f0dfcfef":"Rekwiżit maqsum f'klawżoli, b'erba' toroq li juru liema klawżoli taw riżultat mhux sodisfabbli, ambigwu, mhux magħruf jew barra mill-ambitu, u l-azzjoni li kull waħda titlob","research-forge.64269f9bd2":"TIME","research-forge.647c656679":"Żewġ kandidati jistgħu jaqblu bħala test, jaqblu ladarba l-grafs tagħhom jiġu normalizzati, jew jissodisfaw l-istess imġiba osservabbli taħt il-kuntratt iddikjarat. Dawk huma tliet dikjarazzjonijiet differenti, u biss l-aħħar waħda tgħid xi ħaġa dwar dak li jagħmel il-programm.","research-forge.649ed30fda":"L-ambitu jivvjaġġa mal-pretensjoni. Prova fuq semantika eżatta ta' numri sħaħ ma tiċċertifikax imġiba b'punt deċimali. Prova ta' funzjoni pura ma tkoprix servizz estern li qatt ma ġie ddikjarat. Graf verifikat modifikat wara l-prova huwa kandidat ġdid mingħajr prova mwaħħla miegħu.","research-forge.64bcb871de":"Kontro-eżempju jista' jikxef aktar minn difett fl-implimentazzjoni. Jista' jikxef prekundizzjoni mħallija barra, każ ta' tarf li ħadd ma kien iddeċieda, jew żewġ qari tar-rekwiżit li t-tnejn kienu konsistenti mal-eżempji. Ir-reġistru jsemmi liema minn dawk ir-riċerkatur imbagħad biddel.","research-forge.64c0978f0e":"Miftuħ, u r-raġuni għaliex il-programm jeżisti: kemm reġjun ta' graf verifikat jista' b'mod utli jsir kbir, liema forom ta' speċifikazzjoni huma preċiżi għal magna u prattiċi għal persuna, kif provi parzjali jikkomponu permezz ta' ottimizzazzjoni u ppjanar, u liema objettivi jeħtieġu feedback imkejjel mill-ħardwer.","research-forge.64d22c2e4e":"Forge jiffissa l-problema tar-riċerka qabel ma jeżisti xi kandidat. Pakkett wieħed isemmi l-ispeċifikazzjoni, l-operazzjonijiet u t-tipi permessi, l-effetti u s-semantika numerika, id-dimensjonijiet tal-objettiv, il-limiti tat-tfittxija u l-politika ta' assigurazzjoni li riżultat irid jilħaq. Kandidat jista' jiġi ġġudikat biss kontra problema li kienet diġà ddikjarata, li jagħmel il-pakkett parti mill-korrettezza aktar milli konfigurazzjoni madwarha. Il-pakkett jgħid ukoll meta tieqaf: il-limitu tar-riżorsi, il-limitu ta' assigurazzjoni li kandidat irid jilħaq, u x'jirrapporta l-ġirja meta ħadd ma jilħaqu.","research-forge.64f4056c85":"Politika viżibbli","research-forge.657c02a2ae":"Ir-rekwiżit jibqa' fiss","research-forge.664243d1c2":"Forom ta' speċifikazzjoni kontra dak li kull waħda ssolvi","research-forge.66b4132999":"Iddiskuti mistoqsija ta' sinteżi","research-forge.66c7af05f3":"Forge jagħmel l-assunzjonijiet ispettabbli, u n-nies xorta jibqgħu jippossjeduhom.","research-forge.66c95e7fc7":"Issiġillat","research-forge.66cd84bcef":"l-għamliet jiġu u jmorru, u l-qafas fin-nofs jibqa' l-istess matul kollox","research-forge.6703a68b0c":"il-politika ssemmi l-membru","research-forge.6767e55d00":"Ewwel validu","research-forge.681b5b5ae1":"Disponibbiltà","research-forge.6848ce552e":"Riżultati","research-forge.68ad9d9693":"Dak li jibqa' fiss","research-forge.693f74e1e9":"Il-konfini bejn Forge u Kera","research-forge.6978e0d16d":"L-ebda programm ma jista' jkun ir-riżultat onest","research-forge.6989b87ddb":"Huwa għalhekk li ċ-ċiklu jsir biss aktar strett. Kull rawnd jibda b'kollox li r-rawnds preċedenti stabbilew flimkien mal-każ il-ġdid, għalhekk kandidat qatt ma jista' jirbaħ billi jinsa falliment aktar kmieni.","research-forge.699425d26b":"Aqra l-metodu","research-forge.69da6fa492":"L-eżempji jispjegaw","research-forge.6a33efdc4e":"Il-pakkett tal-esperiment miġbur qasam b'qasam, bl-identità li ssemmih u l-konsegwenza tal-bidla ta' kwalunkwe qasam","research-forge.6a455d1ff6":"Għal kull input appoġġjat, żomm dan veru.","research-forge.6a54f54941":"It-tfittxija twieġeb","research-forge.6aa0b7e952":"istituzzjonijiet differenti jagħżlu differenti","research-forge.6ab0b8903c":"Tifsira numerika","research-forge.6b1716c3e5":"qatt aktar maħfra","research-forge.6b2284f302":"Punt tal-irkoppa","research-forge.6b6ae4c323":"is-sett ta' obbligi jikber biss","research-forge.6b6f62925d":"Kultant il-kontro-eżempju jgħid xi ħaġa dwar it-talba aktar milli dwar il-programm. Żewġ regoli jistgħu jirriżultaw li jikkontradixxu lil xulxin, jew każ ta' tarf jista' jirriżulta li huwa wieħed li ħadd ma kien fil-fatt iddeċieda. Dan jiswa li tkun taf minn kmieni.","research-forge.6b7b6dcbaa":"Graf wieħed, erba' rwoli","research-forge.6bc457b374":"Sib kandidat li jissodisfa kull każ magħruf.","research-forge.6bcf5a7776":"Fruntiera, mhux punteġġ wieħed","research-forge.6c4b5393b9":"u l-vinkoli jiddeċiedu","research-forge.6c61bbcebe":"Ippruvat","research-forge.6c82e6dd86":"Ħin","research-forge.6c8dd48ed8":"Pjan tal-kejl","research-forge.6c9b8325ab":"l-ebda rung ma huwa dedott qatt","research-forge.6c9c88fe2f":"Deskrizzjoni ta' bidliet fl-imġiba li tirrelata ma' dik ir-relazzjoni. Tagħti lit-tiftix mira li jrid jilħaq, mod kif jinqabad meta jonqos, u rekord wara ta' eżattament liema każijiet ir-riżultat qatt ġie vverifikat kontrihom.","research-forge.6cc1fdfb05":"Ittestjat, limitat u pprovat huma dikjarazzjonijiet differenti dwar l-istess programm.","research-forge.6cd40b6ae3":"Ir-rekwiżiti jibdew bħala mġiba mixtieqa, restrizzjonijiet u riskji. L-iżvilupp jibdilhom f'arkitettura waħda u implimentazzjoni waħda, u minn dak il-mument kull alternattiva hija proġett ta' kitba mill-ġdid, migrazzjoni jew ottimizzazzjoni. L-għażla probabbilment kienet raġonevoli meta saret, u saret qabel ma xi ħadd seta' jqabbelha mal-għażliet li eskludiet.","research-forge.6d058a6f22":"mhux wegħda ġenerali","research-forge.6d3a0e2f30":"It-tipi jaqtgħu l-ewwel","research-forge.6d525b7156":"Eżekuzzjoni","research-forge.6d5ef04ce2":"prova, limitu jew limitu ddikjarat","research-forge.6d84ceaf60":"Estratt","research-forge.6db87cb08f":"L-aktar mudellat malajr","research-forge.6dfe9d2cfa":"Forge, il-veduta sempliċi","research-forge.6e3f1d3672":"Erba' modi kif tiddikjara l-intenzjoni","research-forge.6ef75c79a0":"Replay ma jridx jirriproduċi kull fergħa esploratorja. Irid jirriproduċi l-evidenza li fuqha tistrieħ it-talba: l-ispeċifikazzjoni, il-kandidat magħżul, ir-riżultat tal-verifikazzjoni u r-rabta tal-eżekuzzjoni. Kull ħaġa oħra hija storja tat-tiftix aktar milli prova.","research-forge.70bcce6545":"Diversi rotot","research-forge.70cbd1d6b1":"Propost","research-forge.7173d0cb0f":"mhux magħruf, unsat u ambigwu huma riżultati","research-forge.718eb2ad28":"Tnaqqis tas-saħħa għal shift","research-forge.71e541f178":"Test imexxi l-programm fuq inputs li xi ħadd għażel. Prova tirraġuna dwar kull input li l-ispeċifikazzjoni miktuba tkopri. It-tnejn huma utli u jwieġbu mistoqsijiet differenti. Meta Forge jgħid li kandidat huwa vverifikat, is-sentenza għandha t-tieni nofs: vverifikat kontra din il-proprjetà, għal dawn l-inputs, taħt dawn is-suppożizzjonijiet. Ħames partijiet iridu jivvjaġġaw flimkien biex dik is-sentenza tfisser xi ħaġa: il-programm eżatt li ġie ċċekkjat, il-proprjetà ddikjarata dwaru, is-suppożizzjonijiet, l-evidenza, u l-limiti li r-riżultat ma jistabbilixxix.","research-forge.722e234a05":"Sib kandidati","research-forge.72637278c6":"dak li Forge jikkonsenja","research-forge.729c82e196":"Oġġett wieħed jaqsam iċ-ċiklu kollu tal-ħajja, għalhekk xejn ma jrid jerġa' jiġi derivat mit-test f'kull stadju.","research-forge.72aeb780b2":"Fejn imur it-tiftix wara","research-forge.72e6f70d7c":"ir-riżultat jirreferi lura għall-graff","research-forge.7305b76252":"evidenza aktar b'saħħitha taqla' tikketta aktar b'saħħitha","research-forge.73128a8f5b":"ir-rekwiżit jiġi l-ewwel","research-forge.734e643f73":"Erba' assi","research-forge.734ee26abf":"Ħafna familji","research-forge.736500a024":"skoperta u prova","research-forge.73710d0053":"Erba' affarijiet ma jinbidlux mar-riżultat, u huma r-raġuni li r-riżultat jista' jinqara minn xi ħadd li ma mexxiex it-tiftix.","research-forge.73e5abe068":"u l-metodu jibqa' privat","research-forge.740141dd76":"Kontrolli limitati u testijiet tal-proprjetajiet","research-forge.746a18b508":"Formattjar, ordni tal-operandi u l-graff normalizzat. Biżżejjed biex iwaqqaf lit-tiftix milli jagħmel l-istess xogħol darbtejn.","research-forge.757b8815d3":"Qafas wieħed","research-forge.75be5b7552":"Dak li jippubblika r-rekord","research-forge.75c9be68d0":"Jirrifjuta","research-forge.75e6b42fc5":"Barra mill-ambitu","research-forge.762b81621f":"Ir-rung li kandidat irid jilħaq biex jidħol fil-frontier.","research-forge.7701124587":"Li tipprova li ma jeżisti l-ebda programm iżgħar korrett ġewwa lingwa ddikjarata hija l-mistoqsija li t-tradizzjoni tar-riċerka tas-superottimizzazzjoni tistudja. Dan it-tiftix limitat huwa l-istanza ta' dik il-mistoqsija li Forge jista' jwettaq u jivverifika.","research-forge.7777053d27":"Li tkun żbaljat apposta","research-forge.77809a4225":"x86-64, RISC-V, WASM, Vulkan GPU","research-forge.779df62acf":"Erba' impenji permanenti","research-forge.77e466696d":"L-ebda programm fl-ispazju permess ma jista' jagħmlu. Ibdel il-permess jew it-talba.","research-forge.77ed933da8":"Vettur oġġettiv u pożizzjoni fil-frontier","research-forge.7800ae62d5":"Mhux biss żbaljat","research-forge.78546ce4c3":"L-effett mitlub mhuwiex rappreżentat mill-kuntratt tal-verifikazzjoni.","research-forge.79919ce9fd":"Effetti u kapaċitajiet","research-forge.79b38792f6":"Erba' familji oġġettivi","research-forge.79b3e4bb6e":"Ħafna kandidati","research-forge.7a36809fc6":"Forge jistudja sekwenza differenti. Żomm ir-rekwiżit espliċitu għal aktar żmien. Ħalli diversi implimentazzjonijiet jikkompetu ġewwa lingwa ddikjarata. Stabbilixxi t-talbiet ta' mġiba appoġġjati qabel tagħżel fost il-kompromessi ta' prestazzjoni u skjerament.","research-forge.7a67d7aba8":"L-ambjent, l-effetti u r-regoli numeriċi huma rappreżentati?","research-forge.7b2d03931b":"Konvenzjonali","research-forge.7ba8740951":"Liema politika għażlet membru wieħed, u min kien warajh","research-forge.7bec3a8510":"Jieqaf fuq","research-forge.7c04a5cf0e":"Vettur ta' spejjeż jipproduċi frontier, li huwa oġġett differenti minn klassifikazzjoni.","research-forge.7c1e14bb08":"ma jneħħix il-ġudizzju uman","research-forge.7c3f4fda21":"daqs 1","research-forge.7d448f8882":"Ġabra waħda ta' kandidati","research-forge.7d58a74832":"Kandidat jista' jgħaddi minn kull eżempju li jkun intwera u xorta jkun ħażin f'post li ħadd ma ħares lejh. Forge ifittex input speċifiku li juri d-differenza. Dak l-input huwa kontroeżempju, u malli jeżisti jingħaqad mas-sett permanenti ta' każijiet li kull kandidat aktar tard irid jissodisfa. Iċ-ċiklu warajh huwa qasir. Kandidat jiġi propost, jiġi sfidat lil hinn mill-eżempji li ngħata, input wieħed juri l-imġiba ħażina, u dak l-input jinżamm. Imbagħad it-tfittxija terġa' tibda kontra s-sett akbar. Tispiċċa fuq prova, fuq limitu jew fuq konfini ddikjarat, u qatt fuq kandidat li sempliċement jidher tajjeb. Xejn qatt ma jitneħħa minn dak is-sett, u għalhekk it-tielet attentat ifisser aktar mill-ewwel.","research-forge.7d5f9141fc":"Il-kejl għadu ma ġiex stabbilit","research-forge.7db1bb6632":"Id-derivazzjoni bħala evidenza","research-forge.7df7e32344":"l-isem tal-badge jindika biss il-livell","research-forge.7e2e54dae8":"Jista' jkun hemm punt ta' l-irkoppa bilanċjat. Is-suġġeriment jiġi rreġistrat man-normalizzazzjoni li pproduċietha, sabiex min jirrevedi jara li hija politika u mhux inevitabbiltà aritmetika.","research-forge.7e309ec303":"Ipoteżi ta' prestazzjoni, mhux imkejla","research-forge.7e5a975b6a":"Identità","research-forge.7e826f7af3":"TRUST","research-forge.7ea014de7b":"Evidenza","research-forge.7ea35b3515":"L-istess oġġett għandu erba' rwoli mingħajr ma jibdel il-kategorija. Huwa kandidat waqt it-tfittxija, membru ta' klassi ta' ekwivalenza waqt l-esplorazzjoni, is-suġġett li prova ssemmi, u l-input li Kera tippjana kontrih. Identità waħda ġġorr l-erba' kollha.","research-forge.7f2b6cf0fd":"Kandidat irid jissodisfa l-evidenza miġbura s'issa. Verifikatur imbagħad ifittex fid-dominju appoġġjat għal input jew stat fejn jikser l-ispeċifikazzjoni sħiħa. Kwalunkwe kontroeżempju li jsib jingħaqad mas-sett ta' evidenza bħala obbligu permanenti, u għalhekk il-kandidat li jmiss irid jissodisfa dak kollu li l-oħrajn qabel issodisfaw u l-każ il-ġdid ukoll. Iċ-ċiklu dejjem isir aktar strett. Jieqaf fuq prova, fuq limitu jew fuq konfini ddikjarat, u qatt ma jieqaf fuq kandidat li biss jidher konvinċenti. Iż-żieda ta' prekundizzjoni hija permessa, iżda tiftaħ identità ġdida ta' speċifikazzjoni minflok ma teditja l-qadima.","research-forge.7f59a1f1d5":"Deċiżjoni","research-forge.7f5e7b5182":"Erba' azzjonijiet istituzzjonali","research-forge.7f87260e69":"Miktub 'il quddiem, moqri lura","research-forge.7fc3a8b99e":"Id-disinn tar-riċerka jgħaqqad DSL fuq espressjonijiet ittajpjati ma' tfittxija enumerattiva, CEGIS, programmazzjoni ġenetika, u MCTS, saturazzjoni ta' ekwivalenza b'e-graphs, kejl ibbażat fuq Cranelift, u kontrolli Z3/CVC5 għal obbligi limitati. It-tfittxija b'għanijiet multipli tikkunsidra latenza, għadd ta' operazzjonijiet, memorja, u pressjoni tar-reġistri; il-ġenerazzjoni tal-kodiċi fil-mira tinkludi x86-64, RISC-V, WASM, Vulkan GPU, u Verilog. L-għadd ta' kompiti u testijiet, it-titjib fil-veloċità bejn hosts, u l-prestazzjoni fil-produzzjoni jibqgħu xogħol ta' validazzjoni.","research-forge.7fda8c3a33":"Tliet kandidati, tliet tikketti onesti","research-forge.7fdf663e3a":"Ipoteżi ta' prestazzjoni, mhux imkejla","research-forge.7fef09721e":"Dweve Forge, skoperta ta' programmi verifikati","research-forge.80302bf5ea":"Kontrolli limitati u tfittxija","research-forge.80446347ed":"Formola","research-forge.80d70e543d":"Fruntiera u għażla","research-forge.814de3b8b2":"Erba' membri tal-fruntiera","research-forge.8179013356":"Traffiku, sett ta' ħidma, trasferimenti u lokalità","research-forge.81eccd6085":"Erba' raġunijiet għas-skiet","research-forge.81f08b5724":"ħafna wara li n-nies jimxu 'l quddiem","research-forge.8208f3f27b":"L-ordni","research-forge.82319c5d9e":"L-applikazzjoni ta' trasformazzjonijiet f'sekwenza tagħmel għażla bikrija li tista' teskludi titjib aktar tard. Forge jistudja rappreżentazzjonijiet kompatti li jżommu ħafna forom ekwivalenti fl-istess ħin, sabiex diversi toroq ta' trasformazzjoni jikkoeżistu sakemm isir l-estrazzjoni. Li tirrappreżenta ħafna kitbiet mill-ġdid flimkien minflok li timpenja ruħek għal ordni waħda huwa l-approċċ li l-letteratura tar-riċerka ssejjaħ saturazzjoni ta' ekwivalenza.","research-forge.8252f95ddf":"il-bidla ta' node wieħed fi graff verifikat tirritorna l-kandidat għal forma tajba","research-forge.825d89212b":"Għarfien tat-trasformazzjoni","research-forge.8283b9d96c":"L-ebda ordni ta' fażijiet","research-forge.82c24c3687":"Il-programm huwa liberu li jibdel il-forma, u l-ħaġa li jrid jissodisfa mhijiex.","research-forge.8301a503f4":"Id-diżgwid bejn żewġ qari validi jitfaċċa bħala mistoqsija, mhux solvut mit-tfittxija.","research-forge.8368699cf6":"Ħafna programmi possibbli","research-forge.8375a2c337":"Tliet attentati, lista ta' każijiet li tikber","research-forge.837b910e11":"sakemm il-politika tagħżel waħda","research-forge.83908aa381":"Tip, forma, rappreżentazzjoni u l-kuntratt numeriku li jirregolahom.","research-forge.83ea53e5ec":"Ħafna forom ekwivalenti, tlieta li jiswew li jiġu estratti","research-forge.8597c90c68":"Testijiet ta' riċerka (ambitu)","research-forge.864c38bd34":"Fejn ma jeżistix kejl, iċ-ċellula tibqa' vojta. Ċellula vojta hija dikjarazzjoni dwar l-evidenza, u li timlieha b'output ta' mudell ikun ifisser li stima tinbidel fi riżultat b'mod kwiet.","research-forge.8682d73e62":"Programm","research-forge.869cb36316":"Implimentazzjoni waħda proposta tal-ispeċifikazzjoni mwaħħla.","research-forge.8703ca90ce":"Sjieda, spazju tal-memorja u r-restrizzjonijiet tal-mira li japplikaw.","research-forge.870d4e66fc":"ir-reġistru jsemmi l-ambitu","research-forge.87805aff07":"L-ebda programm","research-forge.879bb91dae":"l-ebda naħa ma tassorbi t-talba tal-oħra","research-forge.87d0c490e0":"Id-dimensjonijiet tal-ispiża li dan l-esperiment iqabbel, magħżula qabel ma jitkejjel kwalunkwe kandidat.","research-forge.88306943fe":"Metodu","research-forge.8831be6339":"Meta ma jidher l-ebda programm","research-forge.887b3d18f0":"Forge għandu l-ispeċifikazzjoni, it-tfittxija tal-kandidati, l-esplorazzjoni tal-ekwivalenza, il-fruntiera tal-għanijiet u l-verifikazzjoni. Kera hija l-lingwa tas-sistemi grafika ta' Dweve u l-pedament ta' Direct Computation, u għandha l-ippjanar, it-tnaqqis, l-emissjoni speċifika għall-mira u l-eżekuzzjoni. Dak li jaqsam bejniethom huwa graff semantiku verifikat bl-obbligi tiegħu, il-profil tal-għanijiet tiegħu u l-evidenza tiegħu. Il-graff jissemma minflok is-sors, u r-riżultat li jirritorna jindika l-istess identità.","research-forge.887cf267e6":"Unsat","research-forge.888797190c":"imġiba waħda, diversi implimentazzjonijiet","research-forge.888e561892":"Erba' modi kif titlob aħjar","research-forge.892257a43b":"Prova tista' tkun soda","research-forge.89404ea15f":"Mistoqsija formali","research-forge.894f8a793c":"Uża teorija aktar b'saħħitha, lingwa usa' jew baġit akbar.","research-forge.897b3ac98d":"Codegen","research-forge.89b86ab0e6":"Lingwa","research-forge.89c7caf6b5":"Liema passi jagħmlu x-xogħol","research-forge.89c8a2851d":"Memorja","research-forge.89f5343231":"It-traċċa ta' deċiżjonijiet dejjiema","research-forge.8a102fcb06":"Tfittxija kompluta limitata","research-forge.8a9523ae04":"Dak li jġorr kandidat nodu","research-forge.8ab2c84ed7":"Arkitettura waħda","research-forge.8b2d50590f":"Evidenza formali tkopri l-ispeċifikazzjoni u s-semantika li ġew ikkodifikati. Jekk kundizzjoni ambjentali tħalliet barra, jew il-mudell numeriku ma jaqbilx mal-magna, ir-riżultat huwa validu u jwieġeb mistoqsija kemmxejn differenti.","research-forge.8b593995c8":"Assunzjonijiet","research-forge.8b7acd8daf":"Xejn ma jidħol fil-fruntiera b'tikketta ta' assigurazzjoni aktar b'saħħitha minn dak li ssostni l-evidenza tiegħu.","research-forge.8bafd39dbd":"Il-konfini deliberat tal-prodott","research-forge.8c0dc9aa18":"Prekundizzjonijiet, postkundizzjonijiet u l-assigurazzjoni li r-riżultat irid jilħaq.","research-forge.8c1cf9e158":"Eżempji, kundizzjonijiet loġiċi, skeċċijiet u mġiba ta' referenza, kull wieħed irrekordjat bis-saħħa li jġorr.","research-forge.8cb71202e7":"Diversi mġibiet jaqblu mal-eżempji. Każ ieħor jiddeċidiha.","research-forge.8d9c9bb663":"Żewġ rekords, graff wieħed","research-forge.8daee0af31":"Ir-rotta konvenzjonali li tidjieq għal codebase waħda u terġa' tiftaħ bħala proġetti ta' kitba mill-ġdid, flimkien mar-rotta tar-riċerka li żżomm fann ta' kandidati verifikati sakemm politika tagħżel waħda","research-forge.8db9aab917":"kemm ġie ċċekkjat b'mod qawwi","research-forge.8dce170de2":"Valur","research-forge.8dd2a359fe":"LEAN","research-forge.8df2bb4b75":"Il-livell ta' assigurazzjoni li kandidat irid jilħaq, il-limitu tat-tfittxija, u x'għandu jiġi rrappurtat meta xejn ma jilħqu.","research-forge.8e2717f3c6":"Kandidat li ma setax ikun legali qatt ma jinbena, għalhekk il-fruntiera qatt ma żżomm ħlief programmi ffurmati tajjeb.","research-forge.8e34678d0d":"kandidati illegali qatt ma jidħlu fil-pool","research-forge.8e3934fad2":"Erba' tabs ta' politika li jagħżlu membri differenti ta' fruntiera waħda, kull waħda tipproduċi rekord ta' deċiżjoni sħiħ bir-raġunijiet ta' dominanza għall-membri li ma għażlitx","research-forge.8e50172772":"Iċ-ċċekkjar indipendenti huwa pass separat għax jistaqsi mistoqsija differenti. Mhux jekk il-prova ġiet prodotta, imma jekk checker li ma pproduċihiex jaqbilx, billi juża biss l-evidenza fornuta mal-kandidat.","research-forge.8e84017c75":"Il-link hija għal programm speċifiku. Ibdel pass wieħed ġewwa fih u l-prova ma tibqax tiddeskrivi dak li qed iżżomm, għalhekk it-tikketta terġa' lura għal dik strutturali sempliċi sakemm iċ-ċċekkjar isir mill-ġdid.","research-forge.9032517861":"Ħames talbiet, ħames stati","research-forge.908b29b50b":"kull pass jeħtieġ tip differenti ta' evidenza","research-forge.90e40d5043":"Ibda","research-forge.919003799d":"Ittestjat","research-forge.91ad20c2db":"Żewġ pjanijiet","research-forge.91c0ae2087":"intenzjoni preċiża tnaqqas ir-riskju tal-implimentazzjoni","research-forge.91cf399266":"jista' jkun it-tweġiba vera","research-forge.9225f51a2a":"Kontroeżempju","research-forge.9233f41df0":"Tliet miri","research-forge.9297ab4ca3":"Aqra l-istorja","research-forge.929818c51d":"L-akbar footprint tal-memorja","research-forge.929a9f0f25":"L-ewwel waħda li taħdem","research-forge.92a7058e4e":"Iddiskuti kooperazzjoni istituzzjonali","research-forge.92f5fe6952":"Erba' riżultati","research-forge.936c25084e":"Imġiba ta' referenza","research-forge.9388f4158d":"l-għażla bilanċjata hija għażla bħall-oħrajn, u tgħid hekk","research-forge.93c09204c0":"Moderat fuq iż-żewġ spejjeż","research-forge.93c2975761":"Segwi t-tfittxija","research-forge.93f79d808f":"Il-membru tal-fruntiera magħżul jirrifletti l-prijorità ddikjarata?","research-forge.942587e61e":"Folja tal-proġett","research-forge.9477d7acdd":"Applika għal aċċess ta' sieħeb","research-forge.94822e9dc6":"Forge, veduta istituzzjonali","research-forge.94827e8438":"Aqra l-karti","research-forge.94859cf20a":"Issiġillat u miftuħ","research-forge.948c81b996":"Diversi toroq verifikati 'l quddiem","research-forge.94cc86c489":"pass wieħed mibdul u l-badge jsemmi programm li m'għadx qed iżżomm","research-forge.94ed3b0134":"mill-intenzjoni għall-programm magħżul","research-forge.950dfeeb8b":"L-intenzjoni ssir kodiċi","research-forge.9550373e8b":"Imkejjel","research-forge.95eaeda430":"Kemm tista' ssir utli reġjun kbir ta' graff verifikat.","research-forge.9678c4f1e3":"identità waħda taqsam il-konfini","research-forge.96aff7c058":"Ċiklu ta' kontroeżempju wieħed","research-forge.96b9633285":"Dak li t-tfittxija tista' tbiddel","research-forge.973c3f46d7":"Fil-kamp ta' applikazzjoni","research-forge.978aa6569a":"Jispiċċa qabel","research-forge.97c89a4d66":"Azzjoni","research-forge.97ee6e5610":"Ipproponi","research-forge.992bc34385":"Speċifikazzjoni pura ma tistax tikseb aċċess għal fajl jew netwerk tul it-triq. Kuntratt ta' integer b'wisa' fissa ma jistax bil-kwiet isir integer matematiku mingħajr limitu. Rappreżentazzjoni li ġġorr skala żżomm l-iskala tagħha, u skeċċ sigur fil-memorja ma jistax jitlesta b'alias mhux iċċekkjat.","research-forge.99508624d6":"L-ebda programm ma jista' jkun","research-forge.996c4a8976":"għandu programm fih","research-forge.99dc6bab08":"Żewġ kandidati li jissodisfaw l-istess sett ta' eżempji u jiddiverġu fuq input li ħadd ma pprovda, bit-tliet modi kif stakeholder jista' jsolviha","research-forge.9a24005705":"Tfittxija kompleta waħda, skont id-daqs","research-forge.9a469ce88c":"Konkret","research-forge.9a4ce5f246":"l-għażla trid tiġi ddikjarata","research-forge.9ae33a7d0e":"Proprjetà","research-forge.9b7bd11153":"Graff verifikat li jaqsam konfini iebes f'Kera, ippjanat b'żewġ modi differenti, bir-riżultati t-tnejn marbuta lura mal-istess identità tal-graff","research-forge.9c25db95cc":"Kandidat A","research-forge.9c86ef6b28":"Jesplora implimentazzjonijiet kandidati taħt kuntratt iddikjarat","research-forge.9cbe42aaff":"Ippjanat","research-forge.9cfcf5930d":"Il-latenza, il-moviment, l-adattament għall-iskjerament u l-piż tal-evidenza ma jintmessux mill-ewwel riżultat.","research-forge.9d68007b07":"Programm","research-forge.9dba232302":"L-imġiba li ntalbet","research-forge.9dc6ec542b":"mhuwiex l-istess bħal li jitħaddem","research-forge.9dd59ab994":"Iqabbel","research-forge.9df0f32743":"Reġistri, parallelizmu, limiti tal-apparat, portabbiltà","research-forge.9e811eeaf8":"Wara l-korrettezza","research-forge.9ee018232e":"Xejn ma jidħol f'kandidat li l-pakkett ma ppermettiex.","research-forge.9f36fa8055":"Żomm din il-forma u sib il-parti nieqsa.","research-forge.9f78c690af":"għal raġunijiet differenti","research-forge.9fea6de725":"Formali","research-forge.9ff7951f81":"Bexx verifikat imkabbar fil-ħames partijiet tiegħu, muri mill-ġdid ħdejn l-istess programm wara li bidla waħda fil-pass u r-rabta bejniethom tkisser","research-forge.a0a9a568c3":"Il-kandidati li baqgħu validi, u dawk li kontro-eżempju temm","research-forge.a0c9c40551":"il-programm ibiddel il-forma","research-forge.a10a7ad63a":"Dak li jiffissa l-pakkett","research-forge.a266f0a07d":"Esplora kernels kandidati","research-forge.a2e1cc1b2f":"Jista' jinbidel","research-forge.a2f4a96337":"Kumpromess","research-forge.a32a41c9d1":"l-ebda programm, bir-raġuni","research-forge.a336e6650d":"Żewġ kandidati, żewġ punti ta' waqfien onesti","research-forge.a3c143732a":"il-problema tissewwa qabel it-tfittxija","research-forge.a3c686e711":"Kategorija","research-forge.a4508fc8ef":"Relazzjoni semantika","research-forge.a48f8c0cf7":"Ħames programmi, speċifikazzjoni waħda","research-forge.a4c745386f":"Erba' politiki","research-forge.a57b5d2330":"It-tfittxija tista' tinbidel","research-forge.a6067adc3c":"latenza, ops, memorja, reġistri","research-forge.a618b4be8d":"Mistoqsija","research-forge.a61c938f35":"It-tfittxija tipproponi","research-forge.a723285355":"Immodellat","research-forge.a79764b5e5":"Diversi programmi korretti, kull wieħed iġorr l-evidenza tiegħu","research-forge.a7987d27ae":"Jirrinunzja għal kitba mill-ġdid waħda","research-forge.a898f4eb0d":"Hija l-istess għażla li kulħadd jagħmel dwar rotta f'belt. L-aktar veloċi, l-irħas u dik b'inqas bidliet huma kollha raġonevoli. Dak li mhuwiex raġonevoli huwa li wieħed jgħid li hemm biss tweġiba waħda mingħajr ma jgħid għal xiex ottimizzajt.","research-forge.a8b262d32b":"Li tistaqsi mudell għal kodiċi u tikseb xi ħaġa li tidher tajba hija eżerċizzju differenti. M'hemm xejn li r-risposta jkollha tissodisfa, għalhekk m'hemm xejn li kontra tiegħu tista' tfalli, u l-persuna li taqraha jkollha tipprovdi l-ġudizzju kollu.","research-forge.a8e5c0ccf3":"Il-graff li r-riżultat tal-verifikazzjoni fil-fatt isemmi.","research-forge.a91bcce893":"Dejjem","research-forge.a94848cbdb":"Jilħqu dan il-pass biss kandidati li għaddew mill-bieb.","research-forge.a9d6afeda0":"lura għall-proposta","research-forge.a9f1693ebe":"Kull membru jissodisfa l-kuntratt iddikjarat, għalhekk l-unika mistoqsija li jibqa' hija liema spiża taċċetta.","research-forge.aa1a2e191d":"IMSEMĦI L-EWWEL","research-forge.aa2b80d828":"Fruntiera","research-forge.aa62568659":"Li tgħid dak li mhux magħruf huwa aktar utli milli timla l-vojt b'xi ħaġa li taqra sew.","research-forge.aa6708d51a":"Relazzjoni universali appoġġjata ġiet ippruvata.","research-forge.aa88ef980e":"Liema ambjenti appoġġjati jistgħu jħaddmuha","research-forge.aa9002c223":"Il-bexx, miftuħ","research-forge.aab9ca1bc6":"Fi klassi","research-forge.ab89d05c4b":"Tqegħid","research-forge.ab98f5b857":"Fissat","research-forge.ab9a4aae0b":"L-inqas moviment","research-forge.aba86cd010":"Il-politika tagħżel","research-forge.abc0c09f1f":"Il-magna tista' tbiddel liema passi jagħmlu x-xogħol, l-ordni li jiġru fihom, u liema valuri intermedji jeżistu xejn. Żewġ programmi li ma jaqsmu xejn minn dawk xorta jistgħu jkunu qed jagħmlu l-istess xogħol, u t-tfittxija tista' tippreferi lil wieħed minnhom.","research-forge.ac30f0abf3":"Jekk ibiddel dak li jipproduċi l-programm, mhuwiex titjib għal dak il-programm. Il-korrettezza hija dak li jaqla' lil kandidat post fil-konversazzjoni dwar l-ispiża.","research-forge.acc3156c5b":"Mexxi l-ħolqa","research-forge.ad2cecac38":"Test u struttura","research-forge.ad44adccc4":"il-prova ssaħħaħ talba preċiża","research-forge.ad59e3b102":"L-usa'","research-forge.adfc01e921":"Kandidat jista' jiġi ġġudikat biss kontra problema li diġà ġiet iddikjarata.","research-forge.adfccdc8de":"Forge: xiex","research-forge.ae2fee1a70":"Ibni biss espressjonijiet akbar li huma korretti fit-tip.","research-forge.aeb1c76446":"Erba' ċrieki, regola waħda ta' pubblikazzjoni","research-forge.aebc2854f4":"Numeriku","research-forge.aeedafb2fe":"il-falliment isir obbligu dejjiemi","research-forge.af3cc2e010":"il-programm, mhux l-għan","research-forge.af68d81f17":"L-imġiba u l-vinkoli li ddefinixxew is-suċċess.","research-forge.af78a00855":"Kemm l-imġiba tiegħu tista' tiġi ċċekkjata direttament","research-forge.afbab5dc80":"l-ewwel kandidat skopert iżomm postu fl-istorja u jħalli l-fruntiera","research-forge.aff55d9c0e":"Irrapporta l-iżgħar kandidat verifikat u l-limitu tiegħu.","research-forge.b0339e3e63":"Synthesis, Cranelift, u","research-forge.b048046ec8":"Il-kandidat bl-inqas latenza jista' jżomm sett ta' ħidma akbar. L-aktar portabbli jista' jkun aktar bil-mod fuq il-magna quddiemek. Dak bl-aktar prova sempliċi jista' jirrinunzja għal kitba mill-ġdid aggressiva. Jista' jiġi ssuġġerit punt ta' l-irkoppa bilanċjat, u s-suġġeriment jiġi rreġistrat bħala politika bin-normalizzazzjoni tiegħu mehmuża.","research-forge.b06be2ecea":"Huwa għalhekk li Forge jippubblika s-suppożizzjonijiet ħdejn it-talba, u għaliex ir-reviżjoni għandha sidien nominati. L-ispeċifikazzjoni, il-mudell u l-mira ta' eżekuzzjoni huma tliet firem separati.","research-forge.b0811e470d":"Kummerċ","research-forge.b0a205ebad":"Ibda mill-inputs u l-kostanti permessi.","research-forge.b0b01215a0":"Kandidat D","research-forge.b116105199":"Erba' mistoqsijiet biex jiġu solvuti","research-forge.b1d348384e":"Aktar minn tip wieħed ta' aħjar","research-forge.b23977841c":"Kontro-eżempji","research-forge.b26aa65383":"X'jinkludi l-kelma verifikat","research-forge.b2bc0c005f":"Iċċekkjat","research-forge.b30077250b":"ikkommetti kmieni jew ippreserva l-alternattivi","research-forge.b307b88c84":"Portabbiltà","research-forge.b3776d63ad":"Backends","research-forge.b39a168c1e":"Il-pakkett jinkiteb darba, u kull riżultat fuq din il-paġna jirreferi lura għall-verżjoni li pproduċieth.","research-forge.b3c0c45a3e":"Forge iżomm separati l-validità strutturali, l-ittestjar konkret, l-iċċekkjar eżawrjenti limitat, il-verifikazzjoni formali, l-iċċekkjar indipendenti u r-rabta ta' eżekuzzjoni. Kandidat jimxi 'l fuq biss meta teżisti l-evidenza għall-pass li jmiss, u l-pass li laħaq huwa parti mir-riżultat, mhux dekorazzjoni fuqu. Tiftixa mgħaġġla tista' żżomm kandidati ttestjati waqt li l-prova għadha qed tinkiseb. L-iċċekkjar indipendenti joqgħod fuq pass tiegħu stess, għax jistaqsi jekk iċċekkjatur li ma pproduċiex il-prova jaqbilx magħha.","research-forge.b45b598d0c":"Identità grafika waħda tgħaqqad l-ispeċifikazzjoni, il-prova, il-pjan u r-riżultat li reġa' lura.","research-forge.b462217ad5":"Input wieħed juri li l-imġiba hija ħażina.","research-forge.b4dad06170":"Speċifikazzjonijiet tekniċi","research-forge.b51ba796f2":"Jibda minn","research-forge.b5338782b3":"Id-dimensjonijiet li fuqhom jiġi kklassifikat, immudellat jew imkejjel kandidat","research-forge.b568d47f2e":"Input","research-forge.b5b0a8f813":"Saffi konċentriċi mill-mistoqsija ta' riċerka pubblika permezz tal-protokoll riproduċibbli u r-riżultat rilaxxat sal-metodu intern protett","research-forge.b6272cdaf7":"Forge jirreġistra l-identità tal-ispeċifikazzjoni, l-antenat tal-kandidat li jimporta, il-kontro-eżempji, ir-relazzjonijiet ta' ekwivalenza użati, il-valuri oġġettivi, it-tranżizzjonijiet ta' assigurazzjoni u l-politika ta' għażla. Dik il-katina tispjega għaliex il-programm magħżul jeżisti u liema alternattivi ġie spostat, u hija biżżejjed biex xi ħadd ieħor jibni mill-ġdid it-talba. Replay ma jridx jirrepeti kull fergħa esploratorja, biss l-evidenza li fuqha tistrieħ it-talba.","research-forge.b638127a16":"Komplet limitat","research-forge.b66b54c1d8":"Il-kandidat bħala oġġett","research-forge.b6d2f4c9e8":"it-tiftixa ma tistax twessa' s-sistema tat-tipi","research-forge.b70446abdf":"Rekwiżiti jistgħu jikkonfliġġu. Sett ta' eżempji jista' jippermetti mġiba inkompatibbli. Garanzija mitluba tista' tkun barra mis-semantika li r-rappreżenta l-kuntratt ta' verifikazzjoni. Tiftixa tista' tilħaq il-limitu ddikjarat tagħha mingħajr konklużjoni. Forge jirrapporta kull waħda minn dawk separatament, għax jitolbu erba' tweġibiet differenti u jiswew erba' ammonti differenti biex jaġixxu fuqhom. Klawżoli konfliġġenti jiġu rikonċiljati, imġiba kompetitriċi tiġi separata b'aktar evidenza, tiftixa mhux solvuta tiġi estiża, u garanzija barra l-kuntratt tiġi rreġistrata bħala waħda li ma tistax tiġi ġġustifikata kif iddikjarata.","research-forge.b71f6e67ce":"Studja deċiżjoni waħda ta' implimentazzjoni","research-forge.b74c664479":"Stati ta' assigurazzjoni","research-forge.b78c6b0e99":"li tgħaddi mill-eżempji u li tissodisfa l-kundizzjoni mhumiex l-istess talba","research-forge.b82b9b1043":"il-forom huma kkombinati deliberatament","research-forge.b895ceb6b1":"tweġiba mhux tweġiba tipprevjeni kunfidenza falza","research-forge.b8f5629ab6":"il-kolonna tal-obbligi qatt ma tiċkien bejn iterazzjonijiet","research-forge.b97a1099a3":"Verifikabbli bil-magna","research-forge.b9b15e5f94":"Tliet dossiers","research-forge.ba25b214d8":"kull waħda titlob xi ħaġa differenti","research-forge.ba3fef96ae":"Prova f'ħames partijiet","research-forge.babfc32160":"Mill-inqas imġiba waħda tissodisfa kull klawżola fl-istess ħin.","research-forge.bac127c5b7":"Mhux dominat","research-forge.bb11a8e3f8":"Regoli","research-forge.bb2fe63e5a":"INPUT","research-forge.bb54db510a":"Aċċetta","research-forge.bb9cf14180":"Politika","research-forge.bb9d653f4e":"Sfida","research-forge.bbddd6ecdf":"Liema valuri intermedji jeżistu","research-forge.bc0b16aa7f":"Erba' programmi verifikati re-ranked skont liema proprjetà titlob, bl-għażla bilanċjata murija bħala preferenza bħall-oħrajn","research-forge.bc6b9b38a3":"Passi li jappartjenu lill-metodu ta' riċerka ta' Dweve jidhru bħala nodi ssiġillati bl-inputs, outputs u identità tagħhom ippubblikati. It-trasparenza istituzzjonali u l-kunfidenzjalità tar-riċerka huma ttrattati bħala żewġ proprjetajiet ta' katina waħda, mhux bħala opposti.","research-forge.bc7819b34f":"Mhux magħruf","research-forge.bcd3b8580e":"l-oġġett qatt ma jibdel il-kategorija","research-forge.bce0641417":"Fittex","research-forge.bd163f2c2d":"Kull relazzjoni ġġorr il-kundizzjonijiet sekondarji tagħha. Ir-ristrutturar alġebriku, it-tnaqqis tas-saħħa, il-vectorisation, il-fużjoni, il-bidla tal-layout u l-eliminazzjoni tal-moviment huma legali biss meta l-kundizzjonijiet aritmetiċi, tal-wisa', tal-arrotondament, tal-effett u tal-ordni jżommu f'dan l-esperiment.","research-forge.bd5d4d39fa":"Jgħid","research-forge.bda89bbff3":"Il-bidla ta' eżempju, it-twessigħ ta' tip, il-permess ta' effett jew ir-rilassament ta' tolleranza numerika jipproduċu problema ta' riċerka differenti b'identità differenti. Il-ġirja preċedenti tibqa' fir-rekord taħt il-pakkett tagħha stess, għalhekk żewġ riżultati qatt ma jinqraw bħala tweġibiet għall-istess mistoqsija.","research-forge.bdfebc22bf":"Vettur oġġettiv","research-forge.be601df25e":"Riċerka","research-forge.beb1ed4753":"evidenza pubblika ħdejn metodu protett","research-forge.bef833878c":"il-lista tal-każijiet qatt ma ssir iqsar bejn ir-rawnds","research-forge.bf55421b4a":"L-imġiba mitluba mhix koperta mill-iċċekkjar.","research-forge.bff5c4dd05":"Rekwiżit","research-forge.business.actionCase":"Ara l-każ istituzzjonali","research-forge.business.actionCooperate":"Iddiskuti l-kooperazzjoni tar-riċerka","research-forge.business.banner.body1":"Jipprova li teżisti rotta waħda.","research-forge.business.banner.body2":"Ma jipprovax li r-rotta hija l-aktar mgħaġġla, l-iżgħar, l-aktar portabbli, l-aktar faċli biex tiġi awditjata jew l-aktar adattata għall-istituzzjoni li trid toperaha.","research-forge.business.banner.eyebrow":"Il-problema tal-ispazju tad-disinn","research-forge.business.banner.firstDetail":"It-tfittxija stabbilixxiet li teżisti kandidat permess.","research-forge.business.banner.firstLabel":"Rotta waħda sodisfaċenti","research-forge.business.banner.firstStatus":"Valid fl-ambitu","research-forge.business.banner.footer":"Dweve Forge, Skoperta ta' Programmi Verifikati","research-forge.business.banner.frontierDetail":"Diversi programmi korretti jibqgħu għal profili oġġettivi differenti.","research-forge.business.banner.frontierLabel":"Alternattivi mhux dominati","research-forge.business.banner.frontierStatus":"Viżibbli","research-forge.business.banner.headline":"Korrett huwa l-bidu","research-forge.business.banner.headlineAccent":"mhux it-tweġiba finali","research-forge.business.banner.instrument":"Wara l-korrettezza","research-forge.business.banner.leftLabel":"L-ewwel kandidat validu","research-forge.business.banner.limitDetail":"L-ewwel riżultat ma jgħid xejn dwar it-trade-offs fil-qrib.","research-forge.business.banner.limitLabel":"L-ebda ottimu universali","research-forge.business.banner.limitStatus":"Kompli tfittex","research-forge.business.banner.policyDetail":"L-istituzzjoni tiddikjara liema trade-off ifforma l-għażla.","research-forge.business.banner.policyLabel":"Politika ta' għażla rreġistrata","research-forge.business.banner.policyStatus":"Reviżibbli","research-forge.business.banner.rightLabel":"Fruntiera tad-deċiżjoni","research-forge.business.banner.tag":"Qabbel","research-forge.business.banner.verdict":"Żomm l-alternattivi sakemm il-politika tkun espliċita.","research-forge.business.banner.verdictLabel":"Regola ta' deċiżjoni","research-forge.business.close.body":"Ġib intenzjoni tad-dominju, metodi formali, kejl tal-hardware jew reviżjoni indipendenti. Forge jipprovdi oġġett ta' riċerka kondiviż għall-komparazzjoni ta' skoperta ta' programmi, prova u eżekuzzjoni.","research-forge.business.close.label":"Dweve Forge, kooperazzjoni tar-riċerka","research-forge.business.close.primary":"Iddiskuti l-kooperazzjoni istituzzjonali","research-forge.business.close.secondary":"Spezzjona l-kuntratt tal-evidenza","research-forge.business.close.title":"Ikkontesta deċiżjoni waħda.","research-forge.business.eyebrow":"Dweve Forge, Skoperta ta' Programmi Verifikati","research-forge.business.lede":"Dweve Forge huwa proġett ta' riċerka li jibdel eżempji, restrizzjonijiet u speċifikazzjonijiet parzjali fi tfittxija kkontrollata għal programmi validi, iqabbel l-alternattivi mhux dominati u jippreserva l-evidenza li tappoġġja r-riżultat magħżul. L-ispeċifikazzjoni tibqa' l-assi dejjiemi filwaqt li l-għażliet tal-implimentazzjoni jibqgħu miftuħa għal aktar żmien.","research-forge.business.titleAccent":"sakemm il-prova tiddeċiedi","research-forge.business.titleLead":"Żomm l-intenzjoni miftuħa","research-forge.businessGlyph.ambiguous":"L-imġiba għadha ambigwa","research-forge.businessGlyph.assurance":"Assigurazzjoni msemmija","research-forge.businessGlyph.boundary":"Programm ta' riċerka, mhux offerta ta' softwer","research-forge.businessGlyph.candidateA":"Kandidat A","research-forge.businessGlyph.candidateB":"Kandidat B","research-forge.businessGlyph.candidateC":"Kandidat Ċ","research-forge.businessGlyph.candidateD":"Kandidat D","research-forge.businessGlyph.counterexample":"Kontro-eżempju misjub","research-forge.businessGlyph.execution":"Pjan u riżultat marbutin","research-forge.businessGlyph.fixed":"Fissat","research-forge.businessGlyph.kera":"Eżekuzzjoni Kera","research-forge.businessGlyph.lowLatency":"Latenza l-aktar baxxa","research-forge.businessGlyph.lowMovement":"Moviment l-aktar baxx","research-forge.businessGlyph.policy":"Politika tal-għażla","research-forge.businessGlyph.portability":"Portabbiltà l-aktar wiesgħa","research-forge.businessGlyph.research":"Riċerka","research-forge.businessGlyph.selected":"Graff magħżul","research-forge.businessGlyph.simpleProof":"Prova l-aktar sempliċi","research-forge.businessGlyph.spec":"Imġiba, konfini u politika ta' assigurazzjoni","research-forge.businessGlyph.specFixed":"Speċifikazzjoni fissa","research-forge.businessGlyph.specLabel":"Speċifikazzjoni immutabbli","research-forge.businessGlyph.subtitle":"Alternattivi vverifikati qabel l-eżekuzzjoni","research-forge.businessGlyph.title":"Folja tad-deċiżjonijiet tal-ispeċifikazzjoni","research-forge.businessGlyph.tradeoffs":"Trade-offs viżibbli","research-forge.businessGlyph.visible":"Viżibbli","research-forge.businessHero.titleMiddle":"aħjar","research-forge.businessHero.titleSuffix":"softwer","research-forge.c00cde6a62":"Dominju finit iddikjarat ġie kopert mingħajr falliment.","research-forge.c023fe51a2":"Forge huwa disponibbli permezz tal-programm ta' sħab tar-riċerka ta' Dweve. Ittestja mistoqsijiet limitati ta' sintesi ta' programmi u qbel it-termini ta' evalwazzjoni qabel l-aċċess. Ir-riżultati jibqgħu evidenza ta' riċerka, mhux wegħda ta' prodott.","research-forge.c040f6e04f":"il-limitu huwa ddikjarat mar-riżultat","research-forge.c0caf528d8":"Spiża multi-objettiva","research-forge.c10a6d0899":"Rekwiżiti kontradittorji misjuba waqt l-implimentazzjoni jsiru dewmien u xogħol mill-ġdid. Ambiguwità misjuba wara t-tqegħid fis-seħħ issir imġiba inkonsistenti li xi ħadd irid jirrikonċilja. Li ssib waħda minnhom qabel ma teżisti l-implimentazzjoni huwa l-iktar post irħis biex issibha.","research-forge.c12f928235":"Konsenja tal-graff","research-forge.c144b00ba8":"Latenza, throughput u triq kritika","research-forge.c174fa3158":"Il-fruntiera ma tiċċaqlaqx meta l-politika tiċċaqlaq","research-forge.c1929c45f3":"Tfittxija tista' tipprova li xejn fil-lingwa ddikjarata ma jissodisfa r-rekwiżit, tonqos milli tiddeċiedi l-mistoqsija fil-limiti tat-teorija u tar-riżorsi tagħha, jew issib li l-evidenza pprovduta tippermetti diversi imġibiet inkompatibbli.","research-forge.c1fcd5ecff":"Jista' jkun aktar mgħaġġel. Jista' jkun iżgħar. Jista' jkun l-iktar ħaġa pulita li xi ħadd kien ħaseb dwarha għal dik il-problema.","research-forge.c20d749a05":"TRADE-OFFS VIŻIBBLI","research-forge.c2184a31d3":"Ir-rekwiżit huwa l-ħaġa li jiswa li tinżamm, u l-implimentazzjoni hija riżultat li pproduċa.","research-forge.c297908b88":"Kandidat ma jistax jiġi promoss minn kontroll, iżda biss minn evidenza li l-livell li jmiss jeżisti.","research-forge.c29cf0b245":"Trade-offs","research-forge.c2bb6fa0c5":"SPEĊIFIKAZZJONI IMMUTABBLI","research-forge.c2ea17d5fe":"TLIET OQSMA","research-forge.c33ef52668":"ir-rekwiżit ma jagħmilx","research-forge.c3451e6677":"Eżempji juru l-imġiba mistennija fuq każijiet li n-nies jistgħu jiċċekkjaw. Kundizzjonijiet loġiċi jiddefinixxu x'irid iżomm lil hinn minn dawk il-każijiet. Abbozz parzjali jippreserva arkitettura ta' sigurtà, interface jew fluss ta' kontroll impost waqt li reġjun wieħed jibqa' miftuħ għall-iskoperta. Flimkien jagħmlu r-rekwiżit preċiż biżżejjed biex magna tfalli kontrih, li huwa għalxiex isservi speċifikazzjoni. Kull ħaġa li t-tfittxija titħalla tiddeċiedi f'ismek tappartjeni fl-istess dokument.","research-forge.c36594e8f5":"minimali fil-lingwa ddikjarata","research-forge.c3be8bb127":"Kemm malajr","research-forge.c3e4b59bd1":"Kemm data jċaqlaq il-programm","research-forge.c439038abe":"Mhux kopert","research-forge.c440d9bf36":"It-tfittxija ma tistax issalva kandidat billi tbiddel l-għan.","research-forge.c4cc9c34bd":"Ċiklu wieħed ta' rfinar","research-forge.c533db2294":"qabel ma tara l-għażliet","research-forge.c554cb5d95":"Dweve Research, l-Olanda","research-forge.c60a3a3cff":"Fittex fid-dominju appoġġat għal input li jikser.","research-forge.c648f0b37b":"Erba' raġunijiet għaliex it-tweġiba hija l-ebda programm","research-forge.c69925079f":"ħażin fuq dan il-każ eżatt","research-forge.c6c9f7cd5c":"Shortcut intelliġenti","research-forge.c6d954c113":"Xejn fil-lingwa ddikjarata u l-assunzjonijiet ma jissodisfa r-rekwiżit.","research-forge.c74dddd8a0":"Id-dħul li jwieġeb mistoqsija aktar tard inkiteb meta ttieħdet id-deċiżjoni.","research-forge.c76a21c28e":"Huwa għalhekk li identità familjari tista' tiġi ammessa f'reġjun eżatt ta' numri sħaħ u miċħuda f'reġjun ta' floating point fl-istess graff. Il-kundizzjoni tibqa' marbuta mar-relazzjoni, għalhekk l-estrazzjoni qatt ma tiret kitba mill-ġdid li ma kellhiex dritt għaliha.","research-forge.c7e00eda62":"it-talba hija minima f'din il-lingwa, f'dan il-limitu","research-forge.c7f2c2e7d4":"Tliet rawnds","research-forge.c8050fa93f":"Tipprova li teżisti rotta waħda. Dak huwa riżultat reali u jiswa li jkollok kmieni, għax jgħidlek li r-rekwiżit jista' jiġi sodisfatt għal kollox fil-lingwa li ddikjarajt.","research-forge.c82f0b5250":"par li jaqsam huwa trade-off, mhux klassifikazzjoni","research-forge.c855f0a33c":"Teorija mhux appoġġata twaqqaf kandidat f'testjat, jew f'barra mill-ambitu, u r-rekord jgħid liema. Riżultat formali jista' jsemmi l-graff semantiku waqt li l-artefatt emess għadu jistenna r-rabta ta' eżekuzzjoni tiegħu. L-ebda waħda minn dawn l-istati mhija kkompressata f'badge wieħed.","research-forge.c932a404bb":"Ittestja, sfida u ppruva dak li ssostni l-evidenza.","research-forge.c93e1581c7":"Anki problema żgħira jista' jkollha miljuni ta' programmi possibbli fiha. Forge iħares ġewwa l-operazzjonijiet u l-konfini li l-esperiment jippermetti, u mġibiet differenti ta' tfittxija jesploraw partijiet differenti ta' dak l-ispazju. Dak li l-ebda waħda minnhom ma tista' tagħmel huwa li tagħmel il-problema aktar faċli: ir-rekwiżit joqgħod barra mit-tfittxija u ma jiċċaqlaqx.","research-forge.c940737ecf":"Forge, veduta tar-riċerka","research-forge.c968557f4b":"Graff vverifikat u evidenza lil Kera","research-forge.c9bf3b001c":"l-aktar riżultat siewi","research-forge.c9d8f0eef6":"aqta' qabel tevalwa","research-forge.ca032b5844":"Dak li jagħmel","research-forge.ca046ad257":"Aqra r-riċerka","research-forge.ca08ca46bd":"Is-sellum ta' assigurazzjoni","research-forge.ca09c54bff":"Kapaċitajiet","research-forge.ca6d0e3aaa":"Stadju","research-forge.ca7b181648":"L-ordni fissa","research-forge.cb3242398c":"Diversi programmi jibqgħu validi","research-forge.cb3888722e":"L-ebda naħa ma tassorbi t-talba tal-oħra, u l-identità tal-graff iżżomm il-konnessjoni eżatta.","research-forge.cb48a44ca9":"Tliet iterazzjonijiet","research-forge.cb4ae000d8":"il-programm jibqa' miftuħ","research-forge.cb5c0156c2":"Ġġorr il-limiti tiegħu stess","research-forge.cbb9f1b292":"kull waħda tgħid xi ħaġa differenti","research-forge.cbbe214a22":"Ġib speċifikazzjoni","research-forge.cc68ebf0f3":"Fruntiera żżomm il-kandidati li l-ebda kandidat ieħor ma jegħleb fuq kull objettiv attiv. It-tneħħija ta' membru teħtieġ relazzjoni ta' dominanza li tista' tintwera, mhux preferenza moħbija fit-tfittxija. Dan ibiddel tqabbil tekniku f'xi ħaġa li bord ta' reviżjoni jista' jaqra: kull membru jissodisfa l-istess kuntratt u jvarja biss f'dak li jiswa.","research-forge.ccfd13401b":"Irbotta l-problema","research-forge.cd27068c9e":"Assi dejjiemi","research-forge.cd3d5a59f1":"Eżekuzzjoni deterministika","research-forge.cdaa0de1dc":"Qsim ta' sottoespressioni komuni","research-forge.cdbed7e540":"Lingwa ta' tfittxija","research-forge.cde215073a":"l-erbgħa kollha jissodisfaw l-istess kuntratt","research-forge.cdf33799d9":"Rekord ta' rabta ta' eżekuzzjoni","research-forge.ce3b4e045e":"qabel ma jsir permanenti","research-forge.ce9e850988":"it-tfittxija tirrapporta d-divergenza minflok tagħżel waħda minnhom","research-forge.cec4b662d3":"Programm parzjali","research-forge.cecae09ffe":"Il-magna ssib kandidat.","research-forge.cf5ed047cf":"Valuri tal-objettivi u pożizzjoni fuq il-fruntiera.","research-forge.cf61965045":"fatti disponibbli qabel ma jiġi evalwat xi ħaġa","research-forge.cf88038e56":"Mhux finali","research-forge.cf9b77061f":"Miftuħ","research-forge.consumer.banner.bodyOne":"Kandidat jista' jkun aktar mgħaġġel, iżgħar jew aktar faċli biex jitħaddem.","research-forge.consumer.banner.bodyTwo":"Jekk ikisser l-ispeċifikazzjoni, mhuwiex ottimizzazzjoni ta' dak il-programm.","research-forge.consumer.banner.checkDetail":"Rikjedi l-livell ta' evidenza msemmi mill-esperiment.","research-forge.consumer.banner.checkLabel":"Iċċekkja l-korrettezza","research-forge.consumer.banner.checkStatus":"Bieb","research-forge.consumer.banner.compareDetail":"Biss kandidati aċċettabbli jidħlu fid-diskussjoni tal-kompromessi.","research-forge.consumer.banner.compareLabel":"Qabbel l-ispiża","research-forge.consumer.banner.compareStatus":"Imbagħad qabbel","research-forge.consumer.banner.eyebrow":"Il-konfini li ma jistax jinkiser","research-forge.consumer.banner.findDetail":"Esplora strutturi ta' programm permessi differenti.","research-forge.consumer.banner.findLabel":"Sib kandidati","research-forge.consumer.banner.findStatus":"Fittex","research-forge.consumer.banner.footer":"Dweve Forge, Verified Program Discovery","research-forge.consumer.banner.instrumentTag":"Fiss","research-forge.consumer.banner.instrumentTitle":"L-ordni","research-forge.consumer.banner.stateDetail":"Ikteb ir-riżultat u l-konfini tiegħu qabel it-tfittxija.","research-forge.consumer.banner.stateLabel":"Stqarr l-imġiba","research-forge.consumer.banner.stateStatus":"Fiss","research-forge.consumer.banner.titleAccent":"jekk ibiddel it-tweġiba","research-forge.consumer.banner.titleLead":"Shortcut għaqli huwa inutli","research-forge.consumer.banner.verdictLabel":"Ir-regola","research-forge.consumer.banner.verdictValue":"Il-korrettezza taqla' d-dħul fid-diskussjoni tal-kompromessi.","research-forge.consumer.close.body":"Materjal pubbliku ta' Forge jispjega l-ispeċifikazzjoni, l-alternattivi skoperti, il-kontroeżempji u dak li r-riċerka tista' tabilħaqq tipprova. Forge hija riċerka interna attiva, mingħajr prova ta' softwer, pakkett pubbliku jew tniżżil open-source.","research-forge.consumer.close.eyebrow":"Dweve Forge, Verified Program Discovery","research-forge.consumer.close.primary":"Esplora r-riċerka ta' Dweve","research-forge.consumer.close.secondary":"Erġa' lura għall-esperiment","research-forge.consumer.close.title":"Segwi t-tfittxija mill-intenzjoni għall-evidenza.","research-forge.consumer.counterexample.body":"Kandidat jista' jaħdem fuq kull eżempju pprovdut u xorta jfalli x'imkien ieħor. Forge tista' tisfidah b'input konkret li jesponi d-differenza. Dak l-input isir kontroeżempju.","research-forge.consumer.counterexample.eyebrow":"Falliment bħala evidenza utli","research-forge.consumer.counterexample.footer":"Il-għadd ta' eżempji li jgħaddu xorta ma jfissirx li l-programm ġie ppruvat korrett.","research-forge.consumer.counterexample.pillFailure":"Falliment konkret","research-forge.consumer.counterexample.pillPermanent":"Każ permanenti","research-forge.consumer.counterexample.pillRetry":"Fittex mill-ġdid","research-forge.consumer.counterexample.secondaryLeft":"Il-każ li ma jgħaddix jingħaqad mal-evidenza permanenti. Il-kandidat li jmiss irid jissodisfa kemm l-eżempji ta' qabel kif ukoll il-limitu l-ġdid.","research-forge.consumer.counterexample.secondaryLeftLabel":"Il-kandidat jinbidel","research-forge.consumer.counterexample.secondaryRight":"Falliment jista' wkoll juri ambigwità jew kontradizzjoni fit-talba. Iċċarar l-intenzjoni joħloq speċifikazzjoni ġdida u jżomm ir-riżultat ta' qabel viżibbli.","research-forge.consumer.counterexample.secondaryRightLabel":"L-intenzjoni tista' tinbidel","research-forge.consumer.counterexample.sideChallengeDetail":"Ħares lil hinn mill-eżempji faċli.","research-forge.consumer.counterexample.sideChallengeLabel":"Sfida","research-forge.consumer.counterexample.sideFooter":"Il-falliment idjaq it-tfittxija u jiċċara r-rekwiżit tal-bniedem.","research-forge.consumer.counterexample.sideMetaLabel":"Direzzjoni","research-forge.consumer.counterexample.sideMetaValue":"Iktar strett f'kull rawnd","research-forge.consumer.counterexample.sideProposeDetail":"Sib kandidat li jaqbel mal-każijiet magħrufa.","research-forge.consumer.counterexample.sideProposeLabel":"Ipproponi","research-forge.consumer.counterexample.sideRememberDetail":"Żid il-falliment konkret mal-evidenza.","research-forge.consumer.counterexample.sideRememberLabel":"Ftakar","research-forge.consumer.counterexample.sideRetryDetail":"Fittex kandidat li jgħix is-sett iktar b'saħħtu.","research-forge.consumer.counterexample.sideRetryLabel":"Erġa' pprova","research-forge.consumer.counterexample.sideStatus":"Ċiklu","research-forge.consumer.counterexample.sideSubtitle":"Kif kandidat dgħajjef isaħħaħ il-mistoqsija","research-forge.consumer.counterexample.sideTitle":"Ċiklu ta' kontroeżempju wieħed","research-forge.consumer.counterexample.titleAccent":"ħażin fuq dan il-każ eżatt","research-forge.consumer.counterexample.titleLead":"Mhux sempliċement ħażin","research-forge.consumer.counterexample.visualFooter":"Il-kandidat li jmiss irid jagħmel aħjar mingħajr ma jdgħajjef ir-rekwiżit.","research-forge.consumer.counterexample.visualMeta":"Każ illustrattiv","research-forge.consumer.counterexample.visualStatus":"Kontroeżempju misjub","research-forge.consumer.counterexample.visualSubtitle":"Tliet kandidati jiltaqgħu ma' limitu dejjem iktar strett","research-forge.consumer.counterexample.visualTitle":"Każ li ma jgħaddix isir obbligu permanenti","research-forge.consumer.glyph.evidence.counterexample":"Falliment irreġistrat","research-forge.consumer.glyph.evidence.examples":"Eżempji mgħoddija","research-forge.consumer.glyph.evidence.execution":"Eżekuzzjoni marbuta","research-forge.consumer.glyph.evidence.proof":"Relazzjoni ppruvata","research-forge.consumer.glyph.footer":"Il-magna tista' ma tirritornax programm.","research-forge.consumer.glyph.header.detail":"It-talba tibqa' fissa waqt li l-passaġġi jinbidlu.","research-forge.consumer.glyph.header.state":"Riċerka attiva","research-forge.consumer.glyph.header.title":"Esperiment ta' skoperta ta' programmi","research-forge.consumer.glyph.path.a.label":"Ma jgħaddix minn każ ta' tarf","research-forge.consumer.glyph.path.a.state":"Miċħud","research-forge.consumer.glyph.path.b.label":"Korrett, spiża ogħla","research-forge.consumer.glyph.path.b.state":"Żomm","research-forge.consumer.glyph.path.c.label":"Korrett, kompromess differenti","research-forge.consumer.glyph.path.c.state":"Ippruvat","research-forge.consumer.glyph.request.detail":"Eżempji, regoli u programm parzjali jiddefinixxu l-limitu tat-tfittxija.","research-forge.consumer.glyph.request.label":"ittrasforma kull input appoġġjat u żomm il-limitu ddikjarat.","research-forge.consumer.hero.eyebrow":"Dweve Forge, Skoperta ta' Programmi Verifikata","research-forge.consumer.hero.lede":"Dweve Forge huwa proġett ta' riċerka li jfittex programmi li jissodisfaw eżempji, restrizzjonijiet jew speċifikazzjonijiet parzjali, itejjeb kandidati validi skont objettivi espliċiti, u jirreġistra l-evidenza li tappoġġja kull riżultat.","research-forge.consumer.hero.ledgerLabel":"Nota ta' riċerka","research-forge.consumer.hero.ledgerPill":"Attiv","research-forge.consumer.hero.ledgerPurpose":"Għan","research-forge.consumer.hero.ledgerPurposeValue":"Skopri, qabbel u ċċekkja programmi","research-forge.consumer.hero.ledgerStatus":"Status","research-forge.consumer.hero.ledgerStatusValue":"Riċerka interna attiva","research-forge.consumer.hero.primary":"Segwi programm skopert","research-forge.consumer.hero.secondary":"Ara xi jfisser verifikat","research-forge.consumer.hero.titleAccent":"Ħalli l-magna tfittex kif.","research-forge.consumer.hero.titleLead":"Iddeskrivi x'għandu jiġri.","research-forge.consumer.intent.body":"Ir-riċerka ta' Forge tibda b'eżempji, regoli jew programm miktub parzjalment. L-eżempji juru każijiet speċifiċi. Ir-regoli jgħidu x'għandu jibqa' veru b'mod aktar ġenerali. Programm parzjali jippreserva deċiżjonijiet li m'għandhomx jingħataw lit-tfittxija.","research-forge.consumer.intent.eyebrow":"Il-punt tat-tluq","research-forge.consumer.intent.footer":"Ladarba l-imġiba tkun ċara, il-magna tista' tfittex ħafna modi possibbli kif tipproduċiha.","research-forge.consumer.intent.pillExamples":"Eżempji","research-forge.consumer.intent.pillRules":"Regoli","research-forge.consumer.intent.pillSketch":"Programm parzjali","research-forge.consumer.intent.secondaryLeft":"Prompt jista' jitlob kodiċi u jirċievi xi ħaġa plawsibbli. Huwa, waħdu, ma jiddefinixxix standard sħiħ li kontra tiegħu dak il-kodiċi jista' jfalli.","research-forge.consumer.intent.secondaryLeftLabel":"Prompt","research-forge.consumer.intent.secondaryRight":"Speċifikazzjoni tiffissa l-imġiba, il-konfini u l-għażliet permessi. Li tbiddelha toħloq problema ta' riċerka differenti, mhux issalva kandidat dgħajjef.","research-forge.consumer.intent.secondaryRightLabel":"Speċifikazzjoni","research-forge.consumer.intent.sideExamplesDetail":"Għal dan l-input, ipproduċi dan l-output.","research-forge.consumer.intent.sideExamplesLabel":"Eżempji","research-forge.consumer.intent.sideFooter":"Ir-rekwiżit jiġi l-ewwel; l-implimentazzjoni tibqa' miftuħa.","research-forge.consumer.intent.sideMetaLabel":"Fissat waqt it-tfittxija","research-forge.consumer.intent.sideMetaValue":"Imġiba u ambitu","research-forge.consumer.intent.sideRulesDetail":"Għal kull input appoġġjat, ippreserva din il-proprjetà.","research-forge.consumer.intent.sideRulesLabel":"Regoli","research-forge.consumer.intent.sideSketchDetail":"Żomm din l-istruttura u skopri l-parti nieqsa.","research-forge.consumer.intent.sideSketchLabel":"Abbozz","research-forge.consumer.intent.sideStatus":"Ibda","research-forge.consumer.intent.sideSubtitle":"Kull waħda tipprovdi tip differenti ta' konfini","research-forge.consumer.intent.sideTitle":"Tliet modi kif tiddikjara l-intenzjoni","research-forge.consumer.intent.titleAccent":"qabel ma tagħżel l-implimentazzjoni","research-forge.consumer.intent.titleLead":"Iddeskrivi l-imġiba","research-forge.consumer.intent.visualFooter":"Il-programm ibiddel il-forma. Ir-rekwiżit le.","research-forge.consumer.intent.visualMeta":"Triq illustrattiva","research-forge.consumer.intent.visualStatus":"Riċerka attiva","research-forge.consumer.intent.visualSubtitle":"Veduta pubblika illustrattiva ta' esperiment ta' skoperta ta' programmi","research-forge.consumer.intent.visualTitle":"Rekwiżit wieħed, diversi triqat kandidati","research-forge.consumer.proof.body":"Riżultat formali jista' jipprova li programm jissodisfa proprjetà ddikjarata għal inputs u semantika appoġġjati. Ma jippruvax li r-rekwiżit kien għaqli, sħiħ jew adattat għal kull ambjent reali.","research-forge.consumer.proof.eyebrow":"X'għandu jgħid il-badge","research-forge.consumer.proof.footer":"Kultant l-aktar riżultat onest b'saħħtu huwa li l-magna ma tistax tipproduċi programm.","research-forge.consumer.proof.pillAssumptions":"Assunzjonijiet viżibbli","research-forge.consumer.proof.pillLimits":"Limiti viżibbli","research-forge.consumer.proof.pillScoped":"Skopjat","research-forge.consumer.proof.secondaryLeft":"Il-programm, il-proprjetà, l-assunzjonijiet u l-evidenza jibqgħu flimkien. Jekk il-programm jinbidel, ir-rabta tal-prova tinbidel ukoll.","research-forge.consumer.proof.secondaryLeftLabel":"Id-dikjarazzjoni","research-forge.consumer.proof.secondaryRight":"Forge huwa riċerka interna attiva u mhux mitmuma. Mhuwiex prodott, servizz pubbliku ta' sinteżi jew download b'sors miftuħ.","research-forge.consumer.proof.secondaryRightLabel":"Il-konfini tar-riċerka","research-forge.consumer.proof.sideAssumptionsDetail":"L-inputs u l-ambjent koperti mid-dikjarazzjoni.","research-forge.consumer.proof.sideAssumptionsLabel":"Assunzjonijiet","research-forge.consumer.proof.sideFooter":"Il-prova ssaħħaħ dikjarazzjoni preċiża, mhux wegħda vaga.","research-forge.consumer.proof.sideLimitsDetail":"Dak li r-riżultat ma jistabbilixxix.","research-forge.consumer.proof.sideLimitsLabel":"Limiti","research-forge.consumer.proof.sideMetaLabel":"L-aktar stat onest b'saħħtu","research-forge.consumer.proof.sideMetaValue":"Imsejjaħ, qatt implikat","research-forge.consumer.proof.sideProgramDetail":"Il-kandidat eżatt li qed jiġi ċċekkjat.","research-forge.consumer.proof.sideProgramLabel":"Programm","research-forge.consumer.proof.sidePropertyDetail":"L-imġiba li hija ddikjarata.","research-forge.consumer.proof.sidePropertyLabel":"Proprjetà","research-forge.consumer.proof.sideStatus":"Prova","research-forge.consumer.proof.sideSubtitle":"Erba' partijiet li jridu jibqgħu flimkien","research-forge.consumer.proof.sideTitle":"Dikjarazzjoni ta' prova","research-forge.consumer.proof.titleAccent":"mhux korrett f'kull dinja possibbli","research-forge.consumer.proof.titleLead":"Verifikat taħt dawn ir-regoli","research-forge.consumer.proof.visualFooter":"Mhux magħruf, impossibbli, ambigwu u barra mill-ambitu jibqgħu riżultati ta' riċerka validi.","research-forge.consumer.proof.visualMeta":"Evidenza illustrattiva","research-forge.consumer.proof.visualStatus":"Ambjent viżibbli","research-forge.consumer.proof.visualSubtitle":"Ittestjar, kontrolli limitati, prova formali u rabta ta' eżekuzzjoni huma riżultati differenti","research-forge.consumer.proof.visualTitle":"Is-sellum ta' assigurazzjoni jżomm il-passi tiegħu separati","research-forge.consumerHero.titleSuffix":"isib rotot aħjar","research-forge.d02603176f":"Universali","research-forge.d092bf9ea1":"Esplora r-riċerka","research-forge.d0f4e7e15e":"il-graff iżommhom eżatti","research-forge.d105692d52":"Graff ta' kandidati magħżula","research-forge.d1a475961a":"Sfida sħiħa limitata tista' ssib l-espressjoni l-iżgħar f'lingwa dejqa. Ir-raffinament iggwidat minn kontro-eżempji għandu t-tendenza li jsib programmi strutturati robusti. It-tfittxija mmexxija minn restrizzjonijiet issolvi reġjuni diffiċli fil-livell tal-bits. It-tfittxija esploratorja tilħaq implimentazzjonijiet mhux tas-soltu.","research-forge.d1b06384eb":"Eżempji, regoli jew programm miktub parzjalment.","research-forge.d1ed30ebcf":"Konfini fiss","research-forge.d1f8a8cdec":"Fusjoni qatt ma hija aktar b'saħħitha mit-test li ġġustifikaha.","research-forge.d1f8e5ea93":"Għażla","research-forge.d2089fb287":"Routjar tat-teorija","research-forge.d2316c0df0":"Ħames entrati","research-forge.d23276442b":"Il-problema tal-ispazju tad-disinn","research-forge.d23c4c8d4e":"Sentenza waħda, tliet forom użabbli","research-forge.d255672f1b":"u jsaħħaħ it-talba","research-forge.d286c609a6":"Verżjoni tal-ispeċifikazzjoni","research-forge.d2b02aa6ad":"ir-rekord jorbot liż-żewġ naħat","research-forge.d2bad80400":"Talba sempliċi li tifred f'eżempji, regola u skeċċ, flimkien ma' tweġiba miktuba direttament mis-sentenza li m'għandha xejn x'tivverifika kontriha","research-forge.d2d0b16b22":"Neħħi d-duplikati strutturali u d-duplikati osservati.","research-forge.d2d43bec88":"Backends fil-mira (ambitu tal-evalwazzjoni)","research-forge.d35260a00f":"Miri","research-forge.d362822809":"Fejn iġġib il-problema","research-forge.d36f29cacf":"Irrikonċilja","research-forge.d3d6314184":"Kull kandidat huwa linja tul kull assi aktar milli punt fuq wieħed.","research-forge.d3dee74f70":"Ir-riżultat formali, u kontroll separat tiegħu fejn disponibbli.","research-forge.d3ec6e1bad":"L-oġġett semantiku li Kera jirċievi, bl-obbligi tiegħu mwaħħla.","research-forge.d4621d18f0":"b'konfini ddikjarat","research-forge.d4a74b503a":"Aqra d-dokumentazzjoni","research-forge.d4ccefcb5e":"l-ebda waħda mill-erba' ma tispiċċa billi tipproduċi xi ħaġa plawsibbli minflok","research-forge.d50b109f99":"Diversi derivazzjonijiet jibqgħu ħajjin fl-istess ħin, u l-għażla finali tistenna evidenza oġġettiva.","research-forge.d51fb63a04":"kull riżultat jirreferi lura għaliha","research-forge.d5383ea7af":"Irreġistrat","research-forge.d5dc89d194":"Għal kuntratti Kera appoġġjati, l-eżekuzzjoni pura tirrepeti l-bits b'mod identiku mingħajr seed, inklużi l-mogħdijiet koperti tal-familja tal-floating. Meta programm jikkonsma b'mod deliberat stat każwali, dak l-istat huwa input iddikjarat, u l-użu mill-ġdid tiegħu jirriproduċi l-ġirja kollha.","research-forge.d5ec4f1c39":"Għaliex jeżisti dan il-programm","research-forge.d5f412e831":"Kera","research-forge.d659989a95":"Forge jfittex lingwa ta' operazzjonijiet komputazzjonali ttajpjati. Inputs, outputs, forom, familji numeriċi, effetti, kapaċitajiet, sjieda u restrizzjonijiet tal-mira jiddeċiedu liema kompożizzjonijiet huma legali, għalhekk programmi invalidi huma esklużi strutturalment aktar milli jiġu ġġenerati u msewwija wara l-evalwazzjoni. Il-lingwa hija magħżula mal-pakkett u magħluqa għall-ġirja.","research-forge.d66c44dfdf":"Impossibbli","research-forge.d6a6f2deb1":"X'jagħmel il-linja","research-forge.d71df112ac":"X'tista' tagħmel it-tfittxija","research-forge.d769ded7e8":"Kandidat","research-forge.d79c0b71d1":"li l-ewwel programm korrett tiegħu mhux biżżejjed","research-forge.d7e5b39755":"L-ambigwità ssir viżibbli qabel ma ssir kodiċi. Żewġ kandidati jistgħu jissodisfaw kull eżempju pprovdut u xorta ma jaqblux fuq input li ħadd ma kiteb. Forge jirrapporta dak in-nuqqas ta' qbil u jitlob rekwiżit ieħor aktar milli jagħżel imġiba waħda bil-kwiet.","research-forge.d7e94eb0fb":"Kull organizzazzjoni tiddependi fuq biċċiet żgħar u kritiċi ta' kodiċi. Forge jistaqsi jekk tfittxija ta' sinteżi ta' programmi tistax tipproponi implimentazzjonijiet kandidati taħt speċifikazzjoni ddikjarata u pjan ta' kejl. Ir-rapport tal-2025 jiddokumenta esperiment, mhux prontezza għall-produzzjoni; l-ebda benchmark ippubblikat ma jistabbilixxi verżjoni ottimali jew l-aktar mgħaġġla.","research-forge.d835dab5b4":"integer eżatt","research-forge.d90c9bd5a7":"daqs 2 sa 4","research-forge.d9f6acb036":"l-estrazzjoni sseħħ l-aħħar","research-forge.da09c06014":"Forge jibda b'kuntratt ta' mġiba li ma jiċċaqlaqx. It-tfittxija tista' tipproponi eluf ta' implimentazzjonijiet, u eżempji, kontro-eżempji u mistoqsijiet formali jiddeċiedu liema minnhom jibqgħu. Dak li joħroġ huwa kandidat ta' programm ttajpjat b'derivazzjoni, vettur oġġettiv u livell ta' assigurazzjoni ddikjarat.","research-forge.da7a712c59":"X'għandu jagħmel il-programm","research-forge.daec3d5393":"Kontro-eżempji, provi u tranżizzjonijiet ta' assigurazzjoni.","research-forge.db1c784524":"Referenza","research-forge.dc131e9db4":"X'jiffissa l-pakkett","research-forge.dc16ac61b4":"assi wieħed ma jistax jikklassifika fruntiera","research-forge.dc5b5aba63":"issikka r-rekwiżit","research-forge.dcd69b02b3":"L-ispeċifikazzjoni hija konsistenti","research-forge.dd00b8f82f":"Assigurazzjoni msemmija","research-forge.dd3c9b9d09":"Tissewwiex l-ordni tar-riskrivitur","research-forge.dd3e8f4841":"Testijiet jistabbilixxu l-imġiba fuq il-każijiet li ġew imħaddma. Iċċekkjar eżawrjenti limitat ikopri dominju finit iddikjarat. Verifikazzjoni formali tipprova relazzjoni kkodifikata taħt suppożizzjonijiet iddikjarati. Rabta ta' eżekuzzjoni torbot ir-riżultat mal-graff u l-pjan li fil-fatt ġew imħaddma. Forge jirrapporta liema minn dawk il-kandidat laħaq, għaliex deċiżjoni meħuda fuq dik ħażina hija deċiżjoni meħuda fuq evidenza ħażina. Hemm ħames livelli f'dik is-sellum, u kandidat iżomm eżattament wieħed minnhom kull darba.","research-forge.de135d6b61":"reġjun pur","research-forge.de56d45fd4":"u dak li mhux permess li jmiss","research-forge.de9e9925af":"il-partijiet li jridu jibqgħu flimkien","research-forge.dfda3a3599":"Rivedibbli","research-forge.e0078f1adb":"Ma jistax iżid aċċess għal fajls jew netwerk li qatt ma kien permess. Ma jistax ibiddel it-tip ta' numru li juża t-tweġiba. Ma jistax itaffi r-rekwiżit għaliex kandidat promettenti kważi laħqu.","research-forge.e03608577a":"Reviżjoni tal-konfini","research-forge.e048b8a355":"Kif il-garanziji jikkomponu permezz ta' ottimizzazzjoni u ppjanar.","research-forge.e15760689d":"Irfinar","research-forge.e192f8980b":"Mudelli statiċi jikklassifikaw il-kandidati qabel ma jitħaddem xejn. Profili ttimbrati u kkalibrati jtejbu dawk l-istimi. Ġirjiet imkejla jikkonfermawhom jew jikkoreġuhom. Kull waħda tibqa' ttikkettjata, għalhekk latenza mbassra qatt ma tintwera f'post fejn waħda mkejla tkun toqgħod.","research-forge.e24f8562eb":"l-implimentazzjoni ssir riżultat","research-forge.e29a79fe0c":"Reviżjoni","research-forge.e2f9cea1dd":"dak li kull forma tissolva u dak li ma tissolvax","research-forge.e31ae17fe2":"Dak li jħalli miftuħ","research-forge.e340683de2":"Il-każijiet konkreti ddikjarati għaddew.","research-forge.e341bf4b5e":"Il-kompletezza tappartjeni lill-ispazju ddikjarat, u r-rapport jistqarr liema spazju kien dak.","research-forge.e380a981e1":"Żewġ sekwenzi ta' inġinerija","research-forge.e3a3474f57":"Sorsi ekwivalenti jistgħu jiddeskrivu l-istess komputazzjoni, u sorsi li jidhru simili jistgħu jaħbu effetti differenti. Il-ħidma fuq il-graff tagħmel il-qsim strutturali, it-tqabbil tal-kandidati, l-irbit tal-provi u l-provenjenza eżatti, minflok xi ħaġa dedotta mit-test wara kull trasformazzjoni.","research-forge.e3aa756f4f":"Tliet veduti","research-forge.e3f3e0b2d5":"Tweġiba mhux tweġiba b'raġuni mehmuża hija deċiżjoni li l-organizzazzjoni tista' taġixxi fuqha llum.","research-forge.e3f4660921":"Meta t-tfittxija żżomm diversi programmi korretti, xi ħadd irid jgħid liema kompromess jgħodd. Dik hija deċiżjoni, u Forge jirreġistraha bħala waħda, flimkien mal-programmi li ma għażilx u r-raġuni għaliex kull wieħed ġie skartat.","research-forge.e40786cd04":"il-graff huwa msemmi, mhux is-sors","research-forge.e43a425d4c":"Każ wieħed li jfalli","research-forge.e4709d4a03":"Xi ħaġa fil-lingwa ddikjarata tissodisfa r-rekwiżit.","research-forge.e4ec169f06":"Tliet iterazzjonijiet, rekwiżit wieħed li jsir aktar preċiż","research-forge.e5a5debd01":"u jidderieġi l-investiment li jmiss","research-forge.e5e6eefa7c":"kull wieħed jista' jsemmi l-aqwa kandidat differenti","research-forge.e5fa3a8592":"Żid l-evidenza li tifred l-imġibiet li jikkompetu.","research-forge.e6737991ff":"Tfittxija ta' kandidati","research-forge.e6c167fd27":"MEMBER","research-forge.e6f72dbc9e":"Forma tajba permezz ta' eżekuzzjoni marbuta qatt ma titħallat.","research-forge.e70fb2879c":"li jbiddel it-tweġiba","research-forge.e713d42aa6":"SUBJECT","research-forge.e73791d2ee":"Ir-reġistru huwa mfassal biex jinqara minn xi ħadd li ma kienx hemm. Isemmi l-verżjoni tal-ispeċifikazzjoni aktar milli fergħa, il-graff tal-kandidati aktar milli fajl, u r-relazzjoni ta' dominanza aktar milli preferenza, sabiex reviżur ikun jista' jistaqsi għaliex mhux kandidat B u jieħu tweġiba.","research-forge.e78c82b9d8":"Spazju ta' programmi ekwivalenti","research-forge.e792eed957":"Enumerazzjoni bit-tip u d-daqs","research-forge.e79545edad":"Forge jista' jsib programm, isib diversi, isib kontroeżempju li jtemm wieħed, jew isib li xejn fl-ispazju permess ma jaħdem. Kwalunkwe minn dawn jista' jiġri f'ġirja waħda.","research-forge.e7c6bfda5f":"Eżempji, restrizzjonijiet u skeċċi","research-forge.e7eaf3097f":"UNDECIDED","research-forge.e83744eb1b":"Graff wieħed permezz tal-istack Dweve","research-forge.e89c5a1fe5":"Itlob demo","research-forge.e8c9206319":"Inti tiddikjara l-imġiba","research-forge.e93a01e74c":"Inputs u outputs","research-forge.e9a46a96e9":"Ambigu","research-forge.e9c366b4f3":"Rekwiżit","research-forge.e9e1bb076f":"Prova, graff, pjan u identità tar-riżultat huma marbuta flimkien.","research-forge.ea2f183ae8":"Falliment li jsemmi input eżatt jgħallem lit-tfittxija aktar minn falliment li jsemmi punteġġ.","research-forge.ea66222972":"Iddefinixxi l-imġiba, il-lingwa tal-kandidati, il-vettur tal-objettivi u l-evidenza li għandek bżonn. Forge jista' jibdel dan f'esperiment ikkontrollat ta' tfittxija, tqabbil u verifikazzjoni.","research-forge.ea66d3cd71":"Verifikat formalment","research-forge.eae192773b":"Magħmul minn","research-forge.eb01bf04c9":"Eżempji","research-forge.eb5d2f4a58":"JIT","research-forge.eb65476556":"rifjut qabel evalwazzjoni ma jiswa xejn","research-forge.eb86bd10d0":"Ittestja u staqsi formalment lis-superstiti.","research-forge.ebc93602b0":"Programm ta' sħubija fir-riċerka","research-forge.ebd1b8a0ed":"Korrettezza u spiża jibqgħu separati","research-forge.ebf002ed26":"X'għandu jipproduċi jew jippreserva kull input permess?","research-forge.ec00edb305":"Status tal-kejl","research-forge.ec80d62108":"Plott ta' kompromess bi tliet assi b'kandidati dominati griżi, selettur ta' politika li jagħżel membru wieħed mhux dominat, u kontroll li jżid objettiv u jerġa' jiġbed il-fruntiera","research-forge.ec8c6779f3":"Derivazzjoni","research-forge.eca98aa4dd":"L-invarjant permanenti","research-forge.ecc4622e4a":"L-intenzjoni bħala assi","research-forge.eccd8c22c7":"Każijiet","research-forge.ed03c68d9c":"Parzjalment","research-forge.ed625e27bc":"it-tweġiba tinqara mir-reġistru, mhux tinbena mill-ġdid minnu","research-forge.ed834ee730":"Żewġ programmi, kull eżempju, nuqqas ta' qbil wieħed","research-forge.ed868fa2d4":"Dak li tweġiba waħda tissolva","research-forge.edd8fb596d":"Dak li trid l-organizzazzjoni","research-forge.ee531c138e":"identità waħda tul iċ-ċiklu tal-ħajja","research-forge.ee6e0d9004":"dak li jirritorna Kera","research-forge.eebc8ec4db":"L-akbar sett ta' xogħol","research-forge.eebfc58277":"Normalment ikun hemm aktar minn tweġiba waħda tajba, u li tgħid liema waħda għażilt hija parti mit-tweġiba.","research-forge.ef4e3a4971":"X'jista' jibqa' differenti","research-forge.ef73fdd1c8":"Erba' każijiet","research-forge.f04208c0f4":"iċ-ċrieki t-tlieta ta' barra jistgħu jiġu eżaminati mingħajr ma tinfetaħ dik ta' ġewwa nett","research-forge.f061352d1c":"Familja, wisa', tond u l-envelope ta' żball fis-seħħ.","research-forge.f0aa98e438":"Il-problema tinkiteb l-ewwel","research-forge.f128a0033d":"Forge iqabbel kandidati validi skont l-għadd ta' operazzjonijiet, il-passaġġ kritiku, it-traffiku tal-memorja, is-sett ta' xogħol, il-pressjoni tar-reġistri, id-daqs tal-kodiċi, l-enerġija stmata, il-portabbiltà, il-kumplessità tal-prova u l-adattament għall-mira. Liema minn dawn huma attivi jappartjeni lill-pakkett tal-esperiment, magħżul qabel ma jitkejjel kwalunkwe kandidat, sabiex it-tqabbil ma jkunx jista' jiġi aġġustat wara li jkunu ħarġu r-riżultati.","research-forge.f1513553a0":"Ħames kandidati li jimplimentaw l-istess speċifikazzjoni, kull wieħed b'siluwett strutturali differenti u faxxa ta' objettivi differenti, bl-ewwel kandidat skopert immarkat bħala dominat","research-forge.f19a088441":"Qasam ta' forom ta' programmi kandidati fi tliet stati madwar qafas ta' rekwiżit fiss fiċ-ċentru li qatt ma jibdel id-daqs","research-forge.f1e6269a35":"Kandidat ta' Forge huwa graff semantiku tipizzat. In-nodi tiegħu jżommu operazzjonijiet, dipendenzi, valuri, effetti, sjieda u obbligi numeriċi, u t-tfittxija żżid, tneħħi u terġa' tgħaqqad reġjuni filwaqt li l-interfaċċa tibqa' ffurmata sew. Is-sintassi tas-sors hija ħarsa waħda ta' dak l-oġġett aktar milli l-identità tiegħu, u għalhekk prova tista' torbot miegħu u tibqa' tgħix meta tinbidel l-ortografija.","research-forge.f21eba9d4c":"L-imġiba li qed tiġi ddikjarata dwaru.","research-forge.f2b83c0462":"Irrevedi l-ħruġ tal-kandidat","research-forge.f3263fc33a":"Liema inputs, effetti u ambjenti huma fl-ambitu?","research-forge.f33b37791c":"rekwiżit fiss wieħed","research-forge.f34faaf18c":"X'jibqa' fiss għall-ġirja","research-forge.f3717fe94b":"Tliet joins, lingwa tipizzata waħda","research-forge.f3b8596ff9":"Skeċċi","research-forge.f3e0a2c003":"Operazzjoni, transizzjoni ta' stat u kull effett li huwa permess li jkollu.","research-forge.f44f712120":"il-metodu jibqa' riċerka","research-forge.f4b90ff6c9":"enumerattiv, CEGIS, GP, MCTS","research-forge.f4c0773264":"Tipi, effetti, sjieda u interfaċċi huma validi.","research-forge.f5330c10d4":"Żewġ sistemi, oġġett wieħed","research-forge.f539273fc2":"Għadda mill-każijiet konkreti ddikjarati.","research-forge.f53a569905":"Il-problema istituzzjonali","research-forge.f591672335":"minn tarf sa tarf","research-forge.f5def394f5":"Il-kandidat eżatt li ġie ċċekkjat.","research-forge.f61f151c35":"Iddeskrivi x'jiġri","research-forge.f6c1c2d45c":"il-kandidat magħżul iżomm il-politika li għażlitu","research-forge.f6fbfa37a0":"Effett limitat","research-forge.f7313a2c50":"Ħafna sistemi li jiktbu kodiċi jintalbu jkomplu test b'mod plawsibbli. Forge jintalab jissodisfa deskrizzjoni ta' dak li programm irid jagħmel. Ifittex implimentazzjonijiet, jirrifjuta dawk li jonqsu fuq input speċifiku, iqabbel dawk li jibqgħu ħajjin, u jiddikjara eżattament kemm ir-riżultat ġie ċċekkjat b'mod qawwi.","research-forge.f740162265":"Diffabbli","research-forge.f793bcd5e3":"Magħżul mill-politika attwali","research-forge.f7bce3aeb0":"Tliet tipi ta' xebh","research-forge.f7fcfa132e":"Verifikat dejjem ifisser verifikat kontra xi ħaġa ddikjarata.","research-forge.f85d540ea4":"Huma jonqsu wkoll b'mod differenti. Kandidat jista' jgħaddi minn kull eżempju pprovdut u xorta jikser il-kundizzjoni kwantifikata li l-eżempji kellhom juru. Ir-rekord jsemmi dik id-differenza, sabiex il-passaġġ minn sett ta' testijiet qatt ma jinqara lura bħala prova.","research-forge.f8ad81d4ed":"Żewġ programmi jistgħu jagħmlu eżattament l-istess xogħol u xorta jkunu differenti biex tgħix magħhom. Wieħed jispiċċa qabel. Wieħed iċaqlaq inqas dejta. Wieħed jaħdem fuq aktar tipi ta' magni. Wieħed huwa sempliċement aktar faċli biex tiċċekkjah. It-titjib ta' kwalunkwe minn dawn normalment jiswa fuq ieħor, għalhekk Forge iżomm dawk tajbin aktar milli jiddikjara rebbieħ wieħed.","research-forge.f915e592e0":"Settut biżżejjed biex jingħad b'mod ċar: speċifikazzjoni immutabbli, ġabra ta' kandidati tipizzati waħda mitmugħa minn diversi imġibiet ta' tfittxija, kontro-eżempji bħala obbligi permanenti, fruntiera minflok punteġġ moħbi, livelli ta' assigurazzjoni msemmija, u identità ta' graff li tibqa' tgħix fil-kunsinna lil Kera.","research-forge.f91cf3695e":"dak li jħalli Forge u dak li jirritorna Kera","research-forge.f942052ae1":"L-ewwel programm korrett","research-forge.f95d9699ab":"mhux id-definizzjoni ta' l-aħjar","research-forge.f9743247fa":"Aqra d-dokumentazzjoni","research-forge.f97f6d5c34":"It-tip ta' numru fit-tweġiba","research-forge.f9917655d9":"Il-kandidati verifikati u miċħuda li kienu importanti.","research-forge.f9d589b5e4":"It-tikketta ssemmi l-livell, u r-rekord ħdejh isemmi l-ambitu li jkopri dak il-livell.","research-forge.fa6b511877":"Ma jistax jinbidel","research-forge.fa7f633b0c":"Tliet dossiets ta' kandidati mwaqqfa f'livelli differenti ta' assigurazzjoni, kull wieħed jiftaħ l-evidenza wara t-tikketta tiegħu, bil-promozzjoni murija bħala mhux disponibbli mingħajr evidenza","research-forge.fa8d0afff2":"u rrendi s-sors fit-tarf","research-forge.fb588797f2":"Softwer li jikteb","research-forge.fba63933d7":"il-prova tistabbilixxi l-imġiba","research-forge.fbe8d4180f":"Żerriegħa waħda, ħafna forom","research-forge.fc5fed48be":"Fittex fil-graff","research-forge.fc7583ec76":"Speċifikazzjoni immutabbli","research-forge.fca77b7e3a":"B'ħarsa waħda","research-forge.fca8a06b17":"Forge jirreġistra liema tip ta' xebh iġġustifika kull għaqda, sabiex deduplikazzjoni rħisa waqt it-tfittxija qatt ma tinqara lura bħala riżultat semantiku.","research-forge.fd2145e1f8":"L-ordni li qatt ma tinbidel","research-forge.fd9cfb5232":"Diversi imġibiet ta' tfittxija jipproduċu tip wieħed ta' kandidat tipizzat.","research-forge.fdd0dfedc0":"Erba' affarijiet jżommu","research-forge.fe03c35158":"Semantika","research-forge.fe0863e1b3":"Ħames livelli ta' assigurazzjoni","research-forge.fe08eef5c7":"Il-passi li jappartjenu lill-metodu intern ta' Dweve jidhru fil-katina bħala nodes issiġillati. Kull wieħed jippubblika l-inputs tiegħu, l-outputs tiegħu u l-identità tiegħu, biex il-katina tibqa' konnessa filwaqt li l-istrateġija ġewwa fiha tibqa' parti mir-riċerka.","research-forge.fe17f86199":"Spazju tad-disinn","research-forge.fe8b95b52a":"Il-graff magħżul li jmur minn Forge għal Kera tul korsija waħda, mas-sistemi Dweve ġirien li jaqraw l-istess oġġett, u l-identità tar-riżultat li tirritorna lejh","research-forge.fec325ce2f":"Iċċaqlaq inqas dejta","research-forge.fef04acdce":"dak li jibqa' f'kull daqs kandidat","research-forge.ff52cebd1d":"Dominju finit iddikjarat kien eżawrit.","research-forge.ff63942f4e":"Katina li reviżur jista' jimxi fiha","research-forge.ff75e0dce3":"Mhux ċar","research-forge.ffa7344f37":"Il-materjal pubbliku ta' Forge jispjega l-ispeċifikazzjoni, l-alternattivi li ġew skoperti, il-kontroeżempji li temmew uħud minnhom, u dak li r-riċerka tista' fil-fatt tipprova.","research-forge.technicalHero.titleSuffix":"Z3","section_st_a2_split-spec-sheet.7c9a7c0610":"Dettalji","section_st_a6_split-scenario-triad.f75fd3a884":"L-ebda dipendenza ta' runtime","section_st_a6_split-scenario-triad.143ac4ef35":"Binarju wieħed","section_st_a6_split-scenario-triad.c61f134d87":"Tliet uċuħ","section_st_a6_split-scenario-triad.215475056e":"FEJN JAĦDEM","section_st_a6_split-scenario-triad.a794a586f0":"Lest għal kamra ssiġillata","section_st_a6_split-scenario-triad.42d52c32ea":"Mudell lokali","section_st_a6_split-scenario-triad.fe6168e59f":"L-ebda netwerk","section_st_a6_split-scenario-triad.7d93f83c3e":"Kodiċi mmuntat fuq volum","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":"L-ebda installazzjoni","section_st_a6_split-scenario-triad.f600b9e709":"Binarju wieħed","section_st_a7_split-connector-grid.4e6822a6d4":"Rikarġija sħuna","section_st_a7_split-connector-grid.19e35f0609":"Issettjat f'TOML","section_st_a7_split-connector-grid.d9de50b343":"Inventarju mmexxi mis-sejjieħ","section_st_a7_split-connector-grid.8be1bb51b7":"KONNETTURI","section_st_a8_split-scaling-profile.7e0861e04c":"Aġġustabbli f'TOML","section_st_a8_split-scaling-profile.56d6732417":"Limitu għal kull proġett","section_st_a8_split-scaling-profile.27a454915b":"Tikek attivi jirriflettu aġenti konkorrenti għal kull livell.","section_st_a8_split-scaling-profile.0ea215ea0d":"SFOND","section_st_a8_split-scaling-profile.9fc6fb7e03":"TEAMS","section_st_a8_split-scaling-profile.018d2cd1a5":"PARALLEL","section_st_a8_split-scaling-profile.16623c5d4a":"KATENI","section_st_a8_split-scaling-profile.0fb79c96ed":"Solo → Tim → Netwerk","section_st_a8_split-scaling-profile.068f6b3ecc":"SKALA TAT-TIM","section_st_a8_split-scaling-profile.53ebc572b4":"Netwerk","section_st_a8_split-scaling-profile.218887269a":"Tim","section_st_a8_split-scaling-profile.9fc93acaa4":"Solo","section_st_a9_split-time-lost-donut.7c9a7c0610":"Dettalji","section_st_b5_request-lifecycle.47e364232a":"verifika #4521","section_st_b5_request-lifecycle.4d3535f846":"garża · session.rs","section_st_b5_request-lifecycle.6c2519cd62":"Eżekuzzjoni tal-għodda","section_st_b5_request-lifecycle.f6d1c823ab":"sessjoni #128 · 14:02","section_st_b5_request-lifecycle.636de0d0c3":"> \"sewwi dan il-bug\"","section_st_b5_request-lifecycle.0208131a7d":"Talba tal-utent","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":"IL-KODIĊI TIEGĦEK","section_st_b8_defense-stack.89b6e2a784":"DIFIŻA FIL-FOND","section_st_c2_dual-loop-flow.9d29573ea6":"għodda / pass","section_st_c2_dual-loop-flow.08ab1ac55a":"ippjana / erġa' ippjana","section_st_c5_integration-spoke.55d0677ac3":"Il-konnetturi kollha jgħaddu mill-istess saff ta' awditjar u permessi.","section_st_c5_integration-spoke.c29eb7e425":"Aġent lokali","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":"Għodod esterni","section_st_c5_integration-spoke.70c123381f":"JSON-RPC 2.0","section_st_c5_integration-spoke.dc99d54d99":"Lokali","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":"Ibda","toc-rail.f5cbdf6bfb":"Kontenut"}