{"aura-ask-grid.af0854de67":"Aura","aura-business-sides.a0853da24b":"Tehnički podaci","aura-business-visuals.40417391c5":"Aura · rješava","aura-business-visuals.271973aefe":"xMidYMid meet","aura-business-visuals.3e91add48a":"BOARD","aura-showcase.eyebrow":"Dweve platforma","aura-showcase.subtitle":"Agent za kodiranje i asistencija operatera. Demo metrike su ilustrativne.","aura-showcase.pillTools":"25+ alata","aura-showcase.pillRunning":"pokrenuto","aura-showcase.pillAnalysing":"analiza koda","aura-showcase.capabilityToolsTitle":"25+ alata","aura-showcase.capabilityToolsBody":"Terminal, pretraga, lint, test, git i više.","aura-showcase.capabilityMemoryTitle":"Semantička memorija","aura-showcase.capabilityMemoryBody":"Pamti kontekst vašeg koda i tima.","aura-showcase.capabilityAgentsTitle":"Orkestracija više agenata","aura-showcase.capabilityAgentsBody":"Specijalizirani agenti surađuju na različitim područjima.","aura-showcase.guaranteeAuditTitle":"Revizijski trag","aura-showcase.guaranteeAuditBody":"Svaki korak je zabilježen s vremenskim oznakama.","aura-showcase.guaranteeGuardrailsTitle":"Zaštitne ograde","aura-showcase.guaranteeGuardrailsBody":"Pravila, provjere i testovi uvijek se izvode.","aura-showcase.guaranteeApprovalTitle":"Promjene koda uz odobrenje","aura-showcase.guaranteeApprovalBody":"Pregledajte razlike, zatražite izmjene, konačno odobrenje.","aura-showcase.guaranteeReplayTitle":"Deterministička reprodukcija","aura-showcase.guaranteeReplayBody":"Reproducirajte bilo koju sesiju bit po bit kada nešto treba pregled.","aura-showcase.workflowUnderstand":"Razumijevanje","aura-showcase.workflowUnderstandCaption":"Pročitaj retry.ts, pronađen bug s vremenskim ograničenjem","aura-showcase.workflowPlan":"Planiranje","aura-showcase.workflowPlanCaption":"Izdvoj zaštitu + ograniči ponovne pokušaje","aura-showcase.workflowImplement":"Implementacija","aura-showcase.workflowImplementCaption":"Zakrpljeni retry.ts + types.ts","aura-showcase.workflowTest":"Testiranje","aura-showcase.workflowTestCaption":"28 testova, 94% pokrivenosti","aura-showcase.workflowVerify":"Provjera","aura-showcase.workflowVerifyCaption":"Pokrećem lint i typecheck...","aura-showcase.workflowAudit":"Revizija","aura-showcase.workflowAuditCaption":"Čeka se sažetak","aura-showcase.footer":"Autonomni agenti koji pišu kod i vode evidenciju","aura-showcase.testsPassing":"prolazi","aura-showcase.testsFailing":"ne prolazi","aura-showcase.modified":"izmijenjeno","aura-showcase.af0854de67":"Aura","aura-showcase.73989d9c59":"Pokrenuto","aura-showcase.f9e94338d0":"Analiza koda","aura-showcase.d7a484140f":"Tijek rada","aura-showcase.287fda8114":"Ujedinjen","aura-showcase.80e13549b4":"Pokrivenost","aura-showcase.b71cc78b34":"Izdvojen isRetryableError","aura-showcase.c37a8a9e2b":"za rukovanje\n                    mrežnim vremenskim ograničenjima, 5xx odgovorima i uvjetima\n                    sigurnim za idempotentnost. Čisti pomoćnik, potpuno jedinično testiran.","aura-tech-middles.7fba7d244f":"Vrući put","aura-tech-middles.1be47ef71c":"Poprečni","aura-tech-middles.92096d78df":"Ulaz","aura-tech-middles.8e05a902ed":"Izlaz","aura-tech-middles.49a66c994d":"Ugrađeni agenti","aura-tech-middles.a60792e996":"Vanjski ciklus","aura-tech-middles.0dfd4db698":"Unutarnji ciklus","aura-tech-middles.bbd88bff92":"Dolazni zahtjev","aura-tech-middles.a618b4be8d":"Upit","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":"Blok","aura-tech-middles.271973aefe":"xMidYMid meet","page-breadcrumb.c766e66518":"Putokaz","page-toc.7e439c353e":"Na ovoj stranici","res-forge-action-instrument.089b6f0342":"Pokrenuto od","res-forge-action-instrument.97c89a4d66":"Radnja","res-forge-ambiguity-board.af13a94202":"je rezultat, i bilježi se\n          kao jedan.","res-forge-ambiguity-board.e9a46a96e9":"Dvosmisleno","res-forge-ambiguity-board.1ee9387ca8":"Tri načina na koja osoba može odgovoriti. Pretraga sama po sebi ne prihvaća nijedan od njih.","res-forge-ambiguity-board.f275049b4b":"Koji ste mislili?","res-forge-ambiguity-board.e1f6a95de4":"prazan niz","res-forge-ambiguity-board.39f54f4f92":"Unos nije dostavljen","res-forge-ambiguity-board.3636a0be7f":"slaže se","res-forge-ambiguity-board.140f86aae5":"unos","res-forge-ambiguity-board.5a3eea8643":"Svaki dostavljeni primjer","res-forge-ambiguity-board.fd50372bde":"Pet dostavljenih primjera i kako oba kandidata odgovaraju na njih","res-forge-ambiguity-board.86c03753f3":"prijaviti najmanji iznos u nizu","res-forge-ambiguity-board.e9c366b4f3":"Zahtjev","res-forge-ambiguity-board.957a3c6b10":"suziti domenu","res-forge-ambiguity-board.b0567c7519":"dodati uvjet","res-forge-ambiguity-board.7713f29af2":"dodati primjer","res-forge-ambiguity-board.5472c41b95":"čita prazan niz kao izvan dopuštenog unosa","res-forge-ambiguity-board.2597c3398a":"pogreška","res-forge-ambiguity-board.9adfc74130":"Kandidat 2","res-forge-ambiguity-board.72e8350f75":"čita prazan niz kao neutralan iznos","res-forge-ambiguity-board.170d4a4827":"Kandidat 1","res-forge-assurance-ladder.7607387940":"što ne uspostavlja","res-forge-assurance-ladder.204b9b0c88":"što je pretpostavljeno","res-forge-assurance-ladder.f03d859ccc":"što je provjereno","res-forge-assurance-ladder.6b3fa46450":"dva kandidata, dvije poštene točke zaustavljanja, obje prijavljene kakve jesu","res-forge-assurance-ladder.ed682e5934":"NIJE IZVEDENO IZ Q","res-forge-assurance-ladder.bdad2aeeb8":"Razine jamstva","res-forge-assurance-ladder.9a9f9e5d26":"NIJEDNA RAZINA NIJE IZVEDENA","res-forge-assurance-ladder.8259f9a8e2":"formalna teorija izvan trenutnog ugovora","res-forge-assurance-ladder.4f7ee515f7":"prijavljeno kao povezano s izvršenjem","res-forge-assurance-ladder.0d9389b742":"Bilo kakvo ponašanje na meti koju zapis ne imenuje.","res-forge-assurance-ladder.246b796ef8":"Da su zabilježeni identiteti oni koje je izvođenje proizvelo.","res-forge-assurance-ladder.69ded617f9":"graf, plan, artefakt i rezultat dijele jedan zapis","res-forge-assurance-ladder.5102f2ad33":"identitet povezan od kraja do kraja","res-forge-assurance-ladder.49d89b6ce4":"POVEZANO S IZVRŠENJEM","res-forge-assurance-ladder.a1cce5c1a6":"Bilo koje svojstvo koje ugovor nije kodirao i bilo koji emitirani artefakt.","res-forge-assurance-ladder.a7d0feec4e":"Semantika koja je kodirana i pretpostavke koje je paket učvrstio.","res-forge-assurance-ladder.fce451ff2c":"pretpostavke su učvršćene i navedene","res-forge-assurance-ladder.c830a6c3be":"dokazano simboličko svojstvo","res-forge-assurance-ladder.da528b9287":"FORMALNO VERIFICIRANO","res-forge-assurance-ladder.d4c1c6915e":"Ponašanje izvan granice, koje nikada nije pretraženo.","res-forge-assurance-ladder.99d127dcae":"Da je deklarirana domena ona unutar koje će se rezultat koristiti.","res-forge-assurance-ladder.d8a8ea038d":"domena je deklarirana uz tvrdnju","res-forge-assurance-ladder.4538c7d77c":"konačna domena, pokrivena","res-forge-assurance-ladder.dfa6e659c8":"OGRANIČENO PROVJERENO","res-forge-assurance-ladder.1412ce6f4c":"Ponašanje na bilo kojem ulazu izvan zabilježenog skupa.","res-forge-assurance-ladder.a1fde5a17c":"Da deklarirani slučajevi predstavljaju ponašanje koje istraživača zanima.","res-forge-assurance-ladder.df4854fc18":"slučajevi su zabilježeni uz rezultat","res-forge-assurance-ladder.36cba7e6ad":"konkretni slučajevi","res-forge-assurance-ladder.b5516f2280":"TESTIRANO","res-forge-assurance-ladder.c0169d217f":"Ništa o ponašanju na bilo kojem ulazu.","res-forge-assurance-ladder.da65feb01c":"Samo da je paket imenovao jezik iz kojeg je kandidat izgrađen.","res-forge-assurance-ladder.6903a5abc9":"deklarirani jezik je zatvoren","res-forge-assurance-ladder.676886a349":"strukturalna valjanost","res-forge-assurance-ladder.68d222a4f0":"DOBRO OBLIKOVANO","res-forge-assurance-ladder.85e08ba525":"Da se dokaz, graf, Kera plan i identitet rezultata odnose jedan na drugoga.","res-forge-assurance-ladder.5e68702137":"Podržano simboličko svojstvo, dokazano nad kodiranom semantikom.","res-forge-assurance-ladder.9c8a0471a5":"Svaka vrijednost u konačnoj deklariranoj domeni, bez neuspjeha.","res-forge-assurance-ladder.77345a75bc":"Svaki konkretni slučaj koji je paket deklarirao, pokrenut i uspoređen.","res-forge-assurance-ladder.8c4857d4f9":"Tipovi, oblici, učinci, vlasništvo i deklarirano sučelje.","res-forge-badge-opened.9a3d81d562":"Znak pripada točno jednom programu","res-forge-badge-opened.3d1307a7ff":"Natrag na običnu strukturnu oznaku","res-forge-badge-opened.bac2685fbc":"Jedan korak promijenjen","res-forge-badge-opened.aed3b8c6a7":"Provjereno","res-forge-badge-opened.bf2bc5e115":"Isti znak nakon što je jedan korak promijenjen","res-forge-badge-opened.d62d8e0dde":"Uklonite bilo koji od ovih pet i to je drugačija izjava.","res-forge-badge-opened.eb38f1807a":"Znak i pet dijelova koje potvrđuje","res-forge-badge-opened.98987f9e01":"vrati rezultat","res-forge-badge-opened.613ac981db":"zaokruži ga na drugi način","res-forge-badge-opened.25f1a0d208":"očitaj vrijednost","res-forge-badge-opened.16b22f5e52":"Ne govori ništa o decimalnoj aritmetici.","res-forge-badge-opened.349be220c7":"Formalan rezultat i zasebna provjera istog.","res-forge-badge-opened.17b29d4546":"Samo cijeli brojevi i ništa izvan programa.","res-forge-badge-opened.7d77d99854":"Vrijedi za svaki cijeli broj u deklariranom rasponu.","res-forge-badge-opened.7112a3df4e":"Ovaj točan program, korak po korak.","res-forge-boundary-instrument.e29c5de6a0":"Jedan redak je dijeljen. Svaka druga odgovornost nalazi se točno na jednoj strani granice.","res-forge-boundary-instrument.c6dda4f283":"u vlasništvu","res-forge-boundary-instrument.d18aac96b9":"dijeljeno","res-forge-boundary-instrument.1ac443dbd4":"nije u vlasništvu","res-forge-business-glyph.161d1b9d9a":"Jedna specifikacija","res-forge-business-glyph.ab98f5b857":"Fiksno","res-forge-business-glyph.82b6d04b0e":"Zahtjev koji se ne mijenja","res-forge-business-glyph.b5bf8067cf":"Kandidati","res-forge-business-glyph.7e1d88fa7c":"vektor cilja","res-forge-business-glyph.45d74a7136":"dominiran","res-forge-business-glyph.239aff5852":"na granici","res-forge-business-glyph.f476109f39":"nejasno","res-forge-business-glyph.473161067f":"Politika odabira","res-forge-business-glyph.7eff74a5a8":"zabilježeno, ne skriveno","res-forge-business-glyph.c3b9a01442":"latencija","res-forge-business-glyph.b727a735e7":"kretanje","res-forge-business-glyph.1a7d89d441":"usklađenost s ciljem","res-forge-business-glyph.ef64363d23":"dokaz","res-forge-business-glyph.efe124888c":"imenovano jamstvo","res-forge-business-glyph.b086634a92":"vidljivi kompromisi","res-forge-business-glyph.ca2bc19088":"Kera izvršava","res-forge-business-glyph.f735a5ba22":"Istraživački program, ne softverska ponuda","res-forge-candidate-fan.b6871fa0fc":"Siluete su strukturne, ne izvor. Duljine vrpci relativne su pozicije na jednoj granici.","res-forge-candidate-fan.8641796596":"Kandidat E dominira kandidat D na aktivnom skupu ciljeva","res-forge-candidate-fan.d769ded7e8":"Kandidat","res-forge-candidate-fan.45d74a7136":"dominira","res-forge-candidate-fan.100ec4462d":"dokaz","res-forge-candidate-fan.1a7d89d441":"ciljna usklađenost","res-forge-candidate-fan.b727a735e7":"kretanje","res-forge-candidate-fan.714eea0f4c":"vrijeme","res-forge-candidate-fan.73ea3f356f":"Dominiran","res-forge-candidate-fan.82f8a46f55":"ugniježđeno stablo","res-forge-candidate-fan.416bfd329b":"Na granici","res-forge-candidate-fan.00c93cd155":"dvostruka traka","res-forge-candidate-fan.a70e321a36":"kompaktni blok","res-forge-candidate-fan.f259a41862":"široki lepezasti raspored","res-forge-candidate-fan.8503665914":"Prvo pronađeno","res-forge-candidate-fan.e2a3a58a40":"jedan dugi lanac","res-forge-choice-board.2f98d2f5be":"Uravnoteženo je također preferencija i bilježi se kao takva.","res-forge-choice-board.ce025222b1":"Svaka od ove četiri opcije je točna, pa je ovo preferencija, a ne rangiranje.","res-forge-choice-board.48e09e45c5":"Točno","res-forge-choice-board.13f66243ef":"Preferiraj","res-forge-choice-board.55559438c9":"B najmanje odustaje po bilo kojoj pojedinačnoj mjeri.","res-forge-choice-board.03342dbb85":"Uravnoteženo","res-forge-choice-board.3cd298fe82":"D ima najkraći put provjere.","res-forge-choice-board.baf123fc17":"Najjasnije","res-forge-choice-board.58adc98abc":"C radi na najširem skupu podržanih strojeva.","res-forge-choice-board.b2df292ee2":"Najšire","res-forge-choice-board.7987c4ffa8":"B prenosi najmanje podataka, ali mu treba više vremena da završi.","res-forge-choice-board.4e76f5796f":"Najmršavije","res-forge-choice-board.cda4a6b217":"A završava najbrže i drži najviše podataka dok radi.","res-forge-choice-board.4cb3bb0fc4":"Najbrže","res-forge-choice-board.ed798211fb":"D odustaje od jedne ponovne obrade kako bi ostao jednostavan za provjeru.","res-forge-choice-board.2a318223e9":"Program D","res-forge-choice-board.69a71f0df6":"C prenosi više podataka da bi došao do cilja.","res-forge-choice-board.d7782ce200":"Program C","res-forge-choice-board.018761680d":"B treba više vremena da završi.","res-forge-choice-board.d2307ff43a":"Program B","res-forge-choice-board.4c06d2baf8":"A drži najviše podataka dok radi.","res-forge-choice-board.2be70eef66":"Program A","res-forge-choice-board.97876b8380":"Provjera","res-forge-choice-board.2940ff1e5f":"Strojevi","res-forge-choice-board.89c8a2851d":"Memorija","res-forge-choice-board.6c82e6dd86":"Vrijeme","res-forge-choice-instrument.e786244260":"Trošak koji prihvaća","res-forge-choice-instrument.fd9a9f965e":"Relativna modelirana latencija","res-forge-choice-instrument.24d3e4fdd9":"Snaga","res-forge-choice-instrument.6853c98a6f":"Član","res-forge-conflict-board.0e565b0b3e":"Na ovoj ploči nijedna traka ne završava generiranim rezervnim kodom. Svaka završava imenovanim rezultatom i osobom koja je vlasnik sljedećeg poteza.","res-forge-conflict-board.bb54db510a":"Prihvati","res-forge-conflict-board.09c3f0d154":"nije obuhvaćeno ugovorom o provjeri","res-forge-conflict-board.75e6b42fc5":"Izvan opsega","res-forge-conflict-board.281dd83602":"Proširi","res-forge-conflict-board.8a97b9af81":"teorijsko i proračunsko ograničenje","res-forge-conflict-board.bc7819b34f":"Nepoznato","res-forge-conflict-board.3e0fb17cab":"Pojasni","res-forge-conflict-board.7835f9c578":"odbija seriju","res-forge-conflict-board.9522606498":"vraća neutralni zbroj","res-forge-conflict-board.e9a46a96e9":"Dvosmisleno","res-forge-conflict-board.d36f29cacf":"Uskladi","res-forge-conflict-board.9a064eb243":"ne postoji kandidat u jeziku L","res-forge-conflict-board.5f20d0f3ac":"Nezadovoljivo","res-forge-conflict-board.151864867d":"Šest klauzula jednog zahtjeva","res-forge-conflict-board.426475873e":"rezultat stiže unutar fiksnog vremenskog prozora","res-forge-conflict-board.6933c35154":"ispravljajući unos može smanjiti zbroj","res-forge-conflict-board.4bf7985a78":"rezultat je točan do posljednje jedinice","res-forge-conflict-board.55dca06fb3":"prazna serija se prihvaća","res-forge-conflict-board.5b3e0d86e8":"zbroj nikada ne opada kako se unosi dodaju","res-forge-conflict-board.33f78f4681":"svaki iznos ostaje unutar deklariranog raspona","res-forge-consumer-glyph.9154742cfc":"Posao, u jednoj rečenici","res-forge-consumer-glyph.b7d5d68aa8":"Držite svako čitanje unutar sigurnog raspona","res-forge-consumer-glyph.5a29585e3f":"Pokušaji","res-forge-consumer-glyph.6bd1f59b85":"dva padnu na slučaju","res-forge-consumer-glyph.059c3755e1":"dva stignu","res-forge-consumer-glyph.d3f5d23e46":"jedan nosi pečat","res-forge-consumer-glyph.6bb9173137":"pretražuje","res-forge-consumer-glyph.50814a267d":"mnoge moguće programe","res-forge-consumer-glyph.64c675f85c":"odbacuje","res-forge-consumer-glyph.7403925825":"sve što padne na jednom slučaju","res-forge-consumer-glyph.c1a77ef9ed":"govori koliko je snažno provjerio","res-forge-consumer-glyph.691b10181f":"i gdje provjera prestaje","res-forge-consumer-glyph.100ec4462d":"dokaz","res-forge-consumer-glyph.88acf54a65":"ponekad nijedan program","res-forge-consumer-glyph.72dc433046":"Odgovor može biti nijedan program","res-forge-cost-vector.140b63310c":"Kandidat C","res-forge-cost-vector.2437a7ecbd":"Dokazi po cilju","res-forge-cost-vector.25b7302067":"Usporedba koja se prenosi na drugi eksperimentalni paket.","res-forge-cost-vector.26d24d71f0":"Promet memorije","res-forge-cost-vector.3e39972526":"Latency","res-forge-cost-vector.405bdec664":"Ne postoji mjerenje","res-forge-cost-vector.4b1dda27e1":"Što vektor nije","res-forge-cost-vector.555486354d":"Veličina koda","res-forge-cost-vector.5d0b1f6647":"Dvije se linije križaju, zato nijedan kandidat sam po sebi nije odgovor.","res-forge-cost-vector.66374d941d":"Izmjereno na hardveru","res-forge-cost-vector.89a596e251":"Prazna ćelija je tvrdnja: složenost dokaza je modelirana, a nikad izmjerena.","res-forge-cost-vector.8a4da1dcc8":"Mjesto gdje izlaz modela može zamijeniti mjerenje.","res-forge-cost-vector.ab8dd4df08":"Skuplje","res-forge-cost-vector.ac46a8c74c":"Složenost dokaza","res-forge-cost-vector.ad638eff4a":"Četiri cilja, dva kandidata, jedan eksperiment","res-forge-cost-vector.b0b01215a0":"Kandidat D","res-forge-cost-vector.bf8197e03c":"Relativni položaji na jednom eksperimentu, više znači skuplje.","res-forge-cost-vector.cd05967fea":"Modelirano prije bilo kojeg pokretanja","res-forge-cost-vector.ec8e6defbf":"Jedinstveni rezultat prema kojem se dva kandidata mogu rangirati.","res-forge-cost-vector.f4cfc474fa":"Jeftinije","res-forge-counterexample-loop.aca21ce064":"stvara novi identitet specifikacije","res-forge-counterexample-loop.fb8953469c":"DODAJ PREDUVJET","res-forge-counterexample-loop.7e5559029b":"izvođenje se nastavlja pod istim identitetom","res-forge-counterexample-loop.89ad46cbd8":"DODAJ SLUČAJ","res-forge-counterexample-loop.9001aab10f":"DVA LEGITIMNA ODGOVORA NA NEUSPJEH","res-forge-counterexample-loop.8888c622ac":"što je verifikatoru zatraženo","res-forge-counterexample-loop.ec6e54733d":"stupac nikada ne gubi redak","res-forge-counterexample-loop.2a117d0937":"DOKAZ KOJI SLJEDEĆI KANDIDAT MORA ZADOVOLJITI","res-forge-counterexample-loop.da7195483c":"Odaberite iteraciju petlje pročišćavanja","res-forge-counterexample-loop.a0c4d76862":"Treći kandidat zadovoljava svaku zabilježenu obvezu. Verifikator ne pronalazi ulaz koji krši ograničenja unutar podržane domene i vraća dokaz s popisanim pretpostavkama.","res-forge-counterexample-loop.f4800df8d1":"izlaz","res-forge-counterexample-loop.2c3cbd53a7":"množenje","res-forge-counterexample-loop.d052634571":"proširi","res-forge-counterexample-loop.c7e42d43b0":"zaštita","res-forge-counterexample-loop.11f6ad8ec5":"x","res-forge-counterexample-loop.fcdd12a167":"FORMALNO VERIFICIRANO, pretpostavke navedene","res-forge-counterexample-loop.02b8a8db00":"za sve x u i32, plus oba zabilježena slučaja","res-forge-counterexample-loop.30f7f19326":"Drugi kandidat mora zadovoljiti primjere i slučaj prekoračenja zajedno. Proširuje međuvrijednost prije množenja, a verifikator vraća drugi slučaj koji specifikacija nikada nije fiksirala: prazan ulaz.","res-forge-counterexample-loop.02dc309df7":"OSPORENO, pronađen protuprimjer","res-forge-counterexample-loop.9ab3ad07a9":"za sve x u i32, plus zabilježeni slučaj","res-forge-counterexample-loop.47d7508d9a":"Prvi kandidat zadovoljava tri navedena primjera. Verifikator pretražuje cijeli i32 i vraća jedan konkretan ulaz gdje skalirani umnožak izlazi iz deklariranog raspona.","res-forge-counterexample-loop.ad5fa3b2c6":"za sve x u i32","res-forge-counterexample-loop.d1c8b37b24":"x = prazan ulaz","res-forge-counterexample-loop.b412089d87":"x = 2147483647, prekoračenje","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":"ništa na ovom listu ne sažima četiri cilja u jedan broj","res-forge-decision-record.d327f7b3ba":"Nema jedinstvene ocjene ranga","res-forge-decision-record.6a7eee59c0":"Nije odabrano i zašto","res-forge-decision-record.3e7c118949":"Odabrao/la","res-forge-decision-record.1918daaba9":"Odabrani član","res-forge-decision-record.974ff8bb6e":"Skup ciljeva","res-forge-decision-record.e38c2194b4":"formalno verificirano","res-forge-decision-record.ea2dfcc9cc":"Prag jamstva","res-forge-decision-record.1ccf5d25df":"Specifikacija","res-forge-decision-record.5a445661ea":"dominira","res-forge-decision-record.f950982dd0":"Identical under every policy","res-forge-decision-record.e6f8a915dc":"Granica","res-forge-decision-record.473161067f":"Politika odabira","res-forge-decision-record.1a7d89d441":"podudarnost s ciljem","res-forge-decision-record.b3c5533e86":"kretanje memorije","res-forge-decision-record.544852fd7a":"najjednostavniji dokaz","res-forge-decision-record.6bf0b2c0d8":"duži put revizije, umjesto toga postiže širu podudarnost s ciljem","res-forge-decision-record.fdd18306eb":"Član C","res-forge-decision-record.ee96b43256":"duži put revizije, umjesto toga postiže manje kretanje","res-forge-decision-record.1e19ce513c":"Član B","res-forge-decision-record.7ad441b0c0":"duži put revizije od odabranog člana na aktivnom skupu","res-forge-decision-record.d04e27e317":"Član A","res-forge-decision-record.fec4a6c489":"Regulirani program čita istu granicu duž osi dokaza i uzima člana D.","res-forge-decision-record.32cba0b9da":"najizravniji put revizije","res-forge-decision-record.f88efb9bc7":"Član D","res-forge-decision-record.47942077ae":"Najjednostavniji dokaz","res-forge-decision-record.e9647ad29d":"radi na manje podržanih ciljeva, razmjenjujući širinu za put revizije","res-forge-decision-record.baede38a31":"radi na manje podržanih ciljeva, razmjenjujući širinu za kretanje","res-forge-decision-record.7b357b2d93":"radi na manje podržanih ciljeva od odabranog člana","res-forge-decision-record.2a6987fbaf":"Portfelj raspoređen na miješani hardver čita istu granicu duž osi cilja i uzima člana C.","res-forge-decision-record.462746df39":"najšira podudarnost s ciljem","res-forge-decision-record.ad59e3b102":"Najširi","res-forge-decision-record.6235c63244":"premješta više podataka i zadržava kraću derivaciju","res-forge-decision-record.709e1b623c":"premješta više podataka, raspoređenih na više podržanih ciljeva","res-forge-decision-record.7efb4f14c6":"premješta više podataka od odabranog člana na aktivnom skupu","res-forge-decision-record.26929cd71c":"Implementacija ograničena prometom memorije čita istu granicu duž osi kretanja i uzima člana B.","res-forge-decision-record.993033f0b5":"najmanje kretanje memorije","res-forge-decision-record.4e76f5796f":"Najvitkiji","res-forge-decision-record.344f41f998":"veća modelirana latencija, a njegov kraći put revizije nije os","res-forge-decision-record.ed3d6e1e77":"veća modelirana latencija, a njegova širina ovdje nije plaćena","res-forge-decision-record.0be3560065":"veća modelirana latencija od odabranog člana na aktivnom skupu","res-forge-decision-record.b8b9888522":"Inženjerski tim s jednim ciljnim strojem čita granicu duž osi latencije i uzima člana A.","res-forge-decision-record.ffefb7fa98":"najmanja modelirana latencija","res-forge-decision-record.4cb3bb0fc4":"Najbrži","res-forge-equivalence-space.638d0226a9":"samo relativni položaji, bez izmjerenih vrijednosti","res-forge-equivalence-space.b727a735e7":"kretanje","res-forge-equivalence-space.e8c39c4d7e":"operacije","res-forge-equivalence-space.4619486033":"izdvojeni oblik","res-forge-equivalence-space.f42512d469":"Cilj izdvajanja","res-forge-equivalence-space.92149cf8ce":"SEED","res-forge-equivalence-space.217cb1c2eb":"Jedan izraz proširen u četiri klase ekvivalentnih oblika, s putem do odabranog cilja\n                  izdvajanja osvijetljenim i jednom odbijenom granom nacrtanom, ali nikad osvijetljenom","res-forge-equivalence-space.ccce87f620":"Izraz proširen u mrežu ekvivalentnih oblika, s uvjetima na granama","res-forge-equivalence-space.27fa456ce7":"Izdvajanje za prenosivost umjesto toga preuzima smanjenje snage i promjenu rasporeda. Izvodi više operacija od algebarskog oblika i doseže najširi skup podržanih ciljeva.","res-forge-equivalence-space.27d7e452b1":"(a << 1) + a, pakirano","res-forge-equivalence-space.feba5b9c56":"Izdvajanje za kretanje nosi isti algebarski korak dalje u klasu spajanja. Izvodi manje operacija od oblika rasporeda i ima najmanje kretanje memorije od triju.","res-forge-equivalence-space.37226e169c":"spoji(a + a + a)","res-forge-equivalence-space.a2f4cd4d38":"Izdvajanje za latenciju preuzima algebarski oblik i tu se zaustavlja. Izvodi najmanje operacija i premješta više podataka od spojenog oblika, te ima pravo na uvjet širine koji je dokazan.","res-forge-equivalence-space.4b10d3e274":"3 * a","res-forge-equivalence-space.dfb1d5b6c2":"PRENOSIVOST","res-forge-equivalence-space.37f756c7d0":"KRETANJE","res-forge-equivalence-space.49d6c10ece":"LATENCIJA","res-forge-equivalence-space.8e43c13f74":"f32 ponovno grupiranje odbijeno","res-forge-equivalence-space.13d2c4a154":"i32 širina dokazana","res-forge-equivalence-space.dcc4e6c574":"KLASA RASPOREDA","res-forge-equivalence-space.69688a961b":"KLASA SPAJANJA","res-forge-equivalence-space.16cbdc05fc":"KLASA SNAGE","res-forge-equivalence-space.dbb0f90765":"ALGEBARSKA KLASA","res-forge-equivalence-space.bc109fb076":"prenosiv","res-forge-equivalence-space.7aca22de0b":"pakiran","res-forge-equivalence-space.1f08a3216a":"spojen","res-forge-equivalence-space.b0c659fe95":"strujan","res-forge-equivalence-space.28e1e451f0":"f32 pregrupiranje","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":"Promocija zahtijeva dokaze, a ne kontrolu. Ova mogućnost nije dostupna ni u jednom\n              stanju na ovoj ploči, što je pravilo koje se povlači.","res-forge-evidence-cards.61c57736e7":"Promoviraj","res-forge-evidence-cards.7d903d3344":"Pravilo promocije","res-forge-evidence-cards.8fc2a131ae":"jedan čvor je promijenjen, a oznaka se vraća u dobro oblikovano stanje","res-forge-evidence-cards.4acf3ac41d":"Dosjei kandidata","res-forge-evidence-cards.65748fb5d3":"plutajuća regija istog grafa, koju ovo kodiranje ne predstavlja","res-forge-evidence-cards.d274f5b4e3":"Što nije utvrđeno","res-forge-evidence-cards.8f4f743d7f":"točna semantika cijelih brojeva i regija koju je paket proglasio čistom","res-forge-evidence-cards.7d37b7550c":"Pod kojim pretpostavkama","res-forge-evidence-cards.2bae06de12":"svaki ulaz koji formalna teorija može izraziti","res-forge-evidence-cards.e700afa7f9":"Nad kojom domenom","res-forge-evidence-cards.8be740fd8c":"kodirana relacija preko cijele podržane domene","res-forge-evidence-cards.b76e542d96":"Što je provjereno","res-forge-evidence-cards.906c590060":"podržana univerzalna relacija dokazana je pod navedenim pretpostavkama","res-forge-evidence-cards.ea66d3cd71":"Formalno verificirano","res-forge-evidence-cards.b7330133c1":"Kandidat R","res-forge-evidence-cards.8e950fc545":"bilo koji ulaz izvan isporučenog skupa, uključujući kvantificirani uvjet","res-forge-evidence-cards.72d0fc35c6":"referentno ponašanje isporučeno s paketom, unutar vlastite domene","res-forge-evidence-cards.2c8e59076b":"isporučeni ulazi, jedan po jedan","res-forge-evidence-cards.961d36c1e2":"konkretni slučajevi zapisani u specifikaciji","res-forge-evidence-cards.593aeb47dc":"navedeni konkretni slučajevi prošli su i ništa izvan njih nije tvrđeno","res-forge-evidence-cards.919003799d":"Testirano","res-forge-evidence-cards.24f43cdd11":"Kandidat Q","res-forge-evidence-cards.8af32eb207":"ponašanje na ciljnom profilu koji izvršna veza ne imenuje","res-forge-evidence-cards.d7201bf2e3":"numerička obitelj i učinci koje je paket dopustio, oboje pričvršćeno","res-forge-evidence-cards.dfaa1686c4":"navedeni raspon ulaza na jednom podržanom ciljnom profilu","res-forge-evidence-cards.707e2a56c9":"dokazana relacija, zatim plan i artefakt koji ju je prenio u izvršenje","res-forge-evidence-cards.f092d6fe39":"graf, plan, artefakt i identitet rezultata ostaju povezani","res-forge-evidence-cards.32d888fecc":"Izvršenje povezano","res-forge-evidence-cards.0483882b1c":"Kandidat P","res-forge-experiment-packet.7a6aad1d4c":"novi eksperiment, zaseban zapis","res-forge-experiment-packet.aad6b5ae20":"IDENTITET PAKETA","res-forge-experiment-packet.bbcc172a1e":"AKO SE BILO KOJE POLJE PROMIJENI","res-forge-experiment-packet.f5ca7850da":"zapečaćeno na početku izvođenja","res-forge-experiment-packet.1f7febf95f":"PROGLAŠENA POLITIKA","res-forge-experiment-packet.39b2c01e18":"JEZIK ZATVOREN","res-forge-experiment-packet.c2bb6fa0c5":"SPECIFIKACIJA NEPROMJENJIVA","res-forge-experiment-packet.4484cb6fa9":"prijavi nepoznato","res-forge-experiment-packet.feaf4dd4e6":"ograničeno: veličina <= 6","res-forge-experiment-packet.5aa50aebf7":"formalno gdje je podržano","res-forge-experiment-packet.31be469709":"POLITIKA","res-forge-experiment-packet.e1e3e98714":"veličina koda","res-forge-experiment-packet.b3c5533e86":"kretanje memorije","res-forge-experiment-packet.e64e22b150":"CILJEVI","res-forge-experiment-packet.48aef70526":"ukupni redoslijed fiksiran","res-forge-experiment-packet.294793bfad":"dvojni komplement, 32 bita","res-forge-experiment-packet.1e9edfb9ee":"SEMANTIKA","res-forge-experiment-packet.9c5c96b457":"bez vanjskog učinka","res-forge-experiment-packet.d835dab5b4":"točan cijeli broj","res-forge-experiment-packet.2a3ffd9ebb":"JEZIK","res-forge-experiment-packet.486c4f6f95":"1 skica, 2 rupe","res-forge-experiment-packet.9254dc6ec8":"1 univerzalna relacija","res-forge-experiment-packet.dbeac903da":"4 primjera","res-forge-experiment-packet.32082e06e3":"SPECIFIKACIJA","res-forge-forms-instrument.b050566d50":"uopće ne","res-forge-forms-instrument.d680340c0b":"djelomično","res-forge-forms-instrument.ad22e7e15b":"rješava to","res-forge-forms-instrument.7cb8793606":"ne rješava to","res-forge-forms-instrument.ed5a4b874a":"djelomično rješava to","res-forge-four-silences.a2b701e0b3":"Ne proizvodi se program, a razlog je naveden.","res-forge-four-silences.5faa59d4bc":"Rezultat","res-forge-four-silences.5647cada0f":"Što bi to promijenilo","res-forge-four-silences.7661e6591f":"Što se dogodilo","res-forge-four-silences.1189b54fc7":"Što je traženo","res-forge-four-silences.c648f0b37b":"Četiri razloga zašto je odgovor: nema programa","res-forge-four-silences.2637ce69f5":"PROGRAM","res-forge-four-silences.f61fa98a3b":"MODEL","res-forge-four-silences.cbbef8ce7e":"IZVAN","res-forge-four-silences.ce75fc2aec":"ZADANO OGRANIČENJE","res-forge-four-silences.3a339a1749":"PRAVILO 2","res-forge-four-silences.35a7d11e05":"PRAVILO 1","res-forge-four-silences.8cc9c3c016":"Natrag na ono što tvrdnja pokriva","res-forge-four-silences.971c87e299":"Uvedite uslugu u model ili suzite tvrdnju.","res-forge-four-silences.88868a0c58":"Dio ponašanja nalazi se izvan granice koju provjera može opisati.","res-forge-four-silences.181032c74d":"pitajte vanjsku uslugu za ograničenje","res-forge-four-silences.407dfebcf1":"Natrag s više prostora","res-forge-four-silences.97cd9b5795":"Dulje izvođenje ili drugačija metoda.","res-forge-four-silences.33af89d7fc":"Pretraga je dosegla zadano ograničenje i zaustavila se prije nego što je riješila pitanje.","res-forge-four-silences.086f7cbb23":"jedno pravilo o svakom podržanom unosu","res-forge-four-silences.74864a1ff8":"Natrag za jednu odluku","res-forge-four-silences.7c78667c01":"Navedite još jedan primjer.","res-forge-four-silences.fd58916c0c":"Dva različita ponašanja slažu se u sva tri primjera, a razlikuju se u četvrtom unosu.","res-forge-four-silences.96dee44862":"3 daje 9","res-forge-four-silences.9179befc0c":"2 daje 4","res-forge-four-silences.3d47eae588":"1 daje 1","res-forge-four-silences.35f6e4ab6c":"Natrag onome tko je napisao pravila","res-forge-four-silences.5c332290c5":"Olabavite jedno od dva pravila.","res-forge-four-silences.ece7f203f5":"Dva se pravila sukobljavaju. Negativan unos ne može istovremeno zadovoljiti oba.","res-forge-four-silences.b25d65ea16":"vrati unos nepromijenjen","res-forge-four-silences.a4d3a2c877":"uvijek vrati pozitivan broj","res-forge-four-silences.20cb7eef2c":"Izvan modela","res-forge-four-silences.c439038abe":"Nije pokriveno","res-forge-four-silences.04ae6467a0":"Nema zaključka","res-forge-four-silences.280c5e7fc6":"Dva tumačenja","res-forge-four-silences.3fe459f958":"Ništa ne odgovara","res-forge-graph-asset.49281c01cf":"povratak jamstva u dobro oblikovano","res-forge-graph-asset.670f6bdd9a":"novi identitet kandidata","res-forge-graph-asset.197e419ad3":"NOVI IDENTITET GRAFA","res-forge-graph-asset.33dd31d4b3":"PROMIJENI OZNAČENI ČVOR","res-forge-graph-asset.d7b94d76cf":"JEDAN ČVOR, OZNAČEN U SVA TRI PRIKAZA","res-forge-graph-asset.990742f8b4":"međuspremnici","res-forge-graph-asset.1bdbf6a26d":"stezanje, pohrana izlaza","res-forge-graph-asset.e9e90fc64f":"skaliranje, množenje, zbrajanje","res-forge-graph-asset.851967b4a3":"učitaj x, k, lo","res-forge-graph-asset.46599c6b1e":"nazivi operatora odgovaraju nazivima čvorova","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":"ISTI OBJEKT","res-forge-graph-asset.31e8d812fa":"PODATKOVNI TOK","res-forge-graph-asset.891bbd450e":"IZRAZ","res-forge-graph-asset.e7bd56e1ec":"GRAPH","res-forge-graph-asset.30a5d0d91f":"Isti semantički graf prikazan kao graf čvorova, kao izraz i kao podatkovni tok,\n              s jednim čvorom označenim u sva tri prikaza i povezanim jednim pravilom","res-forge-graph-asset.0be82d1c87":"Jedan semantički graf nacrtan na tri načina, kao graf, kao izraz i kao podatkovni tok, s označenim čvorom stezanja u sva tri","res-forge-graph-asset.da528b9287":"FORMALNO PROVJERENO","res-forge-graph-asset.894f6d1562":"IDENTITET GRAFA","res-forge-graph-asset.33daecb09d":"out : i32","res-forge-graph-asset.a4ab4f2116":"stezanje","res-forge-graph-asset.58d1bbce29":"zbrajanje","res-forge-graph-asset.2c3cbd53a7":"množenje","res-forge-graph-asset.60020d1b19":"skaliranje","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":"Nema s čime usporediti","res-forge-intent-cards.f2b3a1f895":"Napisano izravno iz rečenice","res-forge-intent-cards.8af3e09e73":"Ista rečenica odgovorena izravno","res-forge-intent-cards.ee3c9325a5":"One mogu propasti, u tome je poanta","res-forge-intent-cards.a014f9c662":"Oblik je zadržan, praznine se pretražuju.","res-forge-intent-cards.d40fae93b9":"Dvije praznine","res-forge-intent-cards.32fd056d3d":"Skica","res-forge-intent-cards.5b6d56b37e":"Provjereno na svakom čitanju koje pravilo može imenovati.","res-forge-intent-cards.43a980aaf8":"čitanja, odgovor ostaje između 0 i 100 i nikada se ne pomiče za više od jednog\n                  koraka.","res-forge-intent-cards.d8784ae2ea":"Za svaki","res-forge-intent-cards.57f6dcedb1":"Jedan redak","res-forge-intent-cards.78e1790e29":"Pravilo","res-forge-intent-cards.85ee9e64bf":"Provjereno na čitanjima koja ste naveli.","res-forge-intent-cards.ef73fdd1c8":"Četiri slučaja","res-forge-intent-cards.eb01bf04c9":"Primjeri","res-forge-intent-cards.77d979bc52":"Tri oblika koje rečenica može poprimiti","res-forge-intent-cards.b784f64740":"Razdvaja se u tri oblika, a svaki se može provjeriti.","res-forge-intent-cards.6802fdd79e":"Ono što je traženo","res-forge-intent-cards.650c85708e":"nedostajući korak","res-forge-intent-cards.d2fb792999":"ograničite koliko daleko može skočiti s","res-forge-intent-cards.d2fde1a28f":"držite ga unutar raspona s","res-forge-intent-cards.25f1a0d208":"uzmite čitanje","res-forge-intent-cards.94407bb3ee":"“Držite svako čitanje unutar sigurnog raspona i nikada ne dopustite da skoči.”","res-forge-intent-modes-instrument.fd197e80cc":"Obrazac se odabire, ne spaja. Zapis zadržava koji je nosio tvrdnju.","res-forge-intent-modes-instrument.a6c44a9033":"Obuhvaća","res-forge-intent-modes-instrument.abd6628786":"Tri načina da se navede što program treba raditi","res-forge-intent-routes.5170330dcc":"Oba traka ostavljaju isti zahtjev. Samo je jedan od njih još uvijek otvoren na dnu crteža.","res-forge-intent-routes.544852fd7a":"najjednostavniji dokaz","res-forge-intent-routes.3e7c118949":"Odabrao/la","res-forge-intent-routes.9a976fc228":"Odabrano","res-forge-intent-routes.239aff5852":"na granici","res-forge-intent-routes.be601df25e":"Istraživanje","res-forge-intent-routes.f577430e54":"novi projekt","res-forge-intent-routes.f6ef754e2d":"Točka zaključavanja","res-forge-intent-routes.7b2d03931b":"Konvencionalno","res-forge-intent-routes.f18b41890d":"ponašanje, ograničenja i rizici, zapisani jednom","res-forge-intent-routes.e9c366b4f3":"Zahtjev","res-forge-intent-routes.eb9ceb1149":"kontraprimjer","res-forge-intent-routes.462746df39":"najširi ciljani doseg","res-forge-intent-routes.120e0af75a":"najmanje kretanje","res-forge-intent-routes.cd3e7bf034":"optimizacijski projekt","res-forge-intent-routes.92be6abbc0":"jedna baza koda","res-forge-intent-routes.9732c542fc":"implementacija napisana","res-forge-intent-routes.27df60a6a2":"odabrana arhitektura","res-forge-kera-boundary.1ccf5d25df":"Specifikacija","res-forge-kera-boundary.29a184b65c":"graf","res-forge-kera-boundary.2fa9505626":"artefakt","res-forge-kera-boundary.37a5301a88":"rezultat","res-forge-kera-boundary.3bd7b119dd":"svaki nedominirani član","res-forge-kera-boundary.4aca16af35":"Rezultat provjere","res-forge-kera-boundary.61792020d0":"Ciljna fronta","res-forge-kera-boundary.646e287869":"dokaz i njegove pretpostavke","res-forge-kera-boundary.6f8f7df48d":"FORGE","res-forge-kera-boundary.700bb94783":"redukcije","res-forge-kera-boundary.7bc555991d":"fiksno","res-forge-kera-boundary.7c1df38fca":"PROVJERENI SEMANTIČKI GRAF","res-forge-kera-boundary.807a40a32f":"pokazuje natrag na graf","res-forge-kera-boundary.8b36233e89":"provjereni semantički graf plus obveze","res-forge-kera-boundary.8cd3def21e":"nijedan ciljni emiter ne živi na ovoj strani","res-forge-kera-boundary.970c175475":"ciljni profil","res-forge-kera-boundary.9c31467d05":"Zadržano na ovoj strani vrata","res-forge-kera-boundary.a30f1285d5":"VEZA IZVRŠAVANJA","res-forge-kera-boundary.b727a735e7":"kretanje","res-forge-kera-boundary.bed97175b0":"plan","res-forge-kera-boundary.c9ff38c8bb":"prikvačeni istraživački problem","res-forge-kera-boundary.cce55e4309":"red","res-forge-kera-boundary.d4f766efab":"Tri držanja, jedan objekt prelazi","res-forge-kera-boundary.efe0c41bcb":"KERA","res-forge-loop-instrument.1e76c7e5b8":"Jedna kontraprimjer petlja, četiri faze","res-forge-pareto-frontier.e2ee360818":"DODAJ CILJ ENERGIJE","res-forge-pareto-frontier.b0e56d1efe":"krivulja je fiksna dok se mijenja samo politika","res-forge-pareto-frontier.787ca603fd":"fronta pripada skupu ciljeva","res-forge-pareto-frontier.d0eeccbe8d":"odabrano prema","res-forge-pareto-frontier.173d916846":"energija","res-forge-pareto-frontier.1a7d89d441":"prilagodba cilju","res-forge-pareto-frontier.b727a735e7":"kretanje","res-forge-pareto-frontier.c3b9a01442":"latencija","res-forge-pareto-frontier.3404b13cac":"skup ciljeva","res-forge-pareto-frontier.e38c2194b4":"formalno verificirano","res-forge-pareto-frontier.bf984aca27":"prag jamstva","res-forge-pareto-frontier.03d6a194f4":"specifikacija","res-forge-pareto-frontier.33ca7f61b6":"POVRATI NA ENERGIJU","res-forge-pareto-frontier.0acbd1c769":"KRETANJE MEMORIJE","res-forge-pareto-frontier.4b93d5e7ea":"LATENCIJA, VIŠE UDESNO","res-forge-pareto-frontier.43bf415954":"Graf kompromisa latencipe u odnosu na kretanje memorije, s prilagodbom cilju prikazanom kao veličina\n                oznake, četiri nedominirana člana povezana krivuljom fronte i sedam dominiranih\n                kandidata, svaki povezan s članom koji ga dominira","res-forge-pareto-frontier.f2b023979d":"xMinYMid meet","res-forge-pareto-frontier.473161067f":"Politika odabira","res-forge-pareto-frontier.7c1e368123":"Politika uravnoteženog koljena također odabire kandidata C, ali drugim argumentom: to je točka u kojoj odustajanje od veće latencipe prestaje donositi veće kretanje. Dvije politike koje biraju istog člana činjenica su o ovoj fronti, a zapis i dalje navodi koja je politika odabrala.","res-forge-pareto-frontier.b7aedb3b70":"Najjednostavnija politika dokaza odabire kandidata D. Odriče se jednog agresivnog prepisivanja, pa je njezina obveza verifikacije najmanja od četiriju.","res-forge-pareto-frontier.5614e2e73d":"Politika najmanjeg kretanja odabire kandidata B. Ona ima najduži kritični put od četiriju, što je cijena premještanja najmanje količine podataka.","res-forge-pareto-frontier.14826696ec":"Najbrža politika odabire kandidata A. Ona drži najveći radni skup na fronti, a zapis to čuva uz odabir, umjesto da to skriva unutar rezultata.","res-forge-pareto-frontier.c65681bb2d":"prilagodba cilju: najšira","res-forge-pareto-frontier.b097d0ac54":"kretanje: srednje","res-forge-pareto-frontier.05da02c2f2":"latencija: srednja","res-forge-pareto-frontier.d0b64e1eec":"prilagodba cilju: srednja","res-forge-pareto-frontier.144e5e5e83":"kretanje: niže","res-forge-pareto-frontier.aa828b0585":"latencija: viša","res-forge-pareto-frontier.e3a088e260":"prilagodba cilju: uska","res-forge-pareto-frontier.6fc0d51b39":"kretanje: najniže","res-forge-pareto-frontier.1b565dbd5d":"latencija: najviša","res-forge-pareto-frontier.79c0f24c30":"kretanje: najviše","res-forge-pareto-frontier.83504b708a":"latencija: najniža","res-forge-pareto-frontier.37671e6ba6":"Uravnoteženo koljeno","res-forge-pareto-frontier.47942077ae":"Najjednostavniji dokaz","res-forge-pareto-frontier.8703111807":"Najširi cilj","res-forge-pareto-frontier.0b2147fd0a":"Najmanje kretanje","res-forge-pareto-frontier.4cb3bb0fc4":"Najbrže","res-forge-pareto-frontier.7e6396c2ce":"Politika najšireg cilja odabire kandidata C. Ona radi na najširem skupu podržanih ciljeva i nalazi se između dviju krajnosti na obje prikazane osi.","res-forge-programme-boundary.97af50dd3d":"Vrata prelaze tri objavljena prstena i zaustavljaju se na granici jezgre. Vanjska tri\n          mogu se pomno ispitati bez otvaranja najnutarnjeg.","res-forge-programme-boundary.9ba1f67469":"Istraživački program, ne softverska ponuda","res-forge-programme-boundary.f72e361ba7":"Kontrola objave","res-forge-programme-boundary.108e9b7f90":"držano kao istraživačka metoda","res-forge-programme-boundary.88306943fe":"Metoda","res-forge-programme-boundary.68836c550e":"Jezgra","res-forge-programme-boundary.175267da12":"usmjeravanje teorije","res-forge-programme-boundary.15e58bec8d":"raspodjela proračuna","res-forge-programme-boundary.b32f31d61d":"položaj granice","res-forge-programme-boundary.6f3c47977c":"ograničeno mjerenje","res-forge-programme-boundary.ff7fc62f3f":"stanje jamstva","res-forge-programme-boundary.500aadccf6":"odabrani kandidat","res-forge-programme-boundary.5faa59d4bc":"Rezultat","res-forge-programme-boundary.6840659e94":"postupanje s nepoznatim","res-forge-programme-boundary.3404b13cac":"postavljeni cilj","res-forge-programme-boundary.78a3386c55":"ograničenje resursa","res-forge-programme-boundary.90f54b8f1b":"dopušteni jezik","res-forge-programme-boundary.c445f7aab5":"korpus specifikacija","res-forge-programme-boundary.1ed77c3f7f":"Protokol","res-forge-programme-boundary.aba4559466":"navedeno prethodno stanje tehnike","res-forge-programme-boundary.0c447c79ec":"istraživačko pitanje","res-forge-programme-boundary.002ff59811":"Pitanje","res-forge-programme-instrument.a725020675":"Status","res-forge-programme-instrument.dc4e08a408":"Zahtjev","res-forge-proof-parts-instrument.ba3fef96ae":"Dokaz u pet dijelova","res-forge-provenance-chain.040c236a24":"četiri od devet čvorova, i među njima nijedan zapečaćeni korak","res-forge-provenance-chain.0ca6a997b6":"ŠTO REPLAY MORA REPRODUCIRATI","res-forge-provenance-chain.7c0a292070":"TOČKA BRENDA OZNAČAVA ČVOR KOJEG REPLAY TRAKA MORA DODIRNUTI","res-forge-provenance-chain.763ad25abd":"pečat r:1c62e08","res-forge-provenance-chain.da528b9287":"FORMALNO VERIFICIRANO","res-forge-provenance-chain.9106ca2738":"ODABRANO","res-forge-provenance-chain.416eb4fbb0":"granica","res-forge-provenance-chain.8e016346a6":"KLASA EKVIVALENCIJE","res-forge-provenance-chain.97d9eb838e":"cx 2","res-forge-provenance-chain.21fedfd21e":"kandidat 2","res-forge-provenance-chain.2ce3ff82d2":"izlaz: kandidat 2","res-forge-provenance-chain.656b15a358":"ulaz: kandidat 1 plus cx 1","res-forge-provenance-chain.a65edb573d":"ISTRAŽIVAČKI KORAK","res-forge-provenance-chain.b0b7ba4666":"PRIVATNO","res-forge-provenance-chain.6495ecf841":"cx 1","res-forge-provenance-chain.7312546346":"kandidat 1","res-forge-provenance-chain.32082e06e3":"SPECIFIKACIJA","res-forge-provenance-chain.4ee56d08c0":"Graf derivacije s lijeva na desno: specifikacija, dva kandidata, dva protuprimjera,\n              jedan zapečaćeni unutarnji korak, klasa ekvivalencije, granica i odabrani verificirani\n              rezultat","res-forge-provenance-chain.e259f512bc":"Graf derivacije od specifikacije do odabranog verificiranog kandidata, s jednim unutarnjim korakom zapečaćenim, ali povezanim","res-forge-provenance-chain.191f8b1087":"VEZIVANJE IZVRŠAVANJA","res-forge-provenance-chain.88be68d35d":"REZULTAT VERIFIKACIJE","res-forge-provenance-chain.bdd7fdaa13":"KANDIDAT 2","res-forge-provenance-chain.608c5b40ac":"SPECIFIKACIJA v1","res-forge-record-timeline.0794c4ea35":"Donesena odluka","res-forge-record-timeline.0f9c9e32f9":"Verzija, nikada naziv grane","res-forge-record-timeline.314d8e79c0":"Zašto kandidat B nije odabran?","res-forge-record-timeline.39ab49c337":"Točan unos koji je uzrokovao pogrešku, sačuvan za dobro","res-forge-record-timeline.4868056615":"Ništa u ovom retku nije obnovljeno iz poruka predanja.","res-forge-record-timeline.4bd9342a8a":"Tri unosa odgovaraju na to, i nijedan od njih ne mora biti rekonstruiran.","res-forge-record-timeline.59d432b5cb":"Uspoređene alternative","res-forge-record-timeline.6546ec1158":"Recenzent dolazi mnogo kasnije","res-forge-record-timeline.6833948a23":"Zapisano u to vrijeme","res-forge-record-timeline.7d1e2e97e8":"Naveden zahtjev","res-forge-record-timeline.90726e413a":"Odgovara na pitanje","res-forge-record-timeline.aaddcdd4a5":"Metoda istraživanja, zapečaćena","res-forge-record-timeline.ccf3d548fe":"Pročitano ponovno","res-forge-record-timeline.de805f67e3":"Pet kandidata, jedna relacija dominacije","res-forge-record-timeline.e4a8371aea":"Zapis, čitan s lijeva na desno","res-forge-record-timeline.e8412cdd3e":"Politika i autoritet koji stoji iza nje","res-forge-record-timeline.eeb026e98f":"Zabilježen protuprimjer","res-forge-record-timeline.f4452aa131":"Stupanj i opseg koji taj stupanj pokriva","res-forge-record-timeline.f65fb0cd45":"Postignuto jamstvo","res-forge-search-field.f6d08e6875":"Relativne duljine, ne brojevi","res-forge-search-field.e9fd9a1eaa":"Što je u polju","res-forge-search-field.fbd8250bed":"UNCHANGED FOR THE WHOLE RUN","res-forge-search-field.6a38722b12":"ZAHTJEV","res-forge-search-field.dbd3e24a6c":"Polje kandidatskih oblika programa u tri stanja oko jednog fiksnog okvira zahtjeva u središtu","res-forge-search-field.0c596f1034":"xMidYMid slice","res-forge-search-field.7be0fdc4e0":"Izgrađeno, zatim uhvaćeno","res-forge-search-field.9545c5f30a":"Palo na slučaju","res-forge-search-field.e247bbc42c":"Uopće nije izgrađeno","res-forge-search-field.3d7da15c51":"Odbijeno zbog tipa","res-forge-search-field.70c98ed3c6":"Dopušteno za provjeru","res-forge-search-field.35633f30dd":"Odgovara pravilima","res-forge-search-field.50c026300b":"Primljeno","res-forge-silence-instrument.3bc40f4b2a":"Četiri rezultata koja se vraćaju bez programa","res-forge-size-lattice.a82ce62110":"ŠIRI JEZIK, NOVI EKSPERIMENT","res-forge-size-lattice.74ed41aa02":"MINIMALNO UNUTAR JEZIKA L, NA VELIČINI 5 ILI MANJE","res-forge-size-lattice.4ca63f9c2e":"NIJE PRETRAŽENO, NIJE PRIJAVLJENO","res-forge-size-lattice.b79d0fac18":"PRIJAVLJENA GRANICA","res-forge-size-lattice.5e265fa4aa":"PRVO POTVRĐENO","res-forge-size-lattice.92664d7dff":"zapažanje, ne dokaz","res-forge-size-lattice.950b23b925":"sažeto kao uočeni duplikat","res-forge-size-lattice.a615e7ad1a":"odbijeno prema tipu, prije evaluacije","res-forge-size-lattice.6f389bc568":"prihvaćeno","res-forge-specification-desk.65d9989d71":"OBRAZCI DOKAZA NISU ZAMJENJIVI","res-forge-specification-desk.166b5a63b2":"prolazi sva četiri primjera","res-forge-specification-desk.26a9ba5602":"x = -9","res-forge-specification-desk.5099050f90":"SLUČAJ KOJI IH RAZDVAJA","res-forge-specification-desk.561f36ce2f":"izvršan odgovor, s vlastitim ograničenjima","res-forge-specification-desk.ca24d384c1":"domena proročišta: samo 0 do 100","res-forge-specification-desk.3cee30a3ad":"REFERENCA","res-forge-specification-desk.0d99250013":"struktura fiksna, dvije tipizirane rupe otvorene","res-forge-specification-desk.c1dc5611bb":"vrati clamp(t,","res-forge-specification-desk.2e5baed7cb":"neka je t =","res-forge-specification-desk.b3274ca07a":"neka je s = scale(x)","res-forge-specification-desk.ebdeb573df":"SKICA","res-forge-specification-desk.c597bbdbc1":"svaki ulaz koji teorija može izraziti","res-forge-specification-desk.15ac2f23db":"za sve x u podržanoj domeni:","res-forge-specification-desk.61ed10966f":"OGRANIČENJA","res-forge-specification-desk.0ec3e255af":"četiri slučaja, točno provjerena","res-forge-specification-desk.9659699670":"PRIMJERI","res-forge-specification-desk.191f4bd034":"stegni skaliranu vrijednost u deklarirani raspon","res-forge-specification-desk.4ad49a4ec4":"JEDNA TRANSFORMACIJA","res-forge-specification-desk.d9b48caf78":"krši monotonost izvan domene proročišta","res-forge-stack-path.4d5fa1b006":"Svaki sustav čita isti objekt umjesto njegove kopije, što je ono što specifikaciju, dokaz, plan i rezultat drži na jednom identitetu.","res-forge-stack-path.86506efb99":"identitet rezultata vraća se na identitet grafa s kojeg je krenuo","res-forge-stack-path.c83a5945cb":"gdje program čuva verificirano stanje","res-forge-stack-path.55561848ab":"Aion","res-forge-stack-path.17ed2b5e88":"gdje je model fizičkog sustava dio specifikacije","res-forge-stack-path.1699ca16fb":"FMI i Twin","res-forge-stack-path.d5f412e831":"Kera","res-forge-stack-path.3ab11b75ca":"Forge","res-forge-stack-path.11e7686a81":"Identitet grafa","res-forge-stack-path.8e246a1e8d":"Na ploči Forge nema ciljnog emitera.","res-forge-technical-glyph.be601df25e":"Istraživanje","res-forge-technical-glyph.91a9d5d08f":"Specifikacija nepromjenjiva","res-forge-technical-glyph.c2237a2d15":"Eksperimentalni paket","res-forge-technical-glyph.03d6a194f4":"specifikacija","res-forge-technical-glyph.e11523c5ff":"jezik","res-forge-technical-glyph.7b7f9366a3":"ciljevi","res-forge-technical-glyph.f3753f1b6b":"osiguranje","res-forge-technical-glyph.9d78bc179c":"tipizirana regija grafa","res-forge-technical-glyph.2b90fe2fea":"vrijeme, kretanje, veličina","res-forge-technical-glyph.a8a172a738":"osporavan","res-forge-technical-glyph.e1d96de67b":"Kandidatski skup","res-forge-technical-glyph.6f389bc568":"prihvaćen","res-forge-technical-glyph.a503bc1da2":"odbijen","res-forge-technical-glyph.880949479a":"testiran","res-forge-technical-glyph.ec734b6515":"provjeren","res-forge-technical-glyph.61792020d0":"Fronta ciljeva","res-forge-technical-glyph.096280facb":"jedan odabran","res-forge-technical-glyph.9985d73a38":"Ljestvica osiguranja","res-forge-technical-glyph.83ced341c8":"dobro oblikovan","res-forge-technical-glyph.e38c2194b4":"formalno provjeren","res-forge-technical-glyph.275ed0c2c7":"povezan s izvođenjem","res-forge-technical-glyph.49794a5e29":"Odabrani kandidat","res-forge-technical-glyph.9e955c5620":"zadržani protuprimjeri","res-forge-technical-glyph.74ef6c0061":"Predaja Kera","res-forge-technical-glyph.bed97175b0":"plan","res-forge-technical-glyph.37a5301a88":"rezultat","res-forge-technical-glyph.96a6bf1d97":"provjereni graf","res-forge-technical-glyph.b8d8aaff0a":"priloženi dokazi","res-forge-technical-glyph.100ec4462d":"dokazi","res-forge-technical-glyph.416eb4fbb0":"fronta","res-forge-technical-glyph.dd4fb84f32":"nepoznato je rezultat","res-forge-technical-glyph.3137db7c8b":"Nepoznato, neispunjivo i dvosmisleno su rezultati","res-forge-technical-glyph.d5f412e831":"Kera","res-forge-technical-glyph.00f6d27f5f":"DWEVE FORGE","res-forge-three-tries.ca6f569d32":"Ništa se nikada ne uklanja s popisa s lijeve strane","res-forge-three-tries.48fce8a80b":"Tri pokušaja istog problema","res-forge-three-tries.8805376577":"Treća runda nosi sve što su prve dvije pronašle, i još jedan slučaj.","res-forge-three-tries.da17ea9bb5":"Popis slučajeva, runda po runda","res-forge-three-tries.8cc87a2190":"ništa za dodati","res-forge-three-tries.36d5623704":"i zatim dokazano","res-forge-three-tries.0f0b41cfe8":"Prošao sve slučajeve","res-forge-three-tries.1e35a52de1":"Pokušaj 3","res-forge-three-tries.3b26ea5e3d":"prazan popis","res-forge-three-tries.b8575badd2":"na praznom popisu","res-forge-three-tries.09fef5d8d9":"Neuspjeh","res-forge-three-tries.969a17cecc":"Pokušaj 2","res-forge-three-tries.15d3c90fb9":"najveći mogući broj","res-forge-three-tries.f88b9a4765":"na najvećem mogućem broju","res-forge-three-tries.ff31d219ef":"Pokušaj 1","res-forge-three-tries.f65e38d46b":"popis s jednom stavkom","res-forge-three-tries.e8741ca2e3":"popis koji je već u redu","res-forge-three-tries.9450ac4e17":"kratki popis","res-forge-three-tries.4d944a9d7e":"Runda 3","res-forge-three-tries.fa2b87ffe2":"Runda 2","res-forge-three-tries.f7648d3834":"Runda 1","res-forge-type-sockets.13fff86afe":"Dvije operacije, jedan spoj","res-forge-type-sockets.2251b5f821":"Neograničeni cijeli brojevi","res-forge-type-sockets.338ce27565":"Tri kompozicije ponuđene jednom tipiziranom jeziku","res-forge-type-sockets.3d7da15c51":"Odbijeno tipom","res-forge-type-sockets.50c026300b":"Prihvaćeno","res-forge-type-sockets.5e5da2cd3c":"Pristup mreži","res-forge-type-sockets.681bcaf5e4":"Odbijanje na ovoj ploči ništa ne košta, jer ništa na njoj još nije evaluirano.","res-forge-type-sockets.7303a0d112":"Odbijeno mogućnošću","res-forge-type-sockets.73841deb9d":"Zatvoreno za ovu izvedbu","res-forge-type-sockets.76123e0c4c":"Druga operacija zahtijeva mogućnost koju paket nije dodijelio, pa je izvan prostora pretraživanja.","res-forge-type-sockets.93c6a1f183":"Utičnica","res-forge-type-sockets.a1369155ac":"Pristup datoteci","res-forge-type-sockets.b4ae90c7f4":"Dvije utičnice se ne susreću, pa se od ovog para nikada ne sastavlja kandidat.","res-forge-type-sockets.b957ab83e5":"Izlazni tip odgovara ulaznom tipu, pa se kandidat sastavlja i može se evaluirati.","res-forge-type-sockets.c7303935a3":"Neprovjereno aliasiranje","res-forge-type-sockets.d3f0610632":"Ishod","res-forge-type-sockets.dbe18d2e48":"Jezik se bira zajedno s paketom i ne širi se dok pretraživanje traje.","res-forge-type-sockets.eb8606da6a":"Ponuđena kompozicija","research-forge.00274e0e63":"odbijeno, ugovor o pogrešci","research-forge.002ff59811":"Pitanje","research-forge.005a8c4891":"Unesite namjeru domene, formalne metode, mjerenje hardvera ili neovisni pregled. Forge pruža zajednički istraživački objekt za usporedbu otkrivanja, dokazivanja i izvršavanja programa.","research-forge.008fef2a92":"Pretraži unutar operacija koje su bile dopuštene.","research-forge.01038388dc":"Nepotpuni odgovori ostaju vidljivi","research-forge.0109e7127b":"NEMOGUĆE","research-forge.0143790011":"planiranje i izvršavanje","research-forge.019d4e8e82":"Što ostaje istinito","research-forge.01f66c63e3":"Dva od parova ne mogu se sastaviti, a jezik je taj koji to kaže.","research-forge.01fc285874":"Odgovornosti prema Forgeu i Keri","research-forge.02ff5bf386":"Pregled politike","research-forge.0303c4bacd":"pet polja fiksiranih prije prvog kandidata","research-forge.030afc5361":"Forge može sačuvati verziju zahtjeva, kandidate koji su bili važni, protuprimjere, prijelaze jamstva, objektivnu granicu i politiku koja je odabrala jednog člana. Dvije godine kasnije zapis i dalje odgovara na pitanje koje recenzent zapravo postavlja, a to nije što je izgrađeno, nego zašto su alternative odbijene. Trag ide u jednom smjeru i svaki korak na njemu može se pratiti unatrag: zahtjev koji je definirao uspjeh, provjereni i odbijeni kandidati koji su bili važni, protuprimjeri i prijelazi jamstva, objektivne vrijednosti koje su svakog kandidata postavile na granicu te ovlast koja je odabrala jednog od njih. Ništa od toga ne živi pored odluke. Putuje s njom.","research-forge.03102018f1":"Kandidat je strukturno valjan.","research-forge.03128bed90":"Provjera","research-forge.0393c06f67":"KANDIDAT","research-forge.0397a076c3":"Dodavanje preduvjeta legitimno je sredstvo i stvara novi identitet specifikacije umjesto uređivanja starog. Raniji eksperiment ostaje u zapisu sa svojim pripisanim neuspjehom. Istraživačka zajednica opći obrazac predloži, ospori, usavrši naziva CEGIS.","research-forge.03bec6ab74":"Tri oblika","research-forge.04126cee0d":"Četiri se susreću u sredini, pa pomicanje prema jednom obično košta nešto na drugom.","research-forge.0428abce3e":"Ograničeno provjereno","research-forge.0432a371aa":"Politika jamstva","research-forge.04731f0ef3":"Samo jedna os, relativno modelirano kašnjenje. Duljina trake nije ukupni poredak.","research-forge.04ae6467a0":"Bez zaključka","research-forge.04bf9ee3c6":"nije izostavljeno iz izvještaja","research-forge.04e9b5cd14":"ovdje koegzistira mnogo izvođenja","research-forge.04fa443e7b":"Najdulji kritični put","research-forge.05005f366c":"Forge istraživanje","research-forge.05625954d2":"kako god pretraga išla","research-forge.05d1c23f1f":"neuspjeh sužava pretragu","research-forge.05db5a7f8a":"Verzija specifikacije koju je svaki kandidat morao zadovoljiti","research-forge.065d4a5b25":"Svi proizvode istu vrstu tipiziranog kandidata i ulaze u istu usporedbu. Organizacija stoga uspoređuje programe, a ne metode pretraživanja, a metoda koja je pronašla kandidata ne daje mu prednost u odluci.","research-forge.07a688568e":"Ciljni artefakt","research-forge.0820b32b20":"Testiranje","research-forge.08b22e1ba0":"Jedan ugovor","research-forge.08cfb3e0f2":"Pregled specifikacije","research-forge.09496b01f9":"Primopredaja","research-forge.09a3354e63":"Sporedni uvjeti","research-forge.09d053226c":"Slijedite jednu pretragu","research-forge.0a3eb3abd3":"Interna kalibracija","research-forge.0a5e7a0583":"Granica","research-forge.0a799711ad":"Normalizacija štedi pretragu","research-forge.0ab39d71e2":"Ekvivalencija","research-forge.0ade2ace0d":"Svaki protuprimjer","research-forge.0ae18773cb":"Istraživački asistent","research-forge.0b101a23a3":"Asocijativno pregrupiranje","research-forge.0b81fbebb5":"Optimizacija kasnije","research-forge.0ba4e46484":"Jedan graf","research-forge.0bc357c912":"NIJE POKRIVENO","research-forge.0c19b6603f":"Budući recenzent ponovno razmatra odluku iz zapisa umjesto da je rekonstruira iz poruka o izmjenama.","research-forge.0c6c9b91c5":"Znate onaj osjećaj kada zadatak možda ima jednostavniju implementaciju? Forge pretvara to pitanje u istraživački tijek rada: dajte mu ograničenu specifikaciju, pretražite kandidatske programe i zabilježite provjere i mjerenja. Izvješće iz 2025. dokumentira eksperiment, a ne proizvodno spreman rezultat ili objavljeni benchmark.","research-forge.0d358c9749":"Dva testa, dvije snage","research-forge.0db809cc66":"Jamstvo","research-forge.0e26aaf414":"Pregled modela","research-forge.0e3c434842":"Testirano, ograničeno, dokazano","research-forge.0ef3858209":"Zabilježene ograničene provjere","research-forge.0f1e49f0bf":"Primjeri ograničavaju ponašanje na ulazima koje date. Logički uvjeti ograničavaju svaki ulaz koji formalna teorija može izraziti. Skica čuva arhitekturu koju istraživač nije spreman prepustiti pretrazi i ostavlja tipizirane rupe unutar nje. Referentno ponašanje pruža izvršni orakul i nosi sa sobom domenu samog orakula. Forge bilježi koji je oblik podržao koji zaključak umjesto da svaki ulaz tretira kao specifikaciju jednake snage.","research-forge.109bff6e75":"Specifikacija, ne baza koda","research-forge.1178a4ffb4":"Pretraži ponovno","research-forge.1181c3f399":"Paket također navodi kada stati: ograničenje resursa, prag jamstva koji kandidat mora doseći da uđe na granicu i što izvođenje prijavljuje kada ništa ne dosegne taj prag. Pretraga koja završi bez programa i dalje završava s rezultatom.","research-forge.11c14ce16a":"Organizacija tada posjeduje namjeru umjesto jednog njezina izraza i može reći zašto je odabrana određena implementacija. Zahtjev postaje trajna imovina, a implementacija postaje rezultat koji se može ponovno izračunati kada se prioriteti promijene.","research-forge.11dd823248":"Za ovaj unos, proizvedite ovaj izlaz.","research-forge.12c8d914cc":"Što rezultat ne utvrđuje.","research-forge.13792d7c2a":"DOKAZ IMA GRANICU","research-forge.140b63310c":"Kandidat C","research-forge.1462811ad5":"kandidat koji izgleda uvjerljivo","research-forge.151978bff3":"zapis svaki put imenuje specifikaciju, prag i politiku","research-forge.15c2d33108":"Istraživanje integracije u evaluaciji","research-forge.15f1b08e56":"dokaz, granica ili navedeno ograničenje","research-forge.16181ed76f":"Dopuštene operacije, tipovi, učinci i numerička semantika","research-forge.161fa759f7":"U konačnom deklariranom jeziku, pretraživanje može graditi kandidate povećanjem veličine i odbiti nevažeće kompozicije prije nego što se bilo koja od njih izvrši. Kandidati koji se ponašaju identično na trenutnim dokazima mogu se sažeti radi uštede rada, dok sama tvrdnja o ekvivalenciji čeka na provjeru. Kada metoda pokriva svaki dobro oblikovani kandidat do navedene granice, prvi verificirani program utvrđuje minimalnost veličine unutar tog jezika i te granice. Proširivanje skupa operacija proizvodi drugačiji eksperiment s vlastitim odgovorom.","research-forge.169f619e4f":"Poštena značka nosi svoju granicu, a granica je njezin najkorisniji dio.","research-forge.16a3fa00e3":"Podržano simboličko svojstvo dokazano je pod navedenim pretpostavkama.","research-forge.16ec74fc0a":"CLEAR","research-forge.171ca0385a":"Ponašanje","research-forge.173315f506":"nijedna traka na ovoj ploči ne završava generiranim rezervnim kodom","research-forge.17405ade0e":"Osiguranje s opsegom","research-forge.17a86caa5b":"Obveza","research-forge.17b8b28e9e":"nikada ne tretirani kao međusobno zamjenjivi","research-forge.17ecf461a5":"Problem je zadovoljiv","research-forge.1822a38ec8":"četiri razloga za nastavak pretraživanja","research-forge.189ee02d36":"Pošteno neisporučivanje","research-forge.18d60fce22":"Imenovana razina osiguranja i njezin opseg","research-forge.18dd2ccb59":"Pet dijelova","research-forge.18e9128279":"Imenovanje ishoda zadržava problem tamo gdje mu je mjesto. Proturječni zahtjevi vraćaju se onome tko ih je napisao. Nejasan slučaj vraća se na odluku. Nedovršeno pretraživanje vraća se s većim proračunom ili drugačijom metodom.","research-forge.18f906f6da":"Zadržano zauvijek","research-forge.192ad837e6":"Zabilježena politika, ne skriveni rezultat","research-forge.19626a1e65":"Sve što padne na jednom slučaju","research-forge.1a23a7cddc":"Forge pronalazi","research-forge.1a66b5eeb6":"Pristup za partnere","research-forge.1bb360f468":"Ograničeno","research-forge.1bb90c04d2":"Neuspjeh koji proizvodi konkretan unos vrijedi više za pretraživanje od neuspjeha koji proizvodi rezultat.","research-forge.1bf39cee63":"Brže, manje, vitkije","research-forge.1bff62bf9b":"Metodi je ponestalo prostora. Drugačija metoda ili dulje izvođenje mogu je riješiti.","research-forge.1c013851a3":"Što zapis sadrži","research-forge.1c56ea452a":"Četiri kartice specifikacije koje opisuju istu malu transformaciju, s jedinim slučajem u kojem se dvije od njih ne slažu","research-forge.1c56fd19d7":"Jedan otvoreni slučaj","research-forge.1c82340479":"tvrdnja se može provjeriti","research-forge.1c875de71f":"To je upravljačko svojstvo jednako koliko i tehničko. Trenutak u kojem se dva čitanja zahtjeva razilaze upravo je mjesto gdje pripada odluka dionika, i daleko je jeftinije prije nego što je implementacija izgrađena oko jednog od njih.","research-forge.1c9bbc4b77":"Zadržite alternative dok politika nije zapisana.","research-forge.1cb61a389f":"promijenjeno polje je novi eksperiment, ne ispravljeni","research-forge.1ccf5d25df":"Specifikacija","research-forge.1cdd46cd0e":"Pročitajte istraživanje","research-forge.1d17812687":"Četiri ulaza, četiri različita jamstva","research-forge.1d2c6fe888":"svih pet, ili nijedno","research-forge.1d444e826a":"Kera radi","research-forge.1d9b3bd5d3":"Najniža latencija","research-forge.1d9d3e69fa":"Rust, C, Verilog","research-forge.1e269ebac7":"Jedna transformacija","research-forge.1e748c3e4b":"promijenite čvor i imate novog kandidata, s dokaznom vezom koja slijedi čvor","research-forge.1ecdc691a8":"zasivljena ruta proizvodi nešto čitljivo, i ništa za provjeru","research-forge.1ed77c3f7f":"Protokol","research-forge.1fd9da00a7":"Politika i autoritet koji je odabrao jednog kandidata.","research-forge.2030fae2a7":"Tri načina da se to kaže","research-forge.2040757c11":"Cranelift, mjerenje izvorne izvedbe","research-forge.2041447f84":"samo pretraživanje","research-forge.206009c4a7":"Pet politika","research-forge.20cb7eef2c":"Izvan modela","research-forge.2154ca1eb7":"Svaki od tih je rezultat s drugačijim sljedećim korakom. Forge bilježi najjače stanje koje može opravdati i imenuje što bi se moralo promijeniti da bi se prešlo dalje.","research-forge.21a0ffd68c":"otvorena pitanja su na stranici","research-forge.21efbc283d":"Brzina, memorija, doseg i dokazi","research-forge.220b9c622c":"Sintetiziraj","research-forge.2354ab0ba0":"prije predlaganja programa","research-forge.235bfff3a2":"Istraživački program","research-forge.236656bf91":"Ovlasti","research-forge.23d4ef785c":"veličina 5","research-forge.243dcbef8c":"planiranje i emisija ispod","research-forge.24a264b83c":"Dva kandidata, četiri cilja","research-forge.24c0bda2ba":"Najizravniji put revizije","research-forge.24cb5be0b0":"odluka zadržava svoje razloge","research-forge.24d50592b7":"Ciljevi","research-forge.2550b1dcad":"Odgovornost","research-forge.25754f1c93":"istraživački program, ne softverska ponuda","research-forge.258195bb3d":"Jedan identitet","research-forge.25c843b80e":"To čini jezik dvjema stvarima odjednom. To je mehanizam učinkovitosti, jer veći dio prostora nikada ne treba vrednovati. To je također granica oko namjere, jer unaprijed navodi do čega stroj smije posegnuti.","research-forge.25fa97aa1a":"Ne govori vam je li ta ruta najbrža, najvitkija, najprenosivija, najlakša za reviziju ili ona koju organizacija može operirati. To su odvojena pitanja s odvojenim dokazima.","research-forge.261c22b85c":"Inženjerska organizacija obično se obveže na jednu implementaciju dugo prije nego što može reći je li taj dizajn najbrži ili najlakši za provjeru. Forge proučava slijed u kojem je specifikacija trajna imovina, a implementacija rezultat pretraživanja između kojeg navedena politika bira.","research-forge.26369471c9":"Točna ekvivalencija, ograničena numerička relacija ili ekvivalencija učinka, svaka utvrđena verifikacijom.","research-forge.267f81bab8":"Čemu program smije pristupiti","research-forge.277b67c1e8":"i što bi mu trebalo","research-forge.27f11f9fe1":"zapečaćeni čvor i dalje objavljuje svoje ulaze, svoje izlaze i svoj identitet","research-forge.27fab35201":"Imenovani ne-odgovor korisniji je od uvjerljivog programa.","research-forge.280c5e7fc6":"Dva čitanja","research-forge.281dd83602":"Proširi","research-forge.282bd862f4":"Kandidat B","research-forge.2877a09f30":"nekoliko odgovora može biti razumno","research-forge.287b80caae":"ispravnost ne bira","research-forge.294b4c06ac":"Prostor kandidata","research-forge.296e71a0fb":"Kandidati po veličini u ograničenom jeziku, prikazujući dopuštena, odbijena i kolabirana stanja, prvi verificirani kandidat i deklariranu granicu koju tvrdnja nosi","research-forge.297f419e18":"Ono što ne smije učiniti jest oslabiti ponašanje, dodati učinak koji paket nije deklarirao ili pretvoriti neriješeno stanje dokaza u uspjeh. Optimizacija je sloboda unutar granice.","research-forge.29c69b4a35":"ili lakše provjeriti","research-forge.29fea3a06d":"Što utvrđuje","research-forge.2a03a4b73a":"Neriješeno","research-forge.2a729227ad":"Jedan izraz proširen u mrežu ekvivalentnih oblika s uvjetima na rubovima i tri cilja izdvajanja odabrana nakon što prostor postoji","research-forge.2a965a37b7":"To je politička odluka i mora biti navedena, ne pretpostavljena.","research-forge.2a965accf1":"Najmanji program koji jezik dopušta","research-forge.2ad40f7952":"Kompromisi kao objekt upravljanja","research-forge.2b27b7aec8":"Vođeno dokazima","research-forge.2b3a5e307c":"Semantički","research-forge.2b7d95b8c6":"Koji kompromis želite","research-forge.2b9c801e9e":"odabir ostaje eksplicitna politika","research-forge.2bdb5e4d73":"Forge završava s odabranim semantičkim grafom i njegovim dokazima. Dweve Kera prima taj graf, planira podržano izvršenje i emitira ciljani artefakt, s operacijskim značenjem, učincima, vlasništvom, numeričkim ugovorom i obvezama dokaza priloženima uz predaju. Ista disciplina povezuje Forge s ostatkom Dweve stoga: Aion gdje program čuva verificirano stanje, Reed i Selvedge za okolni sustavski rad, FMI i Twin gdje je model fizičkog sustava dio specifikacije.","research-forge.2c8c94c95f":"ne samo što je izgrađeno","research-forge.2c9ebecf8b":"Orkestracija pretraživanja","research-forge.2cb597863b":"Brzi program koji je pogrešan i dalje je pogrešan.","research-forge.2cd3174fc9":"rezultat odlučuje o sljedećem pitanju","research-forge.2cff331976":"Otkriće i dokaz iznad","research-forge.2d24e0a549":"A ponekad","research-forge.2d3231ce48":"Dvosmislenost","research-forge.2da600bf94":"Verzija","research-forge.2daa013c1b":"Tipizirani semantički graf, ne izvorni tekst","research-forge.2dd3547872":"potpun u granici","research-forge.2dfcf898a3":"Usporedba","research-forge.2e140f6f42":"Odabir politike","research-forge.2ea3bb9377":"Pridružite se istraživačkim partnerima","research-forge.2f24ebaee0":"Obreži","research-forge.2f65736593":"(a * 2) + a","research-forge.2f81a22de0":"Pristup","research-forge.2f89346f05":"Plutajuća reasocijacija","research-forge.2f906454d9":"Svaki oblik odgovara na drugo pitanje, a istraživački zapis govori koji je nosio tvrdnju.","research-forge.30833f759b":"Planiranje i spuštanje","research-forge.3107902192":"Pet kandidata","research-forge.310e8151df":"od opisa do dokaza","research-forge.31139f400a":"minimalno <= 5","research-forge.3146c89579":"koja odgovornost pada na koju stranu","research-forge.3179a54130":"Primjeri, pravila i djelomičan program, ne koraci","research-forge.31c2157a1c":"Jedan semantički graf prikazan kao graf, kao izraz i kao tok podataka, s nepromijenjenim identitetom u sva tri prikaza, te učinak promjene jednog čvora","research-forge.320ce22925":"Snažan, za tvrdnje","research-forge.3218fcc602":"Sastavljanje dokaza","research-forge.32438a2b70":"Stavite automatizirano otkrivanje u pogon","research-forge.32d888fecc":"Izvršenje povezano","research-forge.32ec2eb506":"Vođen tipovima","research-forge.32fd056d3d":"Skica","research-forge.32fe9f5bda":"Sjeme","research-forge.331a390a95":"Zabilježite da se jamstvo ne može opravdati kako je navedeno.","research-forge.332fafafd4":"Nekoliko je programa optimalno","research-forge.337cd4ef85":"i zaštitite naknadno","research-forge.3407af8c74":"Oblikovanja se međusobno podupiru. Primjeri čine logički ugovor čitljivim čitatelju. Ograničenja sprječavaju da kandidat pretjera s prilagodbom na prikazane slučajeve. Skica drži sigurnosnu strukturu fiksnom dok aritmetika ili tok podataka unutar jedne regije ostaju otvoreni za otkrivanje.","research-forge.3554ae9f37":"Dokaz grafa nije automatski dokaz proizvoljnog izlaza prevoditelja, stoga povezivanje izvršenja bilježi graf, plan, artefakt i rezultat zajedno. Forge tada može proučavati otkrivanje bez tvrdnje da posjeduje prevoditelj.","research-forge.356258d8cf":"Ispravnost stječe ulaz u raspravu o kompromisima.","research-forge.357a580465":"proširenje s uvjetima","research-forge.3631815377":"koji zadržava","research-forge.3647998e09":"relativno modelirano kašnjenje na jednoj granici","research-forge.3662b6cd93":"Optimizacija je sloboda unutar granice koja je prvo zapisana.","research-forge.3678b75177":"Sidro dokaza","research-forge.3697e2badd":"Ista granica, četiri obranjiva odgovora","research-forge.3750b1e26e":"Jedan zahtjev","research-forge.378b19c94c":"i univerzalna svojstva","research-forge.37a1d3ddee":"Opseg pretraživanja","research-forge.37b658da82":"što je utvrđeno, a što ostaje otvoreno","research-forge.37d9b94afa":"Recenzent može slijediti lanac od početka do kraja bez otvaranja ijednog zapečaćenog čvora.","research-forge.37e5ec20ed":"Šutnja se računa","research-forge.37e8f995e7":"Imenovani neodgovor također instituciji daje konkretnu točku za djelovanje. Govori koji se uvjet sukobljava, koje je ponašanje bilo neodređeno, koja teorija nije bila dostupna ili koji je proračun iscrpljen, i stoga što bi se moralo promijeniti.","research-forge.3856f4eb7c":"Metoda nije došla do zaključka unutar svojih teorijskih i resursnih ograničenja.","research-forge.387b54720d":"Prečka koju rezultat mora doseći prije nego što se uračuna","research-forge.38b07c05cf":"Jedna ljestvica jamstva s dva kandidata na različitim prečkama i ladicom koja pokazuje što je svaka prečka provjerila, pretpostavila i što ne utvrđuje","research-forge.391bc6cb44":"Dokaz zadržava svoju granicu","research-forge.396c19de10":"Četiri načina na koja zahtjev odolijeva programu","research-forge.39727bd48f":"natrag na sintetiziranje","research-forge.3977816414":"dokazi odlučuju","research-forge.39d6a0ddc5":"Koje odluke pretraživanje smije donijeti u vaše ime?","research-forge.39fdec1194":"Testovi","research-forge.3a06f841f3":"Testiran je izvan primjera koji su mu dani.","research-forge.3a4be7155b":"Alternative","research-forge.3ab11b75ca":"Forge","research-forge.3b08754530":"Forge kreće od opisa ponašanja, ne od zahtjeva za kod. Možete mu dati obrađene primjere, pravila koja moraju vrijediti općenito ili djelomično napisan program s otvorenim škakljivim dijelovima. Bilo što od toga daje stroju nešto prema čemu se može mjeriti i nešto na čemu može vidljivo pasti.","research-forge.3b0896e4b0":"Za podržane Kera ugovore, čisto izvršenje ponavlja bitove identično bez sjemena, uključujući pokrivene putanje obitelji s pomičnim zarezom. Gdje program namjerno troši nasumično stanje, to je stanje deklarirani ulaz, a njegovo ponovno korištenje reproducira cijelo izvođenje.","research-forge.3b8be5e1a9":"dokazana širina","research-forge.3bb1fa9d93":"jedna je točka u prostoru","research-forge.3bb59d3903":"Utvrđeno","research-forge.3bcf82f6df":"Kašnjenje je dimenzija","research-forge.3bdab018c4":"Provjereno uvijek ima drugu polovicu: pod ovim pravilima, za ove ulaze.","research-forge.3bf08a84f1":"MOVE","research-forge.3bf4aa62c6":"Jedan graf, dva plana, jedan identitet","research-forge.3c37add762":"Dobro oblikovan","research-forge.3d3349e560":"što institucija odlučuje prije pretraživanja","research-forge.3d85b7b35e":"Četiri mala slučaja, svaki završava bez programa iz drugog razloga, pokazujući što je traženo, što se dogodilo i što bi to promijenilo","research-forge.3d8dc8dd37":"Nosi jednostavniji put provjere","research-forge.3d9d45c6fc":"i dokažite pogrešan model","research-forge.3dbbac272c":"Protuprimjeri i stanje dokaza","research-forge.3e0fb17cab":"Pojasnite","research-forge.3e39972526":"Kašnjenje","research-forge.3e9492ab1e":"Graf, plan, artefakt i rezultat ostaju povezani.","research-forge.3f1ea4240e":"Pretpostavke su dio rezultata, a ne sitna slova ispod njega. Dokaz o točnim cijelim brojevima ne govori ništa o decimalama. Dokaz o samostalnom izračunu ne govori ništa o usluzi za koju nikada nije rečeno da postoji.","research-forge.3f2151a870":"Veličine od jedan do šest","research-forge.3fd8fb2e1a":"Operacije, tipovi, oblici, učinci i mogućnosti koje kandidat smije koristiti.","research-forge.3fe459f958":"Ništa ne odgovara","research-forge.40100e1934":"Nedominirani kandidati","research-forge.4025ca409c":"Preuzmi odgovornost za svoj učinak","research-forge.408f0af557":"Graf izvođenja od specifikacije do odabranog dokaza, s unutarnjim koracima metode zatvorenim, ali povezanim, i kraćim putem koji ponavljanje zapravo mora reproducirati","research-forge.40d33b38ad":"Ništa od toga nije naknadno dodana napomena. To je sadržaj rezultata, zbog čega zapis stavlja razinu i njezin opseg na isto mjesto i zbog čega nijedna kontrola ne može promovirati jednu.","research-forge.40f800b699":"Granica pripada skupu ciljeva koji ju je proizveo. Dodavanje energije paketu može vratiti kandidata koji je prethodno bio dominiran, što je svojstvo pitanja, a ne promjena u bilo kojem programu.","research-forge.4141bac3ca":"i dopusti programu da se mijenja","research-forge.418cdd48b7":"Promatrani slučajevi","research-forge.41978064b8":"Raspravite suradnju","research-forge.41a3ff09e5":"Navedite ponašanje","research-forge.4288fa85e0":"Što je riješeno, a što otvoreno","research-forge.42c7f4ea4d":"Okvir se ne pomiče","research-forge.42e742546a":"i testirano nije dokazano","research-forge.43093ca0db":"Opseg dokaza, strukturalna jednostavnost, cijena dokaza","research-forge.435e8ecece":"jedan program rijetko pobjeđuje u sva četiri","research-forge.436fb3032c":"Zaključak","research-forge.437b348524":"Redoslijed kojim se događaju","research-forge.437bcb1511":"Energija","research-forge.439f7b365e":"Istraživačka dokumentacija","research-forge.43d54e530d":"Odgovara li kodirana zahtjev onome što organizacija zapravo želi?","research-forge.43d8879a8c":"veza izvršenja je ono što povezuje dokaz s onim što se zapravo izvodilo","research-forge.4412dd5d66":"Nemoguće i neriješeno se prijavljuje, a ne pretvara u kod.","research-forge.4475dded01":"Jedna implementacija","research-forge.44ab85a252":"Podrijetlo","research-forge.450d52d3ef":"Pretrage","research-forge.4585404748":"kandidat koji se zaustavi na testiranom prijavljuje se kao testiran","research-forge.45aaefd6f4":"Četiri recenzije","research-forge.4646f9193d":"Dobro oblikovano nije testirano","research-forge.4651a34e4d":"Opseg","research-forge.466fc49274":"Zadrži","research-forge.46ed5f573e":"Pogledajte istraživanje","research-forge.4719d38f14":"Nekoliko ponašanja zadovoljava pružene dokaze, a razlikuju se drugdje.","research-forge.472643c4ca":"Jedan kandidat dominira nad drugim samo ako nije lošiji u svakom aktivnom cilju i bolji u barem jednom. Dominirani kandidati napuštaju aktivnu granicu. Oni koji ostaju svi su obranjivi odgovori na istu specifikaciju, a odabir među njima je politička odluka koju zapis čuva, a ne izračun koji pretraga obavlja tiho.","research-forge.472bff45c9":"Jedan oblik unutar većeg prostora jednakog ponašanja.","research-forge.473161067f":"Politika odabira","research-forge.47942077ae":"Najjednostavniji dokaz","research-forge.47b74866d6":"Provjeri ispravnost","research-forge.47bcc2a36a":"Ponekad dvije stvari koje su tražene ne mogu obje biti istinite. Ponekad primjeri dopuštaju dva različita ponašanja i ne postoji način da se utvrdi što je mišljeno. Ponekad je problem jednostavno teži nego što metoda može riješiti u danom vremenu. Forge svaki od tih slučajeva prijavljuje kao ono što jest i kaže što bi se moralo promijeniti. Nejasan slučaj obično treba još jedan primjer, a ne veći proračun.","research-forge.47cda15a5a":"Kera: kako","research-forge.47da6f0838":"Sastavi","research-forge.48298eb992":"Pretraga može zamijeniti operacije, restrukturirati podatkovni tok, spojiti regije, ukloniti premještanja i doći do implementacije koju nijedan istraživač nije imao na umu. Sve je to dopušteno, i većina toga je poanta.","research-forge.483bf2075c":"Objavljeno","research-forge.4901e146cd":"Usporedi cijenu","research-forge.490d255908":"zahtjev ostaje stabilan objekt","research-forge.49df3ec7de":"Radi na više podržanih strojeva","research-forge.4a828b8ab7":"Istraživanje, Forge","research-forge.4ab1a4f190":"Kandidat koji je prvi stigao nema nikakvu prednost u odluci osim vlastitih dokaza.","research-forge.4aebc33326":"Četiri recenzije prije tvrdnje","research-forge.4b01608cdc":"Pretraga nikada ne uređuje paket kako bi spasila kandidata.","research-forge.4b1960c2fb":"Sustav pod pritiskom da proizvede kod će proizvesti kod. To pretvara neodgovoreno pitanje u program koji netko sada mora održavati, a nesigurnost ne nestaje, ona se seli na mjesto koje je teže vidjeti.","research-forge.4bca6a7cdb":"Gdje program počinje","research-forge.4c175158a6":"Povezani rezultat","research-forge.4c1e9313aa":"Jedan skup","research-forge.4c39a99d3d":"Pet razina","research-forge.4c6bdedadc":"izvor ostaje projekcija","research-forge.4cb3bb0fc4":"Najbrži","research-forge.4d0ff72eb2":"Koju razinu testiranja ili dokaza rezultat mora doseći?","research-forge.4d6864f9a3":"Četiri granična izbora","research-forge.4d7f210eef":"Tri kandidata provjerena prema popisu slučajeva koji svakog kruga raste za jedan neuspjeli ulaz, a s popisa se ništa nikada ne uklanja","research-forge.4db6c46b80":"svaki sustav čita isti objekt, a ne njegovu kopiju","research-forge.4e4bed5372":"Nikad uključeno","research-forge.4e76f5796f":"Najvitkiji","research-forge.4e90808185":"Četiri načina na koja izvođenje može završiti","research-forge.4e9a44aeb4":"Recite što bi se trebalo dogoditi","research-forge.4ec9cc4f2f":"Provjereno otkrivanje programa","research-forge.4f9c4e1fdb":"Prvi točan kandidat dokazuje da je problem zadovoljiv. On također može biti velik, spor, memorijski zahtjevan, nezgodan za provjeru ili vezan uz jedno izvršno okruženje. Forge ga tretira kao dokaz, a ne kao odgovor, te nastavlja tražiti obitelji do kojih bi drugačije ponašanje pretraživanja došlo prvo.","research-forge.4faae9b4e9":"različite su tvrdnje","research-forge.4fe6240efb":"Odgovara li izvršna meta semantici koja je dokazana?","research-forge.500d19ed3e":"Sljedeći kandidat mora zadovoljiti jači skup.","research-forge.505ddba0dc":"stroj govori ono što zna","research-forge.506f370762":"značka uvjeta na rubu odlučuje smije li se ekstrakcija njime koristiti","research-forge.50e944749f":"WIDE","research-forge.50f771745f":"Je li to dobra implementacija","research-forge.512f83ac42":"Tri kandidata provjerena prema rastućem skupu obveza, uz protuprimjer koji je okončao svakoga i dva legitimna odgovora na neuspjeh","research-forge.516f075235":"Četiri točna programa, četiri načina da se jednome da prednost","research-forge.5183317474":"Sloboda","research-forge.52550c8d07":"Zapis odgovara zašto","research-forge.528d188e2a":"Razina dokaza koja je potrebna","research-forge.52e68a873a":"Ograničenja","research-forge.531e01782f":"Riješite sukobljene zahtjeve koje je dokaz identificirao.","research-forge.536a08d31b":"FAST","research-forge.541a19b522":"Granica je ono što tvrdnju čini točnom. Dokaz grafa je dokaz tog grafa, pa poveznica izvršenja zajedno bilježi graf, Kera plan, artefakt i identitet rezultata, umjesto da pretpostavlja da je dokaz putovao s izlazom.","research-forge.546130711a":"Istraživački program Dweve","research-forge.54a351154f":"Minimalnost je ograničena tvrdnja. Vrijedi za operacije, tipove i strukture koje je paket dopustio, do veličine koju je izvođenje doseglo. Ne govori ništa o jeziku koji eksperiment nije deklarirao, a proširenje skupa operacija stvara novi eksperiment s vlastitim odgovorom.","research-forge.550d4ccba7":"Numerička obitelj, poredak, model stanja i vanjski uvjeti koje izvođenje pretpostavlja.","research-forge.551fea67e6":"Opis dolazi prvi, a implementacija ostaje otvoreno pitanje što je duže moguće.","research-forge.5521ea4314":"dodavanje cilja može vratiti dominirani kandidat, što je činjenica o pitanju","research-forge.5549dc87d0":"Nije svaka specifikacija","research-forge.5601f89af7":"kandidat koji jednostavno izgleda ispravno","research-forge.563591cebc":"Koliko brzo program završava","research-forge.56abd17a41":"Kada se ništa ne vrati","research-forge.577d56824d":"TRI POTEZA","research-forge.58357eb5f1":"jače tvrdnje zahtijevaju jače dokaze","research-forge.584e0ea86c":"vektor opisuje kompromis","research-forge.58c379fdea":"Minimalne veličine","research-forge.59df8e27c4":"Zadržite zahtjev","research-forge.5a0ba3bb83":"Ugovor","research-forge.5a2827f530":"Četiri prstena","research-forge.5a314063cc":"kako slab kandidat izoštrava pitanje","research-forge.5ab1aaea94":"NEJASNO","research-forge.5b1142d090":"Raspodjela proračuna","research-forge.5b141d8cb7":"Provjereno pod ovim pravilima","research-forge.5b2a7fb11c":"Izložite","research-forge.5b3facb840":"Četiri obitelji jednake težine, a paket odlučuje koje su aktivne.","research-forge.5b5d8a5af8":"Zabilježite konkretan slučaj i svojstvo koje je prekršio.","research-forge.5b6a58fb9f":"Jeftino, za pretraživanje","research-forge.5b78187e47":"nije ispravno u svakom svijetu","research-forge.5b8955c7bc":"Pronalaženje programa","research-forge.5b92885b2d":"Inženjerski tim može odabrati člana s najmanjom latencijom. Regulirani program može odabrati najčišći put osiguranja. Implementacija raspoređena na miješanom hardveru može odabrati najširi ciljani opseg. Sva tri biraju iz istog provjerenog skupa.","research-forge.5c1be9b227":"Tvrdnja se može ponoviti","research-forge.5c262f33db":"Završava","research-forge.5c46a60955":"Kako je posao podijeljen","research-forge.5c9d4874c3":"Koje ulaze i koje okruženje tvrdnja pokriva.","research-forge.5ce01f3b67":"Program objavljuje ono što njegovi dokazi podupiru, a svoju istraživačku metodu zadržava kao istraživanje.","research-forge.5dfcf1dcc0":"Jedan identitet, tri prikaza","research-forge.5dfe750940":"Provjerljivo","research-forge.5e0d7f4f07":"Forge je istraživački projekt Dweve. Njegov interni portfelj pretraživanja, implementacija formalnog zaključivanja, znanje o transformaciji, kalibracija ciljeva i orkestracija dio su tog istraživanja. Ono što program objavljuje jest pitanje, protokol, rezultat i njegovo stanje osiguranja, na razini otkrivanja koju dokazi podupiru. Suradnja počinje od ograničenog pitanja sinteze. Pet tvrdnji prati se sa svojim stanjem, tri su riješene, a dvije su još otvorene, a otvorene su na stranici, a ne izostavljene iz izvještaja.","research-forge.5e22dbb195":"Tri sparivanja","research-forge.5e3db9c4c0":"Pročišćavanje vođeno protuprimjerom","research-forge.5eb51a7a2a":"Slijedi dokaze, ne samo program koji je izašao.","research-forge.5eede4abda":"Najširi doseg cilja","research-forge.5f174de1cc":"Dokaz","research-forge.5f20d0f3ac":"Nezadovoljivo","research-forge.5f94916c54":"Pogledajte institucionalni slučaj","research-forge.5faa59d4bc":"Rezultat","research-forge.5ff1729499":"prije nego što kažete kako","research-forge.603a007e8b":"i alternative se zatvaraju","research-forge.60508aeb3d":"Gdje postaviti pitanje","research-forge.60539e2c57":"Gdje rizik leži","research-forge.6066a49124":"Taj unos pridružuje se skupu koji svaki kandidat mora zadovoljiti.","research-forge.60e5c23b14":"Tipizirano","research-forge.616d1d1b2a":"Pet preferencija","research-forge.61792020d0":"Objektivna granica","research-forge.61988aaea3":"Eksperimentalni paket","research-forge.61a0ae3b84":"Ograničenja","research-forge.61ad50a9b9":"Cilj","research-forge.61c2d00a1e":"Oblici specifikacije","research-forge.61d0fdeb05":"Deklarirano sučelje, njegovi tipovi i oblici.","research-forge.61e2187199":"Nakon prvog valjanog programa","research-forge.625ba6f153":"FIT","research-forge.62c4bc1315":"Dvije trake iz istog zahtjeva","research-forge.6320f96544":"neka stroj pronađe kako","research-forge.636f4e740e":"rijetko je cijeli odgovor","research-forge.63ed4981dc":"Pareto","research-forge.63f0dfcfef":"Zahtjev raščlanjen na klauzule, s četiri trake koje pokazuju koje su klauzule proizvele nezadovoljiv, dvosmislen, nepoznat ili izvan opsega rezultat, i radnju koju svaka od njih zahtijeva","research-forge.64269f9bd2":"TIME","research-forge.647c656679":"Dva kandidata mogu se podudarati kao tekst, podudarati se nakon što su njihovi grafovi normalizirani, ili zadovoljiti isto vidljivo ponašanje pod deklariranim ugovorom. To su tri različite tvrdnje, i samo posljednja govori nešto o tome što program radi.","research-forge.649ed30fda":"Opseg putuje s tvrdnjom. Dokaz nad točnom semantikom cijelih brojeva ne potvrđuje ponašanje s pomičnim zarezom. Dokaz čiste funkcije ne pokriva vanjsku uslugu koja nikada nije deklarirana. Provjereni graf modificiran nakon dokaza novi je kandidat bez dokaza.","research-forge.64bcb871de":"Protuprimjer može otkriti više od greške u implementaciji. Može otkriti izostavljeni preduvjet, rubni slučaj koji nitko nije odlučio, ili dva čitanja zahtjeva koja su oba bila u skladu s primjerima. Zapis imenuje koje je od tih istraživač zatim promijenio.","research-forge.64c0978f0e":"Otvoreno, i razlog postojanja programa: koliko velika provjerena regija grafa može korisno postati, koji su oblici specifikacije precizni za stroj i upotrebljivi za osobu, kako se djelomični dokazi sastavljaju kroz optimizaciju i planiranje, i koje ciljeve treba mjeriti povratnom informacijom hardvera.","research-forge.64d22c2e4e":"Forge fiksira istraživački problem prije nego što bilo koji kandidat postoji. Jedan paket imenuje specifikaciju, dopuštene operacije i tipove, učinke i numeričku semantiku, dimenzije cilja, granice pretraživanja i politiku osiguranja koju rezultat mora doseći. Kandidat se može prosuđivati samo prema problemu koji je već bio izrečen, što paket čini dijelom ispravnosti, a ne konfiguracijom oko nje. Paket također kaže kada stati: ograničenje resursa, prag osiguranja koji kandidat mora doseći, i što izvješće prijavljuje kada ništa ne dosegne taj prag.","research-forge.64f4056c85":"Politika vidljiva","research-forge.657c02a2ae":"Zahtjev ostaje fiksan","research-forge.664243d1c2":"Oblici specifikacije prema onome što svaki rješava","research-forge.66b4132999":"Raspravite pitanje sinteze","research-forge.66c7af05f3":"Forge čini pretpostavke preglednima, a ljudi ih i dalje posjeduju.","research-forge.66c95e7fc7":"Zapečaćeno","research-forge.66cd84bcef":"oblici dolaze i odlaze, a okvir u sredini isti je tijekom cijelog vremena","research-forge.6703a68b0c":"politika imenuje člana","research-forge.6767e55d00":"Prvi valjani","research-forge.681b5b5ae1":"Dostupnost","research-forge.6848ce552e":"Ishodi","research-forge.68ad9d9693":"Što ostaje fiksno","research-forge.693f74e1e9":"Granica između Forgea i Kere","research-forge.6978e0d16d":"Nijedan program uopće može biti pošten rezultat","research-forge.6989b87ddb":"Zato petlja postaje samo stroža. Svaki krug počinje sa svime što su prethodni krugovi utvrdili plus novim slučajem, tako da kandidat nikada ne može pobijediti zaboravljajući raniji neuspjeh.","research-forge.699425d26b":"Pročitajte metodu","research-forge.69da6fa492":"Primjeri objašnjavaju","research-forge.6a33efdc4e":"Eksperimentalni paket sastavljen polje po polje, s identitetom koji ga imenuje i posljedicom promjene bilo kojeg polja","research-forge.6a455d1ff6":"Za svaki podržani unos, održite ovo istinitim.","research-forge.6a54f54941":"Pretraživanje odgovara","research-forge.6aa0b7e952":"različite institucije biraju različito","research-forge.6ab0b8903c":"Numeričko značenje","research-forge.6b1716c3e5":"nikada popustljivije","research-forge.6b2284f302":"Točka koljena","research-forge.6b6ae4c323":"skup obveza samo raste","research-forge.6b6f62925d":"Ponekad protuprimjer govori nešto o zahtjevu, a ne o programu. Dva pravila mogu se pokazati kontradiktornima, ili se rubni slučaj može pokazati kao onaj koji nitko zapravo nije odlučio. To je vrijedno znati rano.","research-forge.6b7b6dcbaa":"Jedan graf, četiri uloge","research-forge.6bc457b374":"Pronađite kandidata koji zadovoljava svaki poznati slučaj.","research-forge.6bcf5a7776":"Granica, ne jedinstveni rezultat","research-forge.6c4b5393b9":"i ograničenja odlučuju","research-forge.6c61bbcebe":"Dokazano","research-forge.6c82e6dd86":"Vrijeme","research-forge.6c8dd48ed8":"Plan mjerenja","research-forge.6c9b8325ab":"nijedna prečka se nikada ne pretpostavlja","research-forge.6c9c88fe2f":"Opis promjena ponašanja mijenja taj odnos. Daje pretrazi cilj koji mora pogoditi, način da bude uhvaćena kada promaši, te zapis nakon toga o tome uz koje je točno slučajeve rezultat ikada provjeravan.","research-forge.6cc1fdfb05":"Testirano, ograničeno i dokazano različite su tvrdnje o istom programu.","research-forge.6cd40b6ae3":"Zahtjevi počinju kao željeno ponašanje, ograničenja i rizici. Razvoj ih pretvara u jednu arhitekturu i jednu implementaciju, i od tog trenutka svaka alternativa je projekt prepisivanja, migracije ili optimizacije. Izbor je vjerojatno bio razuman kada je donesen, a donesen je prije nego što ga je itko mogao usporediti s izborima koje je isključio.","research-forge.6d058a6f22":"ne opće obećanje","research-forge.6d3a0e2f30":"Tipovi prvo obrezuju","research-forge.6d525b7156":"Izvršenje","research-forge.6d5ef04ce2":"dokaz, ograničenje ili deklarirana granica","research-forge.6d84ceaf60":"Izdvoji","research-forge.6db87cb08f":"Najbrže modelirano","research-forge.6dfe9d2cfa":"Forge, obični prikaz","research-forge.6e3f1d3672":"Četiri načina izražavanja namjere","research-forge.6ef75c79a0":"Ponovno izvođenje ne mora reproducirati svaku istraživačku granu. Mora reproducirati dokaze na kojima tvrdnja počiva: specifikaciju, odabranog kandidata, rezultat provjere i povezivanje izvršenja. Sve ostalo je povijest pretraživanja, a ne dokaz.","research-forge.70bcce6545":"Više ruta","research-forge.70cbd1d6b1":"Predloženo","research-forge.7173d0cb0f":"nepoznato, nezadovoljivo i dvosmisleno su rezultati","research-forge.718eb2ad28":"Smanjenje snage na pomak","research-forge.71e541f178":"Test pokreće program na ulazima koje je netko odabrao. Dokaz razmatra svaki ulaz koji pisana specifikacija pokriva. Oba su korisna i odgovaraju na različita pitanja. Kada Forge kaže da je kandidat verificiran, rečenica ima drugu polovicu: verificiran prema ovom svojstvu, za ove ulaze, pod ovim pretpostavkama. Pet dijelova mora putovati zajedno da ta rečenica išta znači: točan program koji je provjeren, svojstvo koje se o njemu tvrdi, pretpostavke, dokazi i ograničenja koja rezultat ne uspostavlja.","research-forge.722e234a05":"Pronađi kandidate","research-forge.72637278c6":"što Forge predaje","research-forge.729c82e196":"Jedan objekt prolazi kroz cijeli životni ciklus, tako da se ništa ne mora ponovno izvoditi iz teksta u svakoj fazi.","research-forge.72aeb780b2":"Kamo pretraživanje ide dalje","research-forge.72e6f70d7c":"rezultat pokazuje natrag na graf","research-forge.7305b76252":"jači dokazi zaslužuju jaču oznaku","research-forge.73128a8f5b":"zahtjev dolazi prvi","research-forge.734e643f73":"Četiri osi","research-forge.734ee26abf":"Mnoge obitelji","research-forge.736500a024":"otkriće i dokaz","research-forge.73710d0053":"Četiri stvari se ne mijenjaju s ishodom, i one su razlog zašto rezultat može pročitati netko tko nije pokrenuo pretraživanje.","research-forge.73e5abe068":"a metoda ostaje privatna","research-forge.740141dd76":"Ograničene provjere i testovi svojstava","research-forge.746a18b508":"Formatiranje, redoslijed operanada i normalizirani graf. Dovoljno da spriječi pretraživanje da radi isti posao dvaput.","research-forge.757b8815d3":"Jedan okvir","research-forge.75be5b7552":"Što zapis objavljuje","research-forge.75c9be68d0":"Odbija","research-forge.75e6b42fc5":"Izvan opsega","research-forge.762b81621f":"Prečka koju kandidat mora doseći da uđe u granicu.","research-forge.7701124587":"Dokazivanje da ne postoji manji ispravan program unutar deklariranog jezika pitanje je koje proučava istraživačka tradicija superoptimizacije. Ovo ograničeno pretraživanje je instanca tog pitanja koju Forge može provesti i provjeriti.","research-forge.7777053d27":"Namjerno biti u krivu","research-forge.77809a4225":"x86-64, RISC-V, WASM, Vulkan GPU","research-forge.779df62acf":"Četiri stalne obveze","research-forge.77e466696d":"Nijedan program u dopuštenom prostoru to ne može učiniti. Promijenite dopuštenje ili zahtjev.","research-forge.77ed933da8":"Vektor ciljeva i pozicija na granici","research-forge.7800ae62d5":"Ne samo pogrešno","research-forge.78546ce4c3":"Traženi učinak nije predstavljen ugovorom o provjeri.","research-forge.79919ce9fd":"Učinci i mogućnosti","research-forge.79b38792f6":"Četiri obitelji ciljeva","research-forge.79b3e4bb6e":"Mnogi kandidati","research-forge.7a36809fc6":"Forge proučava drugačiji slijed. Držite zahtjev eksplicitnim dulje. Dopustite nekoliko implementacija da se natječu unutar deklariranog jezika. Uspostavite podržane tvrdnje o ponašanju prije odabira među kompromisima performansi i implementacije.","research-forge.7a67d7aba8":"Jesu li okolina, učinci i numerička pravila predstavljeni?","research-forge.7b2d03931b":"Konvencionalno","research-forge.7ba8740951":"Koja je politika odabrala jednog člana i tko je stajao iza nje","research-forge.7bec3a8510":"Zaustavlja se na","research-forge.7c04a5cf0e":"Vektor troškova proizvodi granicu, što je drugačiji objekt od rangiranja.","research-forge.7c1e14bb08":"ne uklanja ljudsku prosudbu","research-forge.7c3f4fda21":"veličina 1","research-forge.7d448f8882":"Jedan skup kandidata","research-forge.7d58a74832":"Kandidat može proći sve primjere koje mu je pokazano, a ipak biti pogrešan negdje gdje nitko nije gledao. Forge traži specifičan unos koji otkriva razliku. Taj unos je protuprimjer, i čim postoji, pridružuje se trajnom skupu slučajeva koje svaki kasniji kandidat mora zadovoljiti. Ciklus iza toga je kratak. Kandidat se predloži, izazove se izvan primjera koji su mu dani, jedan unos otkrije pogrešno ponašanje, i taj unos se zadrži. Zatim pretraga počinje iznova protiv većeg skupa. Završava na dokazu, granici ili navedenom ograničenju, i nikada na kandidatu koji jednostavno izgleda ispravno. Ništa se nikada ne uklanja iz tog skupa, zbog čega treći pokušaj znači više od prvog.","research-forge.7d5f9141fc":"Mjerenje tek treba uspostaviti","research-forge.7db1bb6632":"Derivacija kao dokaz","research-forge.7df7e32344":"značka imenuje samo prečku","research-forge.7e2e54dae8":"Uravnotežena točka koljena može se predložiti. Prijedlog se bilježi s normalizacijom koja ga je proizvela, tako da recenzent može vidjeti da je to politika, a ne aritmetička nužnost.","research-forge.7e309ec303":"Hipoteza o izvedbi, bez mjerila","research-forge.7e5a975b6a":"Identitet","research-forge.7e826f7af3":"TRUST","research-forge.7ea014de7b":"Dokaz","research-forge.7ea35b3515":"Isti objekt nosi četiri uloge bez promjene kategorije. Tijekom pretrage je kandidat, tijekom istraživanja član klase ekvivalencije, subjekt kojeg dokaz imenuje, i unos protiv kojeg Kera planira. Jedan identitet nosi sve četiri.","research-forge.7f2b6cf0fd":"Kandidat mora zadovoljiti dokaze prikupljene do sada. Verifikator zatim pretražuje podržanu domenu za unos ili stanje gdje kandidat krši potpunu specifikaciju. Bilo koji protuprimjer koji pronađe pridružuje se skupu dokaza kao trajna obveza, tako da sljedeći kandidat mora zadovoljiti sve što su raniji zadovoljili i novi slučaj. Petlja postaje samo stroža. Zaustavlja se na dokazu, granici ili deklariranom ograničenju, i nikada se ne zaustavlja na kandidatu koji samo izgleda uvjerljivo. Dodavanje preduvjeta je dopušteno, ali otvara novi identitet specifikacije umjesto uređivanja starog.","research-forge.7f59a1f1d5":"Odluka","research-forge.7f5e7b5182":"Četiri institucionalne radnje","research-forge.7f87260e69":"Napisano unaprijed, čitano unatrag","research-forge.7fc3a8b99e":"Istraživački dizajn kombinira DSL nad tipiziranim izrazima s enumerativnom, CEGIS, genetsko-programskom i MCTS pretragom, e-graf jednakosnom saturacijom, mjerenjem temeljenim na Craneliftu i Z3/CVC5 provjerama za ograničene obveze. Višekriterijska pretraga razmatra latenciju, broj operacija, memoriju i registarski pritisak; ciljano generiranje koda uključuje x86-64, RISC-V, WASM, Vulkan GPU i Verilog. Brojevi zadataka i testova, ubrzanja na različitim domaćinima i proizvodna izvedba ostaju posao validacije.","research-forge.7fda8c3a33":"Tri kandidata, tri poštene oznake","research-forge.7fdf663e3a":"Hipoteza o izvedbi, bez mjerila","research-forge.7fef09721e":"Dweve Forge, verificirano otkrivanje programa","research-forge.80302bf5ea":"Ograničene provjere i pretraga","research-forge.80446347ed":"Obrazac","research-forge.80d70e543d":"Granica i selekcija","research-forge.814de3b8b2":"Četiri člana granice","research-forge.8179013356":"Promet, radni skup, prijenosi i lokalnost","research-forge.81eccd6085":"Četiri razloga za šutnju","research-forge.81f08b5724":"dugo nakon što ljudi odu","research-forge.8208f3f27b":"Redoslijed","research-forge.82319c5d9e":"Primjena transformacija u nizu čini rani izbor koji može isključiti kasnije poboljšanje. Forge proučava kompaktne reprezentacije koje istovremeno drže mnoge ekvivalentne oblike, tako da nekoliko putanja transformacije koegzistira do ekstrakcije. Predstavljanje mnogih prepisivanja zajedno umjesto obvezivanja na jedan redoslijed je pristup koji istraživačka literatura naziva jednakosnom saturacijom.","research-forge.8252f95ddf":"promjena jednog čvora u verificiranom grafu vraća kandidata u dobro oblikovano stanje","research-forge.825d89212b":"Znanje o transformacijama","research-forge.8283b9d96c":"Bez faze redoslijeda","research-forge.82c24c3687":"Program je slobodan mijenjati oblik, a ono što mora zadovoljiti nije.","research-forge.8301a503f4":"Neslaganje između dva valjana čitanja prikazuje se kao pitanje, a ne rješava se pretragom.","research-forge.8368699cf6":"Mnogi mogući programi","research-forge.8375a2c337":"Tri pokušaja, jedan rastući popis slučajeva","research-forge.837b910e11":"dok politika ne odabere jedan","research-forge.83908aa381":"Tip, oblik, reprezentacija i numerički ugovor koji ga uređuje.","research-forge.83ea53e5ec":"Mnogo jednakih oblika, tri vrijedna ekstrakcije","research-forge.8597c90c68":"Istraživački testovi (opseg)","research-forge.864c38bd34":"Tamo gdje mjerenje ne postoji, ćelija ostaje prazna. Prazna ćelija je izjava o dokazima, a ispunjavanje modelom tiho bi pretvorilo procjenu u rezultat.","research-forge.8682d73e62":"Program","research-forge.869cb36316":"Jedna predložena implementacija prikvačene specifikacije.","research-forge.8703ca90ce":"Vlasništvo, memorijski prostor i ciljna ograničenja koja se primjenjuju.","research-forge.870d4e66fc":"zapis imenuje opseg","research-forge.87805aff07":"Uopće nema programa","research-forge.879bb91dae":"nijedna strana ne apsorbira tvrdnju druge","research-forge.87d0c490e0":"Dimenzije troška koje ovaj eksperiment uspoređuje, odabrane prije nego što se bilo koji kandidat izmjeri.","research-forge.88306943fe":"Metoda","research-forge.8831be6339":"Kada se ne pojavi nijedan program","research-forge.887b3d18f0":"Forge posjeduje specifikaciju, pretragu kandidata, istraživanje ekvivalencije, granicu ciljeva i verifikaciju. Kera je Dweveov grafički izvorni jezik sustava i temelj Direct Computationa, i posjeduje planiranje, spuštanje, ciljno specifičnu emisiju i izvršavanje. Ono što prelazi između njih je verificirani semantički graf sa svojim obvezama, svojim profilom ciljeva i svojim dokazima. Graf se imenuje umjesto izvora, a rezultat koji se vraća pokazuje na isti identitet.","research-forge.887cf267e6":"Nezadovoljivo","research-forge.888797190c":"jedno ponašanje, nekoliko implementacija","research-forge.888e561892":"Četiri načina da se traži bolje","research-forge.892257a43b":"Dokaz može biti valjan","research-forge.89404ea15f":"Formalni upit","research-forge.894f8a793c":"Koristite jaču teoriju, širi jezik ili veći proračun.","research-forge.897b3ac98d":"Generiranje koda","research-forge.89b86ab0e6":"Jezik","research-forge.89c7caf6b5":"Koji koraci obavljaju posao","research-forge.89c8a2851d":"Memorija","research-forge.89f5343231":"Trajni trag odluka","research-forge.8a102fcb06":"Ograničena potpuna pretraga","research-forge.8a9523ae04":"Što kandidatski čvor nosi","research-forge.8ab2c84ed7":"Jedna arhitektura","research-forge.8b2d50590f":"Formalni dokaz pokriva specifikaciju i semantiku koja je kodirana. Ako je uvjet okoline izostavljen ili numerički model ne odgovara stroju, rezultat je valjan i odgovara na nešto drugačije pitanje.","research-forge.8b593995c8":"Pretpostavke","research-forge.8b7acd8daf":"Ništa ne ulazi u granicu s oznakom jamstva jačom od onoga što dokazi podupiru.","research-forge.8bafd39dbd":"Namjerna granica proizvoda","research-forge.8c0dc9aa18":"Preduvjeti, postuvjeti i jamstvo koje rezultat mora doseći.","research-forge.8c1cf9e158":"Primjeri, logički uvjeti, skice i referentno ponašanje, svaki zabilježen sa snagom koju nosi.","research-forge.8cb71202e7":"Nekoliko ponašanja odgovara primjerima. Još jedan slučaj odlučuje.","research-forge.8d9c9bb663":"Dva zapisa, jedan graf","research-forge.8daee0af31":"Konvencionalni put koji se sužava na jednu bazu koda i ponovno otvara kao projekti prepisivanja, uz istraživački put koji zadržava lepezu verificiranih kandidata dok politika ne odabere jedan","research-forge.8db9aab917":"koliko je snažno provjereno","research-forge.8dce170de2":"Vrijednost","research-forge.8dd2a359fe":"LEAN","research-forge.8df2bb4b75":"Razina jamstva koju kandidat mora doseći, granica pretraživanja i što prijaviti kada ništa ne dosegne.","research-forge.8e2717f3c6":"Kandidat koji ne može biti legalan nikada se ne gradi, pa granica uvijek sadrži samo dobro oblikovane programe.","research-forge.8e34678d0d":"ilegalni kandidati nikada ne ulaze u skup","research-forge.8e3934fad2":"Četiri kartice politike koje odabiru različite članove jedne granice, svaka proizvodi potpuni zapis odluke s razlozima dominacije za članove koje nije odabrala","research-forge.8e50172772":"Neovisna provjera je zasebna prečka jer postavlja drugačije pitanje. Ne je li dokaz proizveden, nego slaže li se provjeravač koji ga nije proizveo, koristeći samo dokaze priložene uz kandidata.","research-forge.8e84017c75":"Veza je na određeni program. Promijenite jedan korak unutar njega i dokaz više ne opisuje ono što držite, pa se oznaka vraća na običnu strukturnu dok se provjera ne ponovi.","research-forge.9032517861":"Pet tvrdnji, pet stanja","research-forge.908b29b50b":"svaka prečka zahtijeva drugu vrstu dokaza","research-forge.90e40d5043":"Započni","research-forge.919003799d":"Testirano","research-forge.91ad20c2db":"Dva plana","research-forge.91c0ae2087":"precizna namjera smanjuje rizik implementacije","research-forge.91cf399266":"može biti pravi odgovor","research-forge.9225f51a2a":"Protuprimjer","research-forge.9233f41df0":"Tri cilja","research-forge.9297ab4ca3":"Pročitaj priču","research-forge.929818c51d":"Najveći memorijski otisak","research-forge.929a9f0f25":"Prvi koji radi","research-forge.92a7058e4e":"Raspravite o institucionalnoj suradnji","research-forge.92f5fe6952":"Četiri ishoda","research-forge.936c25084e":"Referentno ponašanje","research-forge.9388f4158d":"uravnotežena opcija je izbor kao i ostali, i to kaže","research-forge.93c09204c0":"Umjereno na oba troška","research-forge.93c2975761":"Prati pretraživanje","research-forge.93f79d808f":"Odražava li odabrani član granice navedeni prioritet?","research-forge.942587e61e":"List projekta","research-forge.9477d7acdd":"Zatražite partnerski pristup","research-forge.94822e9dc6":"Kovačnica, institucionalni prikaz","research-forge.94827e8438":"Pročitajte radove","research-forge.94859cf20a":"Zapečaćeno i otvoreno","research-forge.948c81b996":"Nekoliko verificiranih putova naprijed","research-forge.94cc86c489":"jedan promijenjen korak i značka imenuje program koji više ne držite","research-forge.94ed3b0134":"od namjere do odabranog programa","research-forge.950dfeeb8b":"Namjera postaje kod","research-forge.9550373e8b":"Izmjereno","research-forge.95eaeda430":"Koliko velika verificirana regija grafa može korisno postati.","research-forge.9678c4f1e3":"jedan identitet prelazi granicu","research-forge.96aff7c058":"Jedna petlja protuprimjera","research-forge.96b9633285":"Što pretraživanje može promijeniti","research-forge.973c3f46d7":"U opsegu","research-forge.978aa6569a":"Završava ranije","research-forge.97c89a4d66":"Radnja","research-forge.97ee6e5610":"Predloži","research-forge.992bc34385":"Čista specifikacija ne može usput dobiti pristup datotekama ili mreži. Ugovor s cijelim brojem fiksne širine ne može tiho postati neograničeni matematički cijeli broj. Reprezentacija s mjerilom zadržava svoje mjerilo, a memorijski sigurna skica ne može se dovršiti neprovjerenim aliasom.","research-forge.99508624d6":"Nijedan program ne može biti","research-forge.996c4a8976":"sadrži program","research-forge.99dc6bab08":"Dva kandidata koji zadovoljavaju isti skup primjera i razilaze se na ulazu koji nitko nije dao, s tri načina na koja dionik to može riješiti","research-forge.9a24005705":"Jedno potpuno pretraživanje, prema veličini","research-forge.9a469ce88c":"Beton","research-forge.9a4ce5f246":"izbor mora biti naveden","research-forge.9ae33a7d0e":"Svojstvo","research-forge.9b7bd11153":"Provjereni graf koji prelazi tvrdu granicu u Keru, planiran na dva različita načina, s oba rezultata povezana natrag na isti identitet grafa","research-forge.9c25db95cc":"Kandidat A","research-forge.9c86ef6b28":"Istražuje kandidatske implementacije pod ugovorenim ugovorom","research-forge.9cbe42aaff":"Planirano","research-forge.9cfcf5930d":"Latencija, kretanje, prikladnost implementacije i teret dokaza nisu dotaknuti prvim rezultatom.","research-forge.9d68007b07":"Program","research-forge.9dba232302":"Ponašanje koje je traženo","research-forge.9dc6ec542b":"nije isto što i pokretanje","research-forge.9dd59ab994":"Uspoređuje","research-forge.9df0f32743":"Registri, paralelizam, ograničenja uređaja, prenosivost","research-forge.9e811eeaf8":"Nakon ispravnosti","research-forge.9ee018232e":"Ništa ne ulazi u kandidata što paket nije dopustio.","research-forge.9f36fa8055":"Zadržite ovaj oblik i pronađite dio koji nedostaje.","research-forge.9f78c690af":"iz različitih razloga","research-forge.9fea6de725":"Formalno","research-forge.9ff7951f81":"Provjerena značka proširena na pet dijelova, ponovno prikazana pored istog programa nakon što se jedan korak promijenio i veza između njih prekinula","research-forge.a0a9a568c3":"Kandidati koji su ostali valjani i oni koje je protuprimjer okončao","research-forge.a0c9c40551":"program mijenja oblik","research-forge.a10a7ad63a":"Što paket popravlja","research-forge.a266f0a07d":"Istražite kandidatske jezgre","research-forge.a2e1cc1b2f":"Može se promijeniti","research-forge.a2f4a96337":"Kompromis","research-forge.a32a41c9d1":"nema programa, s razlogom","research-forge.a336e6650d":"Dva kandidata, dvije iskrene točke zaustavljanja","research-forge.a3c143732a":"problem je riješen prije pretraživanja","research-forge.a3c686e711":"Kategorija","research-forge.a4508fc8ef":"Semantička relacija","research-forge.a48f8c0cf7":"Pet programa, jedna specifikacija","research-forge.a4c745386f":"Četiri politike","research-forge.a57b5d2330":"Pretraživanje se može promijeniti","research-forge.a6067adc3c":"latencija, operacije, memorija, registri","research-forge.a618b4be8d":"Upit","research-forge.a61c938f35":"Pretraživanje predlaže","research-forge.a723285355":"Modelirano","research-forge.a79764b5e5":"Nekoliko ispravnih programa, svaki sa svojim dokazom","research-forge.a7987d27ae":"Odriče se jedne prepravke","research-forge.a898f4eb0d":"To je isti izbor koji svatko donosi o ruti kroz grad. Najbrža, najjeftinija i ona s manje promjena sve su razumne. Ono što nije razumno jest tvrditi da postoji samo jedan odgovor bez navođenja čega ste optimizirali.","research-forge.a8b262d32b":"Tražiti od modela kod i dobiti nešto što izgleda ispravno druga je vježba. Ne postoji ništa što bi odgovor trebao zadovoljiti, pa nema ničega protiv čega bi mogao pasti, a osoba koja čita mora pružiti svu prosudbu.","research-forge.a8e5c0ccf3":"Graf koji rezultat provjere zapravo imenuje.","research-forge.a91bcce893":"Uvijek","research-forge.a94848cbdb":"Samo kandidati koji su prošli vrata dospijevaju do ovog koraka.","research-forge.a9d6afeda0":"natrag na prijedlog","research-forge.a9f1693ebe":"Svaki član zadovoljava ugovoreni ugovor, pa je jedino preostalo pitanje koji trošak prihvaćate.","research-forge.aa1a2e191d":"NAVEDENO PRVO","research-forge.aa2b80d828":"Granica","research-forge.aa62568659":"Reći što nije poznato korisnije je nego popuniti prazninu nečim što se dobro čita.","research-forge.aa6708d51a":"Dokazana je podržana univerzalna relacija.","research-forge.aa88ef980e":"Koja podržana okruženja mogu to pokrenuti","research-forge.aa9002c223":"Značka, otvorena","research-forge.aab9ca1bc6":"U razredu","research-forge.ab89d05c4b":"Postavljanje","research-forge.ab98f5b857":"Fiksno","research-forge.ab9a4aae0b":"Najmanje kretanje","research-forge.aba86cd010":"Politika odabire","research-forge.abc0c09f1f":"Stroj može promijeniti koji koraci obavljaju posao, redoslijed kojim se događaju i koje međuvrijednosti uopće postoje. Dva programa koja ne dijele nijednu od tih stvari i dalje mogu raditi isti posao, a pretraživanje smije preferirati bilo koji od njih.","research-forge.ac30f0abf3":"Ako mijenja ono što program proizvodi, to nije poboljšanje tog programa. Ispravnost je ono što kandidatu osigurava mjesto u razgovoru o trošku.","research-forge.acc3156c5b":"Pokreni vezu","research-forge.ad2cecac38":"Tekst i struktura","research-forge.ad44adccc4":"dokaz jača preciznu tvrdnju","research-forge.ad59e3b102":"Najširi","research-forge.adfc01e921":"Kandidat se može ocjenjivati samo prema problemu koji je već bio naveden.","research-forge.adfccdc8de":"Forge: što","research-forge.ae2fee1a70":"Gradite samo tipski ispravne veće izraze.","research-forge.aeb1c76446":"Četiri prstena, jedno pravilo objave","research-forge.aebc2854f4":"Numerički","research-forge.aeedafb2fe":"neuspjeh postaje trajna obveza","research-forge.af3cc2e010":"program, ne cilj","research-forge.af68d81f17":"Ponašanje i ograničenja koja su definirala uspjeh.","research-forge.af78a00855":"Koliko se izravno njegovo ponašanje može provjeriti","research-forge.afbab5dc80":"prvi otkriveni kandidat zadržava svoje mjesto u povijesti i napušta granicu","research-forge.aff55d9c0e":"Prijavite najmanji verificirani kandidat i njegovu granicu.","research-forge.b0339e3e63":"Synthesis, Cranelift i","research-forge.b048046ec8":"Kandidat s najnižom latencijom može imati veći radni skup. Najprenosiviji može biti sporiji na stroju pred vama. Onaj s najjednostavnijim dokazom može odustati od agresivnog prepisivanja. Može se predložiti uravnotežena točka koljena, a prijedlog se bilježi kao politika s pripadajućom normalizacijom.","research-forge.b06be2ecea":"Zato Forge objavljuje pretpostavke uz tvrdnju i zato pregled ima imenovane vlasnike. Specifikacija, model i izvršni cilj tri su odvojena potpisa.","research-forge.b0811e470d":"Razmjena","research-forge.b0a205ebad":"Počnite od dopuštenih ulaza i konstanti.","research-forge.b0b01215a0":"Kandidat D","research-forge.b116105199":"Četiri pitanja za razriješiti","research-forge.b1d348384e":"Više od jedne vrste boljeg","research-forge.b23977841c":"Protuprimjeri","research-forge.b26aa65383":"Što riječ verificirano pokriva","research-forge.b2bc0c005f":"Provjereno","research-forge.b30077250b":"predati rano ili sačuvati alternative","research-forge.b307b88c84":"Prenosivost","research-forge.b3776d63ad":"Pozadine","research-forge.b39a168c1e":"Paket se piše jednom, a svaki rezultat na ovoj stranici upućuje na verziju koja ga je proizvela.","research-forge.b3c0c45a3e":"Forge odvaja strukturnu valjanost, konkretno testiranje, ograničeno iscrpno provjeravanje, formalnu verifikaciju, neovisno provjeravanje i povezivanje izvršenja. Kandidat napreduje samo kada postoji dokaz za sljedeću stepenicu, a stepenica koju je dosegao dio je rezultata, a ne ukras na njemu. Brzo pretraživanje može zadržati testirane kandidate dok se dokaz još dobiva. Neovisno provjeravanje nalazi se na vlastitoj stepenici jer pita slaže li se provjeravač koji nije proizveo dokaz s njim.","research-forge.b45b598d0c":"Jedan identitet grafa povezuje specifikaciju, dokaz, plan i rezultat koji se vratio.","research-forge.b462217ad5":"Jedan ulaz pokazuje da je ponašanje pogrešno.","research-forge.b4dad06170":"Tehničke specifikacije","research-forge.b51ba796f2":"Počinje od","research-forge.b5338782b3":"Dimenzije prema kojima se kandidat rangira, modelira ili mjeri","research-forge.b568d47f2e":"Ulaz","research-forge.b5b0a8f813":"Koncentrični slojevi od javnog istraživačkog pitanja kroz ponovljivi protokol i objavljeni rezultat do zaštićene interne metode","research-forge.b6272cdaf7":"Forge bilježi identitet specifikacije, relevantno podrijetlo kandidata, protuprimjere, korištene relacije ekvivalencije, ciljne vrijednosti, prijelaze jamstva i politiku odabira. Taj lanac objašnjava zašto odabrani program postoji i koje je alternative istisnuo, te je dovoljan da netko drugi rekonstruira tvrdnju. Ponavljanje ne mora ponoviti svaku istraživačku granu, samo dokaz na kojem tvrdnja počiva.","research-forge.b638127a16":"Ograničeno potpuno","research-forge.b66b54c1d8":"Kandidat kao objekt","research-forge.b6d2f4c9e8":"pretraživanje ne može proširiti tipski sustav","research-forge.b70446abdf":"Zahtjevi mogu biti u sukobu. Skup primjera može dopustiti nekompatibilna ponašanja. Traženo jamstvo može ležati izvan semantike koju ugovor verifikacije predstavlja. Pretraživanje može doseći svoju deklariranu granicu bez zaključka. Forge svako od toga prijavljuje zasebno jer zahtijevaju četiri različita odgovora i koštaju četiri različita iznosa za djelovanje. Sukobljene klauzule se usklađuju, konkurentna ponašanja se odvajaju dodatnim dokazima, nerazriješeno pretraživanje se proširuje, a jamstvo izvan ugovora bilježi se kao ono koje se ne može opravdati kako je navedeno.","research-forge.b71f6e67ce":"Proučite jednu odluku o implementaciji","research-forge.b74c664479":"Stanja jamstva","research-forge.b78c6b0e99":"prolazak primjera i zadovoljenje uvjeta nisu ista tvrdnja","research-forge.b82b9b1043":"oblici se kombiniraju namjerno","research-forge.b895ceb6b1":"neodgovor sprječava lažno povjerenje","research-forge.b8f5629ab6":"stupac obveza nikada se ne smanjuje između iteracija","research-forge.b97a1099a3":"Strojno provjerljivo","research-forge.b9b15e5f94":"Tri dosjea","research-forge.ba25b214d8":"svaki traži nešto drugo","research-forge.ba3fef96ae":"Dokaz u pet dijelova","research-forge.babfc32160":"Barem jedno ponašanje zadovoljava svaku klauzulu odjednom.","research-forge.bac127c5b7":"Nedominirano","research-forge.bb11a8e3f8":"Pravila","research-forge.bb2fe63e5a":"INPUT","research-forge.bb54db510a":"Prihvati","research-forge.bb9cf14180":"Politika","research-forge.bb9d653f4e":"Izazov","research-forge.bbddd6ecdf":"Koje međuvrijednosti postoje","research-forge.bc0b16aa7f":"Četiri verificirana programa ponovno rangirana prema svojstvu koje tražite, s uravnoteženom opcijom prikazanom kao preferencijom poput ostalih","research-forge.bc6b9b38a3":"Koraci koji pripadaju Dweveovoj istraživačkoj metodi pojavljuju se kao zapečaćeni čvorovi s objavljenim ulazima, izlazima i identitetom. Institucionalna transparentnost i povjerljivost istraživanja tretiraju se kao dva svojstva jednog lanca, a ne kao suprotnosti.","research-forge.bc7819b34f":"Nepoznato","research-forge.bcd3b8580e":"objekt nikada ne mijenja kategoriju","research-forge.bce0641417":"Pretraži","research-forge.bd163f2c2d":"Svaka relacija nosi svoje uvjete. Algebarsko restrukturiranje, smanjenje snage, vektorizacija, fuzija, promjena rasporeda i eliminacija pomaka dopušteni su samo kada su aritmetički, širinski, zaokružujući, učinkoviti i redoslijedni uvjeti zadovoljeni u ovom eksperimentu.","research-forge.bd5d4d39fa":"Kaže","research-forge.bda89bbff3":"Promjena primjera, proširenje tipa, dopuštanje učinka ili opuštanje numeričke tolerancije stvara drugačiji istraživački problem s drugačijim identitetom. Ranije izvođenje ostaje u zapisu pod vlastitim paketom, pa se dva rezultata nikada ne čitaju kao odgovori na isto pitanje.","research-forge.bdfebc22bf":"Ciljni vektor","research-forge.be601df25e":"Istraživanje","research-forge.beb1ed4753":"javni dokazi uz zaštićenu metodu","research-forge.bef833878c":"popis slučajeva nikada se ne skraćuje između rundi","research-forge.bf55421b4a":"Traženo ponašanje nije pokriveno provjerom.","research-forge.bff5c4dd05":"Zahtijevaj","research-forge.business.actionCase":"Pogledajte institucionalni slučaj","research-forge.business.actionCooperate":"Razgovarajte o istraživačkoj suradnji","research-forge.business.banner.body1":"Dokazuje da jedan put postoji.","research-forge.business.banner.body2":"Ne dokazuje da je taj put najbrži, najmanji, najprenosiviji, najlakši za reviziju ili najprikladniji za instituciju koja ga mora provoditi.","research-forge.business.banner.eyebrow":"Problem prostora dizajna","research-forge.business.banner.firstDetail":"Pretraga je utvrdila da dopušteni kandidat postoji.","research-forge.business.banner.firstLabel":"Jedan zadovoljavajući put","research-forge.business.banner.firstStatus":"Važeći u opsegu","research-forge.business.banner.footer":"Dweve Forge, otkrivanje verificiranih programa","research-forge.business.banner.frontierDetail":"Nekoliko ispravnih programa ostaje za različite profile ciljeva.","research-forge.business.banner.frontierLabel":"Nedominirane alternative","research-forge.business.banner.frontierStatus":"Vidljivo","research-forge.business.banner.headline":"Ispravnost je početak","research-forge.business.banner.headlineAccent":"ne i konačni odgovor","research-forge.business.banner.instrument":"Nakon ispravnosti","research-forge.business.banner.leftLabel":"Prvi važeći kandidat","research-forge.business.banner.limitDetail":"Prvi rezultat ne govori ništa o obližnjim kompromisima.","research-forge.business.banner.limitLabel":"Nema univerzalnog optimuma","research-forge.business.banner.limitStatus":"Nastavite pretragu","research-forge.business.banner.policyDetail":"Institucija navodi koji je kompromis oblikovao odabir.","research-forge.business.banner.policyLabel":"Zabilježena politika odabira","research-forge.business.banner.policyStatus":"Moguće pregledati","research-forge.business.banner.rightLabel":"Granica odlučivanja","research-forge.business.banner.tag":"Usporedi","research-forge.business.banner.verdict":"Zadržite alternative dok politika ne bude eksplicitna.","research-forge.business.banner.verdictLabel":"Pravilo odlučivanja","research-forge.business.close.body":"Unesite namjeru domene, formalne metode, mjerenje hardvera ili neovisnu reviziju. Forge pruža zajednički istraživački objekt za usporedbu otkrivanja programa, dokaza i izvođenja.","research-forge.business.close.label":"Dweve Forge, istraživačka suradnja","research-forge.business.close.primary":"Razgovarajte o institucionalnoj suradnji","research-forge.business.close.secondary":"Pregledajte ugovor o dokazima","research-forge.business.close.title":"Izazovite jednu odluku.","research-forge.business.eyebrow":"Dweve Forge, otkrivanje verificiranih programa","research-forge.business.lede":"Dweve Forge istraživački je projekt koji pretvara primjere, ograničenja i djelomične specifikacije u kontroliranu pretragu valjanih programa, uspoređuje nedominirane alternative i čuva dokaze koji podupiru odabrani rezultat. Specifikacija ostaje trajna imovina dok mogućnosti implementacije ostaju otvorene dulje.","research-forge.business.titleAccent":"dok dokaz ne odluči","research-forge.business.titleLead":"Držite namjeru otvorenom","research-forge.businessGlyph.ambiguous":"Ponašanje još uvijek dvosmisleno","research-forge.businessGlyph.assurance":"Osiguranje imenovano","research-forge.businessGlyph.boundary":"Istraživački program, ne softverska ponuda","research-forge.businessGlyph.candidateA":"Kandidat A","research-forge.businessGlyph.candidateB":"Kandidat B","research-forge.businessGlyph.candidateC":"Kandidat C","research-forge.businessGlyph.candidateD":"Kandidat D","research-forge.businessGlyph.counterexample":"Pronađen protuprimjer","research-forge.businessGlyph.execution":"Plan i rezultat povezani","research-forge.businessGlyph.fixed":"Fiksno","research-forge.businessGlyph.kera":"Kera izvođenje","research-forge.businessGlyph.lowLatency":"Najmanja latencija","research-forge.businessGlyph.lowMovement":"Najmanje kretanje","research-forge.businessGlyph.policy":"Politika odabira","research-forge.businessGlyph.portability":"Najšira prenosivost","research-forge.businessGlyph.research":"Istraživanje","research-forge.businessGlyph.selected":"Odabrani graf","research-forge.businessGlyph.simpleProof":"Najjednostavniji dokaz","research-forge.businessGlyph.spec":"Ponašanje, granice i politika jamstva","research-forge.businessGlyph.specFixed":"Specifikacija fiksirana","research-forge.businessGlyph.specLabel":"Nepromjenjiva specifikacija","research-forge.businessGlyph.subtitle":"Provjerene alternative prije izvršenja","research-forge.businessGlyph.title":"Lista odluka o specifikaciji","research-forge.businessGlyph.tradeoffs":"Vidljivi kompromisi","research-forge.businessGlyph.visible":"Vidljivo","research-forge.businessHero.titleMiddle":"bolje","research-forge.businessHero.titleSuffix":"softver","research-forge.c00cde6a62":"Konačno deklarirano područje pokriveno je bez greške.","research-forge.c023fe51a2":"Forge je dostupan kroz Dweveov program istraživačkih partnera. Testirajte ograničena pitanja programskih sinteza i dogovorite uvjete evaluacije prije pristupa. Rezultati ostaju istraživački dokazi, ne obećanje proizvoda.","research-forge.c040f6e04f":"granica je navedena s rezultatom","research-forge.c0caf528d8":"Višekriterijski trošak","research-forge.c10a6d0899":"Kontradiktorni zahtjevi pronađeni tijekom implementacije postaju kašnjenje i dorada. Dvosmislenost pronađena nakon implementacije postaje nedosljedno ponašanje koje netko mora uskladiti. Pronalaženje bilo kojeg od njih prije nego što implementacija postoji najjeftinije je mjesto za pronalazak.","research-forge.c12f928235":"Primopredaja grafa","research-forge.c144b00ba8":"Latencija, propusnost i kritični put","research-forge.c174fa3158":"Granica se ne pomiče kada se politika promijeni","research-forge.c1929c45f3":"Pretraga može dokazati da ništa u deklariranom jeziku ne zadovoljava zahtjev, ne uspjeti odlučiti pitanje unutar svojih teorijskih i resursnih ograničenja ili pronaći da dostavljeni dokazi dopuštaju nekoliko nekompatibilnih ponašanja.","research-forge.c1fcd5ecff":"Možda je brže. Možda je manje. Možda je najčišća stvar koju je itko smislio za taj problem.","research-forge.c20d749a05":"VIDLJIVI KOMPROMISI","research-forge.c2184a31d3":"Zahtjev je ono što vrijedi zadržati, a implementacija je rezultat koji je on proizveo.","research-forge.c297908b88":"Kandidat ne može biti promoviran kontrolom, samo dokazom da sljedeća razina postoji.","research-forge.c29cf0b245":"Kompromisi","research-forge.c2bb6fa0c5":"NEPROMJENJIVA SPECIFIKACIJA","research-forge.c2ea17d5fe":"TRI POLJA","research-forge.c33ef52668":"zahtjev ne","research-forge.c3451e6677":"Primjeri pokazuju očekivano ponašanje na slučajevima koje ljudi mogu provjeriti. Logički uvjeti definiraju što mora vrijediti izvan tih slučajeva. Djelomična skica čuva sigurnosnu arhitekturu, sučelje ili propisani tijek kontrole dok jedno područje ostaje otvoreno za otkriće. Zajedno čine zahtjev dovoljno preciznim da stroj može pasti protiv njega, što je svrha specifikacije. Sve što pretraga smije odlučiti u vaše ime pripada istom dokumentu.","research-forge.c36594e8f5":"minimalno unutar deklariranog jezika","research-forge.c3be8bb127":"Koliko brzo","research-forge.c3e4b59bd1":"Koliko podataka program premješta","research-forge.c439038abe":"Nije pokriveno","research-forge.c440d9bf36":"Pretraga ne može spasiti kandidata promjenom cilja.","research-forge.c4cc9c34bd":"Jedna petlja usavršavanja","research-forge.c533db2294":"prije nego što vidite opcije","research-forge.c554cb5d95":"Dweve Research, Nizozemska","research-forge.c60a3a3cff":"Pretražite podržano područje za ulaz koji krši uvjete.","research-forge.c648f0b37b":"Četiri razloga zašto je odgovor nema programa","research-forge.c69925079f":"pogrešno na ovom točnom slučaju","research-forge.c6c9f7cd5c":"Pametna prečica","research-forge.c6d954c113":"Ništa u deklariranom jeziku i pretpostavkama ne zadovoljava zahtjev.","research-forge.c74dddd8a0":"Unosi koji odgovaraju na kasnije pitanje napisani su kada je odluka donesena.","research-forge.c76a21c28e":"Zato se poznati identitet može prihvatiti u točnoj cjelobrojnoj regiji, a odbiti u regiji s pomičnim zarezom unutar istog grafa. Uvjet ostaje vezan uz relaciju, tako da ekstrakcija nikada ne nasljeđuje prepisivanje na koje nije imala pravo.","research-forge.c7e00eda62":"tvrdnja je minimalna unutar ovog jezika, na ovoj granici","research-forge.c7f2c2e7d4":"Tri kruga","research-forge.c8050fa93f":"Dokazuje da jedan put postoji. To je stvaran rezultat i vrijedi ga imati rano, jer vam govori da se zahtjev uopće može zadovoljiti unutar jezika koji ste deklarirali.","research-forge.c82f0b5250":"križajući par je kompromis, ne rangiranje","research-forge.c855f0a33c":"Nepodržana teorija zaustavlja kandidata na testirano ili na izvan opsega, a zapis kaže koji. Formalni rezultat može imenovati semantički graf dok emitirani artefakt još čeka na svoju vezu izvršenja. Nijedno od tih stanja nije sažeto u jednu značku.","research-forge.c932a404bb":"Testirajte, izazovite i dokažite ono što dokazi podržavaju.","research-forge.c93e1581c7":"Čak i mali problem može sadržavati milijune mogućih programa. Forge gleda unutar operacija i granica koje eksperiment dopušta, a različita ponašanja pretrage istražuju različite dijelove tog prostora. Ono što nijedno od njih ne smije učiniti jest olakšati problem: zahtjev je izvan pretrage i ne pomiče se.","research-forge.c940737ecf":"Forge, istraživački prikaz","research-forge.c968557f4b":"Provjereni graf i dokazi za Keru","research-forge.c9bf3b001c":"najvrjedniji rezultat","research-forge.c9d8f0eef6":"obrezati prije evaluacije","research-forge.ca032b5844":"Što radi","research-forge.ca046ad257":"Pročitajte istraživanje","research-forge.ca08ca46bd":"Ljestvica jamstva","research-forge.ca09c54bff":"Mogućnosti","research-forge.ca6d0e3aaa":"Faza","research-forge.ca7b181648":"Fiksni redoslijed","research-forge.cb3242398c":"Nekoliko programa ostaje važeće","research-forge.cb3888722e":"Nijedna strana ne preuzima tvrdnju one druge, a identitet grafa zadržava točnu vezu.","research-forge.cb48a44ca9":"Tri iteracije","research-forge.cb4ae000d8":"program ostaje otvoren","research-forge.cb5c0156c2":"Nosi vlastita ograničenja","research-forge.cbb9f1b292":"svaki govori nešto drugo","research-forge.cbbe214a22":"Donesite specifikaciju","research-forge.cc68ebf0f3":"Granica drži kandidate koje nijedan drugi kandidat ne nadmašuje na svakom aktivnom cilju. Uklanjanje člana zahtijeva relaciju dominacije koja se može pokazati, a ne skrivenu preferenciju u pretrazi. To tehničku usporedbu pretvara u nešto što nadzorni odbor može pročitati: svaki član zadovoljava isti ugovor i razlikuje se samo po cijeni.","research-forge.ccfd13401b":"Odredite problem","research-forge.cd27068c9e":"Trajna imovina","research-forge.cd3d5a59f1":"Determinističko izvršavanje","research-forge.cdaa0de1dc":"Dijeljenje zajedničkih podizraza","research-forge.cdbed7e540":"Jezik pretraživanja","research-forge.cde215073a":"sva četiri zadovoljavaju isti ugovor","research-forge.cdf33799d9":"Zapis veze izvršavanja","research-forge.ce3b4e045e":"prije nego što postane trajno","research-forge.ce9e850988":"pretraga izvještava o odstupanju umjesto da odabere jedno od njih","research-forge.cec4b662d3":"Djelomični program","research-forge.cecae09ffe":"Stroj pronalazi kandidata.","research-forge.cf5ed047cf":"Vrijednosti ciljeva i položaj na granici.","research-forge.cf61965045":"činjenice dostupne prije nego što se išta vrednuje","research-forge.cf88038e56":"Nije konačno","research-forge.cf9b77061f":"Otvoreno","research-forge.consumer.banner.bodyOne":"Kandidat može biti brži, manji ili lakši za pokretanje.","research-forge.consumer.banner.bodyTwo":"Ako krši specifikaciju, to nije optimizacija tog programa.","research-forge.consumer.banner.checkDetail":"Zahtijevajte razinu dokaza koju eksperiment navodi.","research-forge.consumer.banner.checkLabel":"Provjerite ispravnost","research-forge.consumer.banner.checkStatus":"Vrata","research-forge.consumer.banner.compareDetail":"Samo prihvatljivi kandidati ulaze u raspravu o kompromisima.","research-forge.consumer.banner.compareLabel":"Usporedite cijenu","research-forge.consumer.banner.compareStatus":"Zatim usporedite","research-forge.consumer.banner.eyebrow":"Nepregovarajuća granica","research-forge.consumer.banner.findDetail":"Istražite različite dopuštene strukture programa.","research-forge.consumer.banner.findLabel":"Pronađite kandidate","research-forge.consumer.banner.findStatus":"Pretraživanje","research-forge.consumer.banner.footer":"Dweve Forge, provjereno otkrivanje programa","research-forge.consumer.banner.instrumentTag":"Fiksno","research-forge.consumer.banner.instrumentTitle":"Redoslijed","research-forge.consumer.banner.stateDetail":"Napišite rezultat i njegove granice prije pretraživanja.","research-forge.consumer.banner.stateLabel":"Navedite ponašanje","research-forge.consumer.banner.stateStatus":"Fiksno","research-forge.consumer.banner.titleAccent":"ako promijeni odgovor","research-forge.consumer.banner.titleLead":"Pametna prečica je beskorisna","research-forge.consumer.banner.verdictLabel":"Pravilo","research-forge.consumer.banner.verdictValue":"Ispravnost donosi ulazak u raspravu o kompromisima.","research-forge.consumer.close.body":"Javni Forge materijali objašnjavaju specifikaciju, otkrivene alternative, protuprimjere i što istraživanje zapravo može dokazati. Forge je aktivno interno istraživanje, bez probnog softvera, javnog paketa ili otvorenog preuzimanja.","research-forge.consumer.close.eyebrow":"Dweve Forge, provjereno otkrivanje programa","research-forge.consumer.close.primary":"Istražite Dweve istraživanje","research-forge.consumer.close.secondary":"Povratak na eksperiment","research-forge.consumer.close.title":"Pratite pretragu od namjere do dokaza.","research-forge.consumer.counterexample.body":"Kandidat može raditi na svim dostavljenim primjerima, a ipak zakazati drugdje. Forge ga može izazvati konkretnim ulazom koji otkriva razliku. Taj ulaz postaje protuprimjer.","research-forge.consumer.counterexample.eyebrow":"Neuspjeh kao koristan dokaz","research-forge.consumer.counterexample.footer":"Prolazak mnogih primjera i dalje ne znači da je program dokazano ispravan.","research-forge.consumer.counterexample.pillFailure":"Konkretan neuspjeh","research-forge.consumer.counterexample.pillPermanent":"Trajni slučaj","research-forge.consumer.counterexample.pillRetry":"Pretraži ponovno","research-forge.consumer.counterexample.secondaryLeft":"Neuspjeli slučaj pridružuje se trajnom dokazu. Sljedeći kandidat mora zadovoljiti i ranije primjere i novu granicu.","research-forge.consumer.counterexample.secondaryLeftLabel":"Kandidat se mijenja","research-forge.consumer.counterexample.secondaryRight":"Neuspjeh također može otkriti dvosmislenost ili proturječnost u zahtjevu. Pojašnjavanje namjere stvara novu specifikaciju i zadržava raniji rezultat vidljivim.","research-forge.consumer.counterexample.secondaryRightLabel":"Namjera se može promijeniti","research-forge.consumer.counterexample.sideChallengeDetail":"Gledajte dalje od prijateljskih primjera.","research-forge.consumer.counterexample.sideChallengeLabel":"Izazov","research-forge.consumer.counterexample.sideFooter":"Neuspjeh sužava pretragu i pojašnjava ljudski zahtjev.","research-forge.consumer.counterexample.sideMetaLabel":"Smjer","research-forge.consumer.counterexample.sideMetaValue":"Sve strože u svakom krugu","research-forge.consumer.counterexample.sideProposeDetail":"Pronađite kandidata koji odgovara poznatim slučajevima.","research-forge.consumer.counterexample.sideProposeLabel":"Predloži","research-forge.consumer.counterexample.sideRememberDetail":"Dodajte konkretni neuspjeh u dokaze.","research-forge.consumer.counterexample.sideRememberLabel":"Zapamti","research-forge.consumer.counterexample.sideRetryDetail":"Potražite kandidata koji preživljava jači skup.","research-forge.consumer.counterexample.sideRetryLabel":"Pokušaj ponovno","research-forge.consumer.counterexample.sideStatus":"Petlja","research-forge.consumer.counterexample.sideSubtitle":"Kako slab kandidat izoštrava pitanje","research-forge.consumer.counterexample.sideTitle":"Jedna petlja s protuprimjerom","research-forge.consumer.counterexample.titleAccent":"pogrešno na ovom točnom slučaju","research-forge.consumer.counterexample.titleLead":"Nije jednostavno pogrešno","research-forge.consumer.counterexample.visualFooter":"Sljedeći kandidat mora biti bolji bez slabljenja zahtjeva.","research-forge.consumer.counterexample.visualMeta":"Ilustrativni slučaj","research-forge.consumer.counterexample.visualStatus":"Protuprimjer pronađen","research-forge.consumer.counterexample.visualSubtitle":"Tri kandidata zadovoljavaju sve strožu granicu","research-forge.consumer.counterexample.visualTitle":"Neuspjeli slučaj postaje trajna obveza","research-forge.consumer.glyph.evidence.counterexample":"Neuspjeh zabilježen","research-forge.consumer.glyph.evidence.examples":"Primjeri prošli","research-forge.consumer.glyph.evidence.execution":"Izvršenje povezano","research-forge.consumer.glyph.evidence.proof":"Odnos dokazan","research-forge.consumer.glyph.footer":"Stroj možda neće vratiti nijedan program.","research-forge.consumer.glyph.header.detail":"Zahtjev ostaje fiksan dok se putovi mijenjaju.","research-forge.consumer.glyph.header.state":"Istraživanje aktivno","research-forge.consumer.glyph.header.title":"Eksperiment otkrivanja programa","research-forge.consumer.glyph.path.a.label":"Ne prolazi rubni slučaj","research-forge.consumer.glyph.path.a.state":"Odbijeno","research-forge.consumer.glyph.path.b.label":"Točno, veći trošak","research-forge.consumer.glyph.path.b.state":"Zadrži","research-forge.consumer.glyph.path.c.label":"Točno, drugačiji kompromis","research-forge.consumer.glyph.path.c.state":"Dokazano","research-forge.consumer.glyph.request.detail":"Primjeri, pravila i djelomični program definiraju granicu pretrage.","research-forge.consumer.glyph.request.label":"Transformirajte svaki podržani unos i očuvajte navedeno ograničenje.","research-forge.consumer.hero.eyebrow":"Dweve Forge, verificirano otkrivanje programa","research-forge.consumer.hero.lede":"Dweve Forge istraživački je projekt koji traži programe koji zadovoljavaju primjere, ograničenja ili djelomične specifikacije, poboljšava valjane kandidate prema eksplicitnim ciljevima i bilježi dokaze koji podupiru svaki rezultat.","research-forge.consumer.hero.ledgerLabel":"Istraživačka napomena","research-forge.consumer.hero.ledgerPill":"Aktivno","research-forge.consumer.hero.ledgerPurpose":"Svrha","research-forge.consumer.hero.ledgerPurposeValue":"Otkrijte, usporedite i provjerite programe","research-forge.consumer.hero.ledgerStatus":"Status","research-forge.consumer.hero.ledgerStatusValue":"Aktivno interno istraživanje","research-forge.consumer.hero.primary":"Slijedite jedan otkriveni program","research-forge.consumer.hero.secondary":"Pogledajte što znači verificirano","research-forge.consumer.hero.titleAccent":"Pustite stroj da traži kako.","research-forge.consumer.hero.titleLead":"Opišite što bi se trebalo dogoditi.","research-forge.consumer.intent.body":"Forge istraživanje počinje s primjerima, pravilima ili djelomično napisanim programom. Primjeri prikazuju konkretne slučajeve. Pravila navode što mora ostati istinito općenitije. Djelomični program čuva odluke koje ne bi trebale biti prepuštene pretrazi.","research-forge.consumer.intent.eyebrow":"Polazište","research-forge.consumer.intent.footer":"Kada je ponašanje jasno, stroj može pretražiti mnoge moguće načine da ga proizvede.","research-forge.consumer.intent.pillExamples":"Primjeri","research-forge.consumer.intent.pillRules":"Pravila","research-forge.consumer.intent.pillSketch":"Djelomični program","research-forge.consumer.intent.secondaryLeft":"Upit može zatražiti kod i dobiti nešto što zvuči uvjerljivo. Sam po sebi ne definira potpuni standard prema kojem taj kod može pasti.","research-forge.consumer.intent.secondaryLeftLabel":"Upit","research-forge.consumer.intent.secondaryRight":"Specifikacija fiksira ponašanje, granice i dopuštene izbore. Promjena specifikacije stvara drugačiji istraživački problem, umjesto da spašava slabog kandidata.","research-forge.consumer.intent.secondaryRightLabel":"Specifikacija","research-forge.consumer.intent.sideExamplesDetail":"Za ovaj unos, proizvedi ovaj izlaz.","research-forge.consumer.intent.sideExamplesLabel":"Primjeri","research-forge.consumer.intent.sideFooter":"Zahtjev dolazi prvi; implementacija ostaje otvorena.","research-forge.consumer.intent.sideMetaLabel":"Fiksirano tijekom pretrage","research-forge.consumer.intent.sideMetaValue":"Ponašanje i opseg","research-forge.consumer.intent.sideRulesDetail":"Za svaki podržani unos, sačuvaj ovo svojstvo.","research-forge.consumer.intent.sideRulesLabel":"Pravila","research-forge.consumer.intent.sideSketchDetail":"Zadrži ovu strukturu i otkrij dio koji nedostaje.","research-forge.consumer.intent.sideSketchLabel":"Skica","research-forge.consumer.intent.sideStatus":"Početak","research-forge.consumer.intent.sideSubtitle":"Svaka pruža drugu vrstu granice","research-forge.consumer.intent.sideTitle":"Tri načina izražavanja namjere","research-forge.consumer.intent.titleAccent":"prije odabira implementacije","research-forge.consumer.intent.titleLead":"Opiši ponašanje","research-forge.consumer.intent.visualFooter":"Program mijenja oblik. Zahtjev se ne mijenja.","research-forge.consumer.intent.visualMeta":"Ilustrativni put","research-forge.consumer.intent.visualStatus":"Istraživanje aktivno","research-forge.consumer.intent.visualSubtitle":"Ilustrativni javni prikaz eksperimenta otkrivanja programa","research-forge.consumer.intent.visualTitle":"Jedan zahtjev, nekoliko kandidatskih putanja","research-forge.consumer.proof.body":"Formalni rezultat može dokazati da program zadovoljava navedeno svojstvo za podržane ulaze i semantiku. Ne dokazuje da je zahtjev bio mudar, potpun ili prikladan za svako stvarno okruženje.","research-forge.consumer.proof.eyebrow":"Što bi značka trebala reći","research-forge.consumer.proof.footer":"Ponekad je najjači pošteni rezultat da stroj ne može proizvesti program.","research-forge.consumer.proof.pillAssumptions":"Pretpostavke vidljive","research-forge.consumer.proof.pillLimits":"Granice vidljive","research-forge.consumer.proof.pillScoped":"Ograničeno","research-forge.consumer.proof.secondaryLeft":"Program, svojstvo, pretpostavke i dokazi ostaju zajedno. Ako se program promijeni, mijenja se i veza s dokazom.","research-forge.consumer.proof.secondaryLeftLabel":"Tvrdnja","research-forge.consumer.proof.secondaryRight":"Forge je aktivno, nedovršeno interno istraživanje. Nije proizvod, javna usluga sinteze niti preuzimanje otvorenog koda.","research-forge.consumer.proof.secondaryRightLabel":"Istraživačka granica","research-forge.consumer.proof.sideAssumptionsDetail":"Ulazi i okruženje obuhvaćeni tvrdnjom.","research-forge.consumer.proof.sideAssumptionsLabel":"Pretpostavke","research-forge.consumer.proof.sideFooter":"Dokaz jača preciznu tvrdnju, a ne nejasno obećanje.","research-forge.consumer.proof.sideLimitsDetail":"Što rezultat ne utvrđuje.","research-forge.consumer.proof.sideLimitsLabel":"Granice","research-forge.consumer.proof.sideMetaLabel":"Najjače pošteno stanje","research-forge.consumer.proof.sideMetaValue":"Imenovano, nikad implicirano","research-forge.consumer.proof.sideProgramDetail":"Točan kandidat koji se provjerava.","research-forge.consumer.proof.sideProgramLabel":"Program","research-forge.consumer.proof.sidePropertyDetail":"Ponašanje koje se tvrdi.","research-forge.consumer.proof.sidePropertyLabel":"Svojstvo","research-forge.consumer.proof.sideStatus":"Dokaz","research-forge.consumer.proof.sideSubtitle":"Četiri dijela koja moraju ostati zajedno","research-forge.consumer.proof.sideTitle":"Izjava dokaza","research-forge.consumer.proof.titleAccent":"nije točan u svakom mogućem svijetu","research-forge.consumer.proof.titleLead":"Provjereno prema ovim pravilima","research-forge.consumer.proof.visualFooter":"Nepoznato, nemoguće, dvosmisleno i izvan opsega ostaju valjani istraživački ishodi.","research-forge.consumer.proof.visualMeta":"Ilustrativni dokaz","research-forge.consumer.proof.visualStatus":"Opseg vidljiv","research-forge.consumer.proof.visualSubtitle":"Testiranje, ograničene provjere, formalni dokaz i povezivanje s izvršavanjem različiti su rezultati","research-forge.consumer.proof.visualTitle":"Ljestvica osiguranja drži svoje prečke odvojenima","research-forge.consumerHero.titleSuffix":"pronalaženje boljih ruta","research-forge.d02603176f":"Univerzalno","research-forge.d092bf9ea1":"Istražite istraživanje","research-forge.d0f4e7e15e":"graf ih drži točnima","research-forge.d105692d52":"Odabrani graf kandidata","research-forge.d1a475961a":"Ograničena potpuna pretraga može pronaći najmanji izraz u uskom jeziku. Vođeno poboljšanje protuprimjerima teži pronalasku robusnih strukturiranih programa. Pretraga vođena ograničenjima rješava teške regije na razini bitova. Istraživačka pretraga doseže neobične implementacije.","research-forge.d1b06384eb":"Primjeri, pravila ili djelomično napisan program.","research-forge.d1ed30ebcf":"Fiksna granica","research-forge.d1f8a8cdec":"Spajanje je samo onoliko snažno koliko je test koji ga je opravdao.","research-forge.d1f8e5ea93":"Odabir","research-forge.d2089fb287":"Usmjeravanje teorije","research-forge.d2316c0df0":"Pet unosa","research-forge.d23276442b":"Problem prostora dizajna","research-forge.d23c4c8d4e":"Jedna rečenica, tri upotrebljiva oblika","research-forge.d255672f1b":"i izoštrava zahtjev","research-forge.d286c609a6":"Verzija specifikacije","research-forge.d2b02aa6ad":"zapis obvezuje obje strane","research-forge.d2bad80400":"Običan zahtjev koji se razdvaja na primjere, pravilo i skicu, uz odgovor napisan izravno iz rečenice koja nema ništa protiv čega bi se provjerila","research-forge.d2d0b16b22":"Ukloni strukturne duplikate i uočene duplikate.","research-forge.d2d43bec88":"Ciljni pozadinski sustavi (opseg evaluacije)","research-forge.d35260a00f":"Ciljevi","research-forge.d362822809":"Gdje donijeti problem","research-forge.d36f29cacf":"Pomiri","research-forge.d3d6314184":"Svaki kandidat je linija preko svake osi, a ne točka na jednoj.","research-forge.d3dee74f70":"Formalni rezultat i zasebna provjera istog tamo gdje je dostupna.","research-forge.d3ec6e1bad":"Semantički objekt koji Kera prima, s pripadajućim obvezama.","research-forge.d4621d18f0":"s navedenom granicom","research-forge.d4a74b503a":"Pročitaj dokumentaciju","research-forge.d4ccefcb5e":"nijedan od četiri završetka ne proizvodi nešto uvjerljivo umjesto toga","research-forge.d50b109f99":"Nekoliko derivacija ostaje aktivno u isto vrijeme, a konačni izbor čeka objektivne dokaze.","research-forge.d51fb63a04":"svaki rezultat upućuje na njega","research-forge.d5383ea7af":"Zabilježeno","research-forge.d5dc89d194":"Za podržane Kera ugovore, čisto izvršavanje ponavlja bitove identično bez sjemena, uključujući pokrivene putanje obitelji s pomičnim zarezom. Kada program namjerno troši nasumično stanje, to stanje je deklarirani ulaz, a njegovo ponovno korištenje reproducira cijelo izvođenje.","research-forge.d5ec4f1c39":"Zašto ovaj program postoji","research-forge.d5f412e831":"Kera","research-forge.d659989a95":"Forge pretražuje jezik tipiziranih računalnih operacija. Ulazi, izlazi, oblici, numeričke obitelji, učinci, mogućnosti, vlasništvo i ciljna ograničenja određuju koje su kompozicije dopuštene, pa su nevažeći programi isključeni strukturno, a ne generirani i popravljani nakon evaluacije. Jezik je odabran s paketom i zatvoren za izvođenje.","research-forge.d66c44dfdf":"Nemoguće","research-forge.d6a6f2deb1":"Što petlja radi","research-forge.d71df112ac":"Što pretraga smije raditi","research-forge.d769ded7e8":"Kandidat","research-forge.d79c0b71d1":"čiji prvi točan program nije dovoljan","research-forge.d7e5b39755":"Dvosmislenost postaje vidljiva prije nego što postane kod. Dva kandidata mogu zadovoljiti svaki navedeni primjer, a ipak se razlikovati oko ulaza koji nitko nije zapisao. Forge prijavljuje to neslaganje i traži dodatni zahtjev umjesto da tiho odabere jedno ponašanje.","research-forge.d7e94eb0fb":"Svaka organizacija oslanja se na male, kritične dijelove koda. Forge pita može li pretraga sinteze programa predložiti kandidatske implementacije pod deklariranom specifikacijom i planom mjerenja. Izvješće iz 2025. dokumentira eksperiment, ne spremnost za proizvodnju; nijedno objavljeno mjerilo ne utvrđuje optimalnu ili najbržu verziju.","research-forge.d835dab5b4":"točan cijeli broj","research-forge.d90c9bd5a7":"veličina 2 do 4","research-forge.d9f6acb036":"izdvajanje se događa posljednje","research-forge.da09c06014":"Forge počinje s bihevioralnim ugovorom koji se ne pomiče. Pretraga može predložiti tisuće implementacija, a primjeri, protuprimjeri i formalni upiti odlučuju koje od njih ostaju. Ono što izlazi je tipizirani programski kandidat s derivacijom, objektivnim vektorom i navedenom razinom jamstva.","research-forge.da7a712c59":"Što program mora raditi","research-forge.daec3d5393":"Protuprimjeri, dokazi i prijelazi jamstva.","research-forge.db1c784524":"Referenca","research-forge.dc131e9db4":"Što paket učvršćuje","research-forge.dc16ac61b4":"jedna os ne može rangirati frontu","research-forge.dc5b5aba63":"pooštrava zahtjev","research-forge.dcd69b02b3":"Specifikacija je dosljedna","research-forge.dd00b8f82f":"Imenovano jamstvo","research-forge.dd3c9b9d09":"Ne popravljaj redoslijed prepisivanja","research-forge.dd3e8f4841":"Testovi utvrđuju ponašanje na slučajevima koji su pokrenuti. Iscrpna ograničena provjera pokriva deklariranu konačnu domenu. Formalna verifikacija dokazuje kodiranu relaciju pod navedenim pretpostavkama. Veza izvršavanja povezuje rezultat s grafom i planom koji su stvarno pokrenuti. Forge izvještava koje je od toga kandidat dosegao, jer odluka donesena na pogrešnom je odluka donesena na pogrešnim dokazima. Postoji pet stepenica na toj ljestvici, a kandidat drži točno jednu od njih u isto vrijeme.","research-forge.de135d6b61":"čista regija","research-forge.de56d45fd4":"i što mu nije dopušteno dirati","research-forge.de9e9925af":"dijelovi koji moraju ostati zajedno","research-forge.dfda3a3599":"Pregledno","research-forge.e0078f1adb":"Ne smije dodati pristup datotekama ili mreži koji nikada nije bio dopušten. Ne smije promijeniti vrstu broja koju odgovor koristi. Ne smije ublažiti zahtjev jer je obećavajući kandidat gotovo zadovoljio.","research-forge.e03608577a":"Pregled granica","research-forge.e048b8a355":"Kako se jamstva kombiniraju kroz optimizaciju i planiranje.","research-forge.e15760689d":"Pročisti","research-forge.e192f8980b":"Statički modeli rangiraju kandidate prije nego što išta pokrene. Kalibrirani ciljni profili izoštravaju te procjene. Izmjereni pokreti ih potvrđuju ili ispravljaju. Svaki ostaje označen, tako da se predviđena latencija nikada ne prikazuje na mjestu gdje bi stajala izmjerena.","research-forge.e24f8562eb":"implementacija postaje rezultat","research-forge.e29a79fe0c":"Pregled","research-forge.e2f9cea1dd":"što svaki obrazac utvrđuje, a što ne","research-forge.e31ae17fe2":"Što ostavlja otvorenim","research-forge.e340683de2":"Deklarirani konkretni slučajevi su prošli.","research-forge.e341bf4b5e":"Potpunost pripada deklariranom prostoru, a izvješće navodi koji je to prostor bio.","research-forge.e380a981e1":"Dva inženjerska slijeda","research-forge.e3a3474f57":"Ekvivalentni izvorni nizovi mogu opisati isti izračun, a sličan izgled izvora može skrivati različite učinke. Rad na grafu čini strukturno dijeljenje, usporedbu kandidata, povezivanje dokaza i provjerenost točnima, umjesto nečega što se zaključuje iz teksta nakon svake transformacije.","research-forge.e3aa756f4f":"Tri prikaza","research-forge.e3f3e0b2d5":"Ne-odgovor s priloženim razlogom odluka je na koju organizacija može djelovati danas.","research-forge.e3f4660921":"Kada pretraga zadrži nekoliko ispravnih programa, netko mora reći koji je kompromis bitan. To je odluka, i Forge je bilježi kao takvu, zajedno s programima koje nije odabrao i razlogom zašto je svaki preskočen.","research-forge.e40786cd04":"graf je imenovan, ne izvor","research-forge.e43a425d4c":"Jedan neuspjeli slučaj","research-forge.e4709d4a03":"Nešto u deklariranom jeziku zadovoljava zahtjev.","research-forge.e4ec169f06":"Tri iteracije, jedan zahtjev koji postaje oštriji","research-forge.e5a5debd01":"i usmjerava sljedeće ulaganje","research-forge.e5e6eefa7c":"svaki može imenovati drugačijeg najboljeg kandidata","research-forge.e5fa3a8592":"Dodajte dokaz koji razdvaja konkurentna ponašanja.","research-forge.e6737991ff":"Pretraga kandidata","research-forge.e6c167fd27":"ČLAN","research-forge.e6f72dbc9e":"Dobro oblikovan kroz izvršenje, povezano se nikada ne stapa.","research-forge.e70fb2879c":"to mijenja odgovor","research-forge.e713d42aa6":"PREDMET","research-forge.e73791d2ee":"Zapis je osmišljen da ga čita netko tko nije bio prisutan. Imenuje verziju specifikacije umjesto grane, graf kandidata umjesto datoteke i relaciju dominacije umjesto preferencije, tako da recenzent može pitati zašto ne kandidat B i dobiti odgovor.","research-forge.e78c82b9d8":"Ekvivalentni programski prostor","research-forge.e792eed957":"Nabroji po tipu i veličini","research-forge.e79545edad":"Forge može pronaći program, pronaći nekoliko, pronaći protuprimjer koji ga okončava ili otkriti da ništa u dopuštenom prostoru ne radi. Bilo što od toga može se dogoditi u jednom pokretanju.","research-forge.e7c6bfda5f":"Primjeri, ograničenja i skice","research-forge.e7eaf3097f":"NERIJEŠENO","research-forge.e83744eb1b":"Jedan graf kroz Dweve stog","research-forge.e89c5a1fe5":"Zatražite demo","research-forge.e8c9206319":"Vi navedete ponašanje","research-forge.e93a01e74c":"Ulazi i izlazi","research-forge.e9a46a96e9":"Dvosmisleno","research-forge.e9c366b4f3":"Zahtjev","research-forge.e9e1bb076f":"Dokaz, graf, plan i identitet rezultata povezani su zajedno.","research-forge.ea2f183ae8":"Neuspjeh koji imenuje točan ulaz uči pretragu više nego neuspjeh koji imenuje rezultat.","research-forge.ea66222972":"Definirajte ponašanje, kandidatski jezik, vektor ciljeva i dokaz koji vam treba. Forge to može pretvoriti u kontrolirani eksperiment pretrage, usporedbe i provjere.","research-forge.ea66d3cd71":"Formalno verificirano","research-forge.eae192773b":"Napravio","research-forge.eb01bf04c9":"Primjeri","research-forge.eb5d2f4a58":"JIT","research-forge.eb65476556":"odbijanje prije evaluacije ne košta ništa","research-forge.eb86bd10d0":"Testirajte i formalno upitajte preživjele.","research-forge.ebc93602b0":"Program istraživačkog partnerstva","research-forge.ebd1b8a0ed":"Ispravnost i trošak ostaju odvojeni","research-forge.ebf002ed26":"Što svaki dopušteni ulaz mora proizvesti ili sačuvati?","research-forge.ec00edb305":"Status mjerenja","research-forge.ec80d62108":"Trodimenzionalni grafikon kompromisa s dominiranim kandidatima zasivljenim, birač politike koji odabire jednog nedominiranog člana i kontrola koja dodaje cilj i ponovno crta granicu","research-forge.ec8c6779f3":"Izvođenje","research-forge.eca98aa4dd":"Trajna invarijanta","research-forge.ecc4622e4a":"Namjera kao imovina","research-forge.eccd8c22c7":"Slučajevi","research-forge.ed03c68d9c":"Djelomično","research-forge.ed625e27bc":"odgovor se čita iz zapisa, ne obnavlja iz njega","research-forge.ed834ee730":"Dva programa, svaki primjer, jedno neslaganje","research-forge.ed868fa2d4":"Što jedan odgovor utvrđuje","research-forge.edd8fb596d":"Što organizacija želi","research-forge.ee531c138e":"jedan identitet kroz životni ciklus","research-forge.ee6e0d9004":"što Kera vraća","research-forge.eebc8ec4db":"Najveći radni skup","research-forge.eebfc58277":"Obično postoji više od jednog dobrog odgovora, a reći koji ste odabrali dio je odgovora.","research-forge.ef4e3a4971":"Što još može biti drugačije","research-forge.ef73fdd1c8":"Četiri slučaja","research-forge.f04208c0f4":"vanjska tri prstena mogu se ispitati bez otvaranja najnutarnjeg","research-forge.f061352d1c":"Obitelj, širina, zaokruživanje i trenutna ovojnica pogreške.","research-forge.f0aa98e438":"Problem se najprije zapisuje","research-forge.f128a0033d":"Forge uspoređuje valjane kandidate prema broju operacija, kritičnom putu, prometu memorije, radnom skupu, pritisku na registre, veličini koda, procijenjenoj energiji, prenosivosti, složenosti dokaza i prilagođenosti cilju. Koje su od njih aktivne pripada paketu eksperimenta, odabrano prije nego što se bilo koji kandidat izmjeri, tako da se usporedba ne može prilagoditi nakon što su rezultati poznati.","research-forge.f1513553a0":"Pet kandidata koji implementiraju istu specifikaciju, svaki s drugačijim strukturnim obrisom i ciljnom trakom, s prvim otkrivenim kandidatom označenim kao dominiranim","research-forge.f19a088441":"Polje oblika kandidata programa u tri stanja oko fiksnog okvira zahtjeva u središtu koji nikada ne mijenja veličinu","research-forge.f1e6269a35":"Forge kandidat je tipizirani semantički graf. Njegovi čvorovi zadržavaju operacije, ovisnosti, vrijednosti, učinke, vlasništvo i numeričke obveze, a pretraživanje dodaje, uklanja i ponovno povezuje regije dok sučelje ostaje dobro oblikovano. Izvorna sintaksa jedan je prikaz tog objekta, a ne njegov identitet, zbog čega se dokaz može vezati uz njega i preživjeti promjenu zapisa.","research-forge.f21eba9d4c":"Ponašanje koje se o njemu tvrdi.","research-forge.f2b83c0462":"Pregledaj izlaz kandidata","research-forge.f3263fc33a":"Koji su ulazi, učinci i okruženja unutar opsega?","research-forge.f33b37791c":"jedan fiksni zahtjev","research-forge.f34faaf18c":"Što ostaje fiksno za izvođenje","research-forge.f3717fe94b":"Tri spoja, jedan tipizirani jezik","research-forge.f3b8596ff9":"Skice","research-forge.f3e0a2c003":"Operacija, prijelaz stanja i svaki učinak koji mu je dopušten.","research-forge.f44f712120":"metoda ostaje istraživačka","research-forge.f4b90ff6c9":"enumerativno, CEGIS, GP, MCTS","research-forge.f4c0773264":"Tipovi, učinci, vlasništvo i sučelja su valjani.","research-forge.f5330c10d4":"Dva sustava, jedan objekt","research-forge.f539273fc2":"Prošao je deklarirane konkretne slučajeve.","research-forge.f53a569905":"Institucionalni problem","research-forge.f591672335":"od kraja do kraja","research-forge.f5def394f5":"Točan kandidat koji je provjeren.","research-forge.f61f151c35":"Opiši što se događa","research-forge.f6c1c2d45c":"odabrani kandidat zadržava politiku koja ga je odabrala","research-forge.f6fbfa37a0":"Ograničen učinak","research-forge.f7313a2c50":"Većina sustava koji pišu kod zamoljena je da nastave tekst na uvjerljiv način. Forge je zamoljen da zadovolji opis onoga što program mora činiti. Pretražuje implementacije, odbacuje one koje ne uspiju na određenom ulazu, uspoređuje one koje prežive i precizno navodi koliko je snažno rezultat provjeren.","research-forge.f740162265":"Razlikovno","research-forge.f793bcd5e3":"Odabrano trenutnom politikom","research-forge.f7bce3aeb0":"Tri vrste istosti","research-forge.f7fcfa132e":"Provjereno uvijek znači provjereno prema nečemu navedenom.","research-forge.f85d540ea4":"One također ne uspijevaju različito. Kandidat može proći sve navedene primjere i još uvijek prekršiti kvantificirani uvjet koji su primjeri trebali ilustrirati. Zapis imenuje tu razliku, tako da prolazak testnog skupa nikada kasnije ne bude protumačen kao dokaz.","research-forge.f8ad81d4ed":"Dva programa mogu raditi potpuno isti posao, a ipak biti različiti za život s njima. Jedan završava ranije. Jedan pomiče manje podataka. Jedan radi na više vrsta strojeva. Jedan je jednostavno lakše provjeriti. Poboljšanje bilo kojeg od toga obično košta na drugom, pa Forge zadržava dobre umjesto da proglasi jednog pobjednika.","research-forge.f915e592e0":"Dovoljno utvrđeno da se jasno kaže: nepromjenjiva specifikacija, jedan tipizirani skup kandidata koji pokreće nekoliko ponašanja pretraživanja, protuprimjeri kao trajne obveze, granica umjesto skrivenog rezultata, imenovane razine jamstva i identitet grafa koji preživljava predaju Keri.","research-forge.f91cf3695e":"što napušta Forge i što Kera vraća","research-forge.f942052ae1":"Prvi ispravan program","research-forge.f95d9699ab":"ne definicija najboljeg","research-forge.f9743247fa":"Pročitaj dokumentaciju","research-forge.f97f6d5c34":"Vrsta broja u odgovoru","research-forge.f9917655d9":"Provjereni i odbijeni kandidati koji su bili važni.","research-forge.f9d589b5e4":"Oznaka imenuje razinu, a zapis pored nje imenuje opseg koji ta razina pokriva.","research-forge.fa6b511877":"Ne smije se mijenjati","research-forge.fa7f633b0c":"Tri dosjea kandidata zaustavljena na različitim razinama jamstva, svaki otvara dokaze iza svoje oznake, s promocijom prikazanom kao nedostupnom bez dokaza","research-forge.fa8d0afff2":"i prikaži izvor na rubu","research-forge.fb588797f2":"Softver koji piše","research-forge.fba63933d7":"dokazivanje utvrđuje ponašanje","research-forge.fbe8d4180f":"Jedno sjeme, mnogo oblika","research-forge.fc5fed48be":"Pretraži graf","research-forge.fc7583ec76":"Nepromjenjiva specifikacija","research-forge.fca77b7e3a":"Na prvi pogled","research-forge.fca8a06b17":"Forge bilježi koja je vrsta istosti opravdala svako spajanje, tako da se jeftina deduplikacija tijekom pretraživanja nikada kasnije ne čita kao semantički rezultat.","research-forge.fd2145e1f8":"Redoslijed koji se nikada ne mijenja","research-forge.fd9cfb5232":"Nekoliko ponašanja pretraživanja proizvodi jednu vrstu tipiziranog kandidata.","research-forge.fdd0dfedc0":"Četiri stvari vrijede","research-forge.fe03c35158":"Semantika","research-forge.fe0863e1b3":"Pet razina jamstva","research-forge.fe08eef5c7":"Koraci koji pripadaju Dweveovoj internoj metodi pojavljuju se u lancu kao zapečaćeni čvorovi. Svaki objavljuje svoje ulaze, svoje izlaze i svoj identitet, tako da lanac ostaje povezan dok strategija unutar njega ostaje dio istraživanja.","research-forge.fe17f86199":"Prostor dizajna","research-forge.fe8b95b52a":"Odabrani graf koji se kreće iz Forgea u Keru jednom trakom, sa susjednim Dweve sustavima koji čitaju isti objekt, i identitet rezultata koji mu se vraća","research-forge.fec325ce2f":"Premješta manje podataka","research-forge.fef04acdce":"što preživljava pri svakoj kandidatskoj veličini","research-forge.ff52cebd1d":"Konačna deklarirana domena je iscrpljena.","research-forge.ff63942f4e":"Lanac koji recenzent može proći","research-forge.ff75e0dce3":"Nejasno","research-forge.ffa7344f37":"Javni Forge materijal objašnjava specifikaciju, alternative koje su otkrivene, protuprimjere koji su neke od njih okončali, i što istraživanje zapravo može dokazati.","research-forge.technicalHero.titleSuffix":"Z3","section_st_a2_split-spec-sheet.7c9a7c0610":"Detalj","section_st_a6_split-scenario-triad.f75fd3a884":"Bez ovisnosti u izvođenju","section_st_a6_split-scenario-triad.143ac4ef35":"Jedan binarni zapis","section_st_a6_split-scenario-triad.c61f134d87":"Tri površine","section_st_a6_split-scenario-triad.215475056e":"GDJE SE IZVODI","section_st_a6_split-scenario-triad.a794a586f0":"Spremno za zatvorenu prostoriju","section_st_a6_split-scenario-triad.42d52c32ea":"Lokalni model","section_st_a6_split-scenario-triad.fe6168e59f":"Bez mreže","section_st_a6_split-scenario-triad.7d93f83c3e":"Kod montiran na volumen","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":"Bez instalacije","section_st_a6_split-scenario-triad.f600b9e709":"Jedan binarni zapis","section_st_a7_split-connector-grid.4e6822a6d4":"Vruće ponovno učitavanje","section_st_a7_split-connector-grid.19e35f0609":"Postavljeno u TOML","section_st_a7_split-connector-grid.d9de50b343":"Inventar vođen pozivateljem","section_st_a7_split-connector-grid.8be1bb51b7":"KONEKTORI","section_st_a8_split-scaling-profile.7e0861e04c":"Podesivo u TOML-u","section_st_a8_split-scaling-profile.56d6732417":"Gornja granica po projektu","section_st_a8_split-scaling-profile.27a454915b":"Aktivne točke odražavaju istodobne agente po razini.","section_st_a8_split-scaling-profile.0ea215ea0d":"POZADINA","section_st_a8_split-scaling-profile.9fc6fb7e03":"TEAMS","section_st_a8_split-scaling-profile.018d2cd1a5":"PARALELNO","section_st_a8_split-scaling-profile.16623c5d4a":"LANCI","section_st_a8_split-scaling-profile.0fb79c96ed":"Solo → Tim → Mreža","section_st_a8_split-scaling-profile.068f6b3ecc":"RAZINA TIMA","section_st_a8_split-scaling-profile.53ebc572b4":"Mreža","section_st_a8_split-scaling-profile.218887269a":"Tim","section_st_a8_split-scaling-profile.9fc93acaa4":"Solo","section_st_a9_split-time-lost-donut.7c9a7c0610":"Detalji","section_st_b5_request-lifecycle.47e364232a":"revizija #4521","section_st_b5_request-lifecycle.4d3535f846":"zakrpa · session.rs","section_st_b5_request-lifecycle.6c2519cd62":"Izvršavanje alata","section_st_b5_request-lifecycle.f6d1c823ab":"sesija #128 · 14:02","section_st_b5_request-lifecycle.636de0d0c3":"> \"popravi ovu grešku\"","section_st_b5_request-lifecycle.0208131a7d":"Zahtjev korisnika","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":"VAŠA BAZA KODA","section_st_b8_defense-stack.89b6e2a784":"OBRANA U DUBINU","section_st_c2_dual-loop-flow.9d29573ea6":"alat / korak","section_st_c2_dual-loop-flow.08ab1ac55a":"plan / ponovni plan","section_st_c5_integration-spoke.55d0677ac3":"Svi konektori prolaze kroz isti sloj za reviziju i dopuštenja.","section_st_c5_integration-spoke.c29eb7e425":"Lokalni agent","section_st_c5_integration-spoke.14afd82a7f":"AURA","section_st_c5_integration-spoke.ed0afbab5a":"GitLab CI","section_st_c5_integration-spoke.39540900bb":"GitHub Actions","section_st_c5_integration-spoke.a2feefe9af":"Jenkins","section_st_c5_integration-spoke.ab4115a7b2":"Vanjski alati","section_st_c5_integration-spoke.70c123381f":"JSON-RPC 2.0","section_st_c5_integration-spoke.dc99d54d99":"Lokalno","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":"Započni","toc-rail.f5cbdf6bfb":"Sadržaj"}