{"aura-ask-grid.af0854de67":"Aura","aura-business-sides.a0853da24b":"Спецификация","aura-business-visuals.40417391c5":"Aura · разрешава","aura-business-visuals.271973aefe":"xMidYMid meet","aura-business-visuals.3e91add48a":"BOARD","aura-showcase.eyebrow":"Dweve платформа","aura-showcase.subtitle":"Асистент за кодиране и операторска помощ. Демо метриките са илюстративни.","aura-showcase.pillTools":"25+ инструмента","aura-showcase.pillRunning":"изпълнение","aura-showcase.pillAnalysing":"анализ на кодовата база","aura-showcase.capabilityToolsTitle":"25+ инструмента","aura-showcase.capabilityToolsBody":"Терминал, търсене, lint, тестове, git и други.","aura-showcase.capabilityMemoryTitle":"Семантична памет","aura-showcase.capabilityMemoryBody":"Запомня вашата кодова база и контекста на екипа.","aura-showcase.capabilityAgentsTitle":"Оркестрация на множество агенти","aura-showcase.capabilityAgentsBody":"Специализирани агенти си сътрудничат по различни аспекти.","aura-showcase.guaranteeAuditTitle":"Одитен журнал","aura-showcase.guaranteeAuditBody":"Всяка стъпка се записва с времеви клейма.","aura-showcase.guaranteeGuardrailsTitle":"Предпазни механизми","aura-showcase.guaranteeGuardrailsBody":"Политики, проверки и тестове винаги се изпълняват.","aura-showcase.guaranteeApprovalTitle":"Промени в кода с одобрение","aura-showcase.guaranteeApprovalBody":"Прегледайте дифовете, поискайте промени, финален подпис.","aura-showcase.guaranteeReplayTitle":"Детерминирано възпроизвеждане","aura-showcase.guaranteeReplayBody":"Възпроизведете всяка сесия бит за бит, когато нещо трябва да се прегледа.","aura-showcase.workflowUnderstand":"Разбиране","aura-showcase.workflowUnderstandCaption":"Прочети retry.ts, откри грешка с таймаут","aura-showcase.workflowPlan":"План","aura-showcase.workflowPlanCaption":"Извади guard + ограничи повторните опити","aura-showcase.workflowImplement":"Имплементиране","aura-showcase.workflowImplementCaption":"Коригирани retry.ts + types.ts","aura-showcase.workflowTest":"Тестване","aura-showcase.workflowTestCaption":"28 теста, 94% покритие","aura-showcase.workflowVerify":"Проверка","aura-showcase.workflowVerifyCaption":"Изпълнявам lint и typecheck...","aura-showcase.workflowAudit":"Одит","aura-showcase.workflowAuditCaption":"Чакам обобщение","aura-showcase.footer":"Автономни агенти, които пишат код и водят отчетност","aura-showcase.testsPassing":"успешно","aura-showcase.testsFailing":"неуспешно","aura-showcase.modified":"променено","aura-showcase.af0854de67":"Aura","aura-showcase.73989d9c59":"Изпълнение","aura-showcase.f9e94338d0":"Анализиране на кодовата база","aura-showcase.d7a484140f":"Работен процес","aura-showcase.287fda8114":"Единен","aura-showcase.80e13549b4":"Покритие","aura-showcase.b71cc78b34":"Извлечен isRetryableError","aura-showcase.c37a8a9e2b":"за обработка на мрежови таймаути, 5xx отговори и идемпотентно безопасни условия. Чист помощник, напълно покрит с unit тестове.","aura-tech-middles.7fba7d244f":"Горещ път","aura-tech-middles.1be47ef71c":"Напречен","aura-tech-middles.92096d78df":"Входящ трафик","aura-tech-middles.8e05a902ed":"Изходящ трафик","aura-tech-middles.49a66c994d":"Вградени агенти","aura-tech-middles.a60792e996":"Външен цикъл","aura-tech-middles.0dfd4db698":"Вътрешен цикъл","aura-tech-middles.bbd88bff92":"Входяща заявка","aura-tech-middles.a618b4be8d":"Заявка","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":"Блок","aura-tech-middles.271973aefe":"xMidYMid meet","page-breadcrumb.c766e66518":"Трохи","page-toc.7e439c353e":"На тази страница","res-forge-action-instrument.089b6f0342":"Задействано от","res-forge-action-instrument.97c89a4d66":"Действие","res-forge-ambiguity-board.af13a94202":"е резултатът и се записва\n          като един.","res-forge-ambiguity-board.e9a46a96e9":"Двусмислено","res-forge-ambiguity-board.1ee9387ca8":"Три начина, по които човек може да отговори. Търсенето не приема нито един от тях самостоятелно.","res-forge-ambiguity-board.f275049b4b":"Кое от тях имахте предвид?","res-forge-ambiguity-board.e1f6a95de4":"празна последователност","res-forge-ambiguity-board.39f54f4f92":"Входът не е предоставен","res-forge-ambiguity-board.3636a0be7f":"съгласува се","res-forge-ambiguity-board.140f86aae5":"вход","res-forge-ambiguity-board.5a3eea8643":"Всеки предоставен пример","res-forge-ambiguity-board.fd50372bde":"Петте предоставени примера и как двамата кандидати отговарят на тях","res-forge-ambiguity-board.86c03753f3":"отчете най-малкото количество в последователност","res-forge-ambiguity-board.e9c366b4f3":"Изискване","res-forge-ambiguity-board.957a3c6b10":"стесни областта","res-forge-ambiguity-board.b0567c7519":"добави условие","res-forge-ambiguity-board.7713f29af2":"добави пример","res-forge-ambiguity-board.5472c41b95":"тълкува празната последователност като извън разрешения вход","res-forge-ambiguity-board.2597c3398a":"грешка","res-forge-ambiguity-board.9adfc74130":"Кандидат 2","res-forge-ambiguity-board.72e8350f75":"тълкува празната последователност като неутрално количество","res-forge-ambiguity-board.170d4a4827":"Кандидат 1","res-forge-assurance-ladder.7607387940":"какво не установява","res-forge-assurance-ladder.204b9b0c88":"какво е предположено","res-forge-assurance-ladder.f03d859ccc":"какво е проверено","res-forge-assurance-ladder.6b3fa46450":"двама кандидати, две честни точки на спиране, и двете докладвани както са","res-forge-assurance-ladder.ed682e5934":"НЕ Е ИЗВЕДЕНО ОТ Q","res-forge-assurance-ladder.bdad2aeeb8":"Стъпала на увереност","res-forge-assurance-ladder.9a9f9e5d26":"НИКОЕ СТЪПАЛО НЕ Е ИЗВЕДЕНО","res-forge-assurance-ladder.8259f9a8e2":"формална теория извън настоящия договор","res-forge-assurance-ladder.4f7ee515f7":"докладвано като свързано с изпълнението","res-forge-assurance-ladder.0d9389b742":"Всяко поведение върху цел, която записът не назовава.","res-forge-assurance-ladder.246b796ef8":"Че записаните самоличности са тези, които изпълнението е произвело.","res-forge-assurance-ladder.69ded617f9":"граф, план, артефакт и резултат споделят един запис","res-forge-assurance-ladder.5102f2ad33":"самоличност, обвързана от край до край","res-forge-assurance-ladder.49d89b6ce4":"СВЪРЗАНО С ИЗПЪЛНЕНИЕТО","res-forge-assurance-ladder.a1cce5c1a6":"Всяко свойство, което договорът не е кодирал, и всеки издаден артефакт.","res-forge-assurance-ladder.a7d0feec4e":"Семантиката, която е била кодирана, и предположенията, които пакетът е закрепил.","res-forge-assurance-ladder.fce451ff2c":"предположенията са закрепени и изброени","res-forge-assurance-ladder.c830a6c3be":"доказано символно свойство","res-forge-assurance-ladder.da528b9287":"ФОРМАЛНО ВЕРИФИЦИРАНО","res-forge-assurance-ladder.d4c1c6915e":"Поведение извън границата, което никога не е било търсено.","res-forge-assurance-ladder.99d127dcae":"Че обявеният домейн е този, в който резултатът ще се използва.","res-forge-assurance-ladder.d8a8ea038d":"домейнът е обявен с твърдението","res-forge-assurance-ladder.4538c7d77c":"краен домейн, покрит","res-forge-assurance-ladder.dfa6e659c8":"ОГРАНИЧЕНО ПРОВЕРЕНО","res-forge-assurance-ladder.1412ce6f4c":"Поведение върху всеки вход извън записаното множество.","res-forge-assurance-ladder.a1fde5a17c":"Че записаните случаи представят поведението, за което изследователят се грижи.","res-forge-assurance-ladder.df4854fc18":"случаите са записани с резултата","res-forge-assurance-ladder.36cba7e6ad":"конкретни случаи","res-forge-assurance-ladder.b5516f2280":"ТЕСТВАНО","res-forge-assurance-ladder.c0169d217f":"Нищо за поведението върху който и да е вход.","res-forge-assurance-ladder.da65feb01c":"Само че пакетът е назовал езика, от който е изграден кандидатът.","res-forge-assurance-ladder.6903a5abc9":"обявеният език е затворен","res-forge-assurance-ladder.676886a349":"структурна валидност","res-forge-assurance-ladder.68d222a4f0":"ДОБРЕ ФОРМИРАН","res-forge-assurance-ladder.85e08ba525":"Че доказателството, графът, планът на Kera и самоличността на резултата се отнасят един към друг.","res-forge-assurance-ladder.5e68702137":"Поддържаното символно свойство, доказано върху кодираната семантика.","res-forge-assurance-ladder.9c8a0471a5":"Всяка стойност в краен обявен домейн, без грешка.","res-forge-assurance-ladder.77345a75bc":"Всеки конкретен случай, който пакетът е обявил, изпълнен и сравнен.","res-forge-assurance-ladder.8c4857d4f9":"Типове, форми, ефекти, собственост и обявеният интерфейс.","res-forge-badge-opened.9a3d81d562":"Значката принадлежи на точно една програма","res-forge-badge-opened.3d1307a7ff":"Обратно към обикновения структурен етикет","res-forge-badge-opened.bac2685fbc":"Една стъпка е променена","res-forge-badge-opened.aed3b8c6a7":"Проверено","res-forge-badge-opened.bf2bc5e115":"Същата значка след една променена стъпка","res-forge-badge-opened.d62d8e0dde":"Махнете която и да е от тези пет и това е различно твърдение.","res-forge-badge-opened.eb38f1807a":"Значката и петте части, които тя потвърждава","res-forge-badge-opened.98987f9e01":"връща резултата","res-forge-badge-opened.613ac981db":"закръгля по различен начин","res-forge-badge-opened.25f1a0d208":"взема показанието","res-forge-badge-opened.16b22f5e52":"Не казва нищо за десетичната аритметика.","res-forge-badge-opened.349be220c7":"Формален резултат и отделна проверка на него.","res-forge-badge-opened.17b29d4546":"Само цели числа и нищо извън програмата.","res-forge-badge-opened.7d77d99854":"Важи за всяко цяло число в обявения диапазон.","res-forge-badge-opened.7112a3df4e":"Точно тази програма, стъпка по стъпка.","res-forge-boundary-instrument.e29c5de6a0":"Един ред е споделен. Всяка друга отговорност стои точно от едната страна на границата.","res-forge-boundary-instrument.c6dda4f283":"притежаван","res-forge-boundary-instrument.d18aac96b9":"споделен","res-forge-boundary-instrument.1ac443dbd4":"не е притежаван","res-forge-business-glyph.161d1b9d9a":"Една спецификация","res-forge-business-glyph.ab98f5b857":"Фиксирано","res-forge-business-glyph.82b6d04b0e":"Изискването, което не се променя","res-forge-business-glyph.b5bf8067cf":"Кандидати","res-forge-business-glyph.7e1d88fa7c":"целеви вектор","res-forge-business-glyph.45d74a7136":"доминиран","res-forge-business-glyph.239aff5852":"на границата","res-forge-business-glyph.f476109f39":"нееднозначно","res-forge-business-glyph.473161067f":"Политика за избор","res-forge-business-glyph.7eff74a5a8":"записано, не скрито","res-forge-business-glyph.c3b9a01442":"латентност","res-forge-business-glyph.b727a735e7":"движение","res-forge-business-glyph.1a7d89d441":"съответствие с целта","res-forge-business-glyph.ef64363d23":"доказателство","res-forge-business-glyph.efe124888c":"назована гаранция","res-forge-business-glyph.b086634a92":"видими компромиси","res-forge-business-glyph.ca2bc19088":"Kera изпълнява","res-forge-business-glyph.f735a5ba22":"Изследователска програма, не софтуерно предложение","res-forge-candidate-fan.b6871fa0fc":"Структурата на силуетите не е източник, а относителни позиции по една граница.","res-forge-candidate-fan.8641796596":"Кандидат E е доминиран от кандидат D по активния набор от цели","res-forge-candidate-fan.d769ded7e8":"Кандидат","res-forge-candidate-fan.45d74a7136":"доминиран","res-forge-candidate-fan.100ec4462d":"доказателство","res-forge-candidate-fan.1a7d89d441":"съответствие с целта","res-forge-candidate-fan.b727a735e7":"движение","res-forge-candidate-fan.714eea0f4c":"време","res-forge-candidate-fan.73ea3f356f":"Доминиран","res-forge-candidate-fan.82f8a46f55":"вложено дърво","res-forge-candidate-fan.416bfd329b":"На границата","res-forge-candidate-fan.00c93cd155":"разклонение на две ленти","res-forge-candidate-fan.a70e321a36":"компактен блок","res-forge-candidate-fan.f259a41862":"широк ветрило","res-forge-candidate-fan.8503665914":"Първо открит","res-forge-candidate-fan.e2a3a58a40":"една дълга верига","res-forge-choice-board.2f98d2f5be":"Балансираният вариант също е предпочитание и се записва като такова.","res-forge-choice-board.ce025222b1":"Всичките четири са верни, така че това е предпочитание, а не класиране.","res-forge-choice-board.48e09e45c5":"Верен","res-forge-choice-board.13f66243ef":"Предпочитан","res-forge-choice-board.55559438c9":"B дава най-малко от всяка отделна мярка.","res-forge-choice-board.03342dbb85":"Балансиран","res-forge-choice-board.3cd298fe82":"D има най-краткия път за проверка.","res-forge-choice-board.baf123fc17":"Най-ясен","res-forge-choice-board.58adc98abc":"C работи на най-широкия набор от поддържани машини.","res-forge-choice-board.b2df292ee2":"Най-широк","res-forge-choice-board.7987c4ffa8":"B премества най-малко данни, но отнема повече време.","res-forge-choice-board.4e76f5796f":"Най-лек","res-forge-choice-board.cda4a6b217":"A завършва най-бързо и държи най-много данни, докато работи.","res-forge-choice-board.4cb3bb0fc4":"Най-бърз","res-forge-choice-board.ed798211fb":"D се отказва от едно пренаписване, за да остане лесен за проверка.","res-forge-choice-board.2a318223e9":"Програма D","res-forge-choice-board.69a71f0df6":"C премества повече данни, за да стигне дотам.","res-forge-choice-board.d7782ce200":"Програма C","res-forge-choice-board.018761680d":"B отнема повече време.","res-forge-choice-board.d2307ff43a":"Програма B","res-forge-choice-board.4c06d2baf8":"A държи най-много данни, докато работи.","res-forge-choice-board.2be70eef66":"Програма A","res-forge-choice-board.97876b8380":"Проверка","res-forge-choice-board.2940ff1e5f":"Машини","res-forge-choice-board.89c8a2851d":"Памет","res-forge-choice-board.6c82e6dd86":"Време","res-forge-choice-instrument.e786244260":"Разходи, които приема","res-forge-choice-instrument.fd9a9f965e":"Относително моделирано закъснение","res-forge-choice-instrument.24d3e4fdd9":"Сила","res-forge-choice-instrument.6853c98a6f":"Член","res-forge-conflict-board.0e565b0b3e":"Нито една лента в това табло не завършва с генериран резервен код. Всяка завършва с именуван резултат и човека, който притежава следващия ход.","res-forge-conflict-board.bb54db510a":"Приемане","res-forge-conflict-board.09c3f0d154":"не е представено от договора за проверка","res-forge-conflict-board.75e6b42fc5":"Извън обхвата","res-forge-conflict-board.281dd83602":"Разширяване","res-forge-conflict-board.8a97b9af81":"ограничение на теорията и бюджета","res-forge-conflict-board.bc7819b34f":"Неизвестно","res-forge-conflict-board.3e0fb17cab":"Изясняване","res-forge-conflict-board.7835f9c578":"отхвърля партидата","res-forge-conflict-board.9522606498":"връща неутрална сума","res-forge-conflict-board.e9a46a96e9":"Двусмислено","res-forge-conflict-board.d36f29cacf":"Съгласуване","res-forge-conflict-board.9a064eb243":"не съществува кандидат в езика L","res-forge-conflict-board.5f20d0f3ac":"Неудовлетворимо","res-forge-conflict-board.151864867d":"Шестте клаузи на едно изискване","res-forge-conflict-board.426475873e":"резултатът пристига в рамките на фиксиран прозорец от реално време","res-forge-conflict-board.6933c35154":"коригиращ запис може да намали сумата","res-forge-conflict-board.4bf7985a78":"резултатът е точен до последната единица","res-forge-conflict-board.55dca06fb3":"празна партида се приема","res-forge-conflict-board.5b3e0d86e8":"сумата никога не намалява при добавяне на записи","res-forge-conflict-board.33f78f4681":"всяка сума остава в рамките на обявения диапазон","res-forge-consumer-glyph.9154742cfc":"Работата, в едно изречение","res-forge-consumer-glyph.b7d5d68aa8":"Дръжте всяко четене в безопасния диапазон","res-forge-consumer-glyph.5a29585e3f":"Опити","res-forge-consumer-glyph.6bd1f59b85":"две се провалят на случай","res-forge-consumer-glyph.059c3755e1":"две пристигат","res-forge-consumer-glyph.d3f5d23e46":"едно носи печат","res-forge-consumer-glyph.6bb9173137":"то търси","res-forge-consumer-glyph.50814a267d":"много възможни програми","res-forge-consumer-glyph.64c675f85c":"то отхвърля","res-forge-consumer-glyph.7403925825":"всичко, което се проваля на един случай","res-forge-consumer-glyph.c1a77ef9ed":"то показва колко силно е проверило","res-forge-consumer-glyph.691b10181f":"и къде спира проверката","res-forge-consumer-glyph.100ec4462d":"доказателство","res-forge-consumer-glyph.88acf54a65":"понякога няма програма","res-forge-consumer-glyph.72dc433046":"Отговорът може да е няма програма","res-forge-cost-vector.140b63310c":"Кандидат C","res-forge-cost-vector.2437a7ecbd":"Доказателство по цел","res-forge-cost-vector.25b7302067":"Сравнение, което се пренася към друг пакет от експерименти.","res-forge-cost-vector.26d24d71f0":"Паметов трафик","res-forge-cost-vector.3e39972526":"Латентност","res-forge-cost-vector.405bdec664":"Няма измерване","res-forge-cost-vector.4b1dda27e1":"Какво не е векторът","res-forge-cost-vector.555486354d":"Размер на кода","res-forge-cost-vector.5d0b1f6647":"Двете линии се пресичат, затова нито един кандидат не е отговорът сам по себе си.","res-forge-cost-vector.66374d941d":"Измерено на хардуер","res-forge-cost-vector.89a596e251":"Празната клетка е твърдението: сложността на доказателството е моделирана и никога измерена.","res-forge-cost-vector.8a4da1dcc8":"Място, където моделен изход може да замести измерване.","res-forge-cost-vector.ab8dd4df08":"По-скъпо","res-forge-cost-vector.ac46a8c74c":"Сложност на доказателството","res-forge-cost-vector.ad638eff4a":"Четири цели, двама кандидати, един експеримент","res-forge-cost-vector.b0b01215a0":"Кандидат D","res-forge-cost-vector.bf8197e03c":"Относителни позиции в един експеримент, по-високо означава по-скъпо.","res-forge-cost-vector.cd05967fea":"Моделирано преди каквото и да е изпълнение","res-forge-cost-vector.ec8e6defbf":"Единствен резултат, по който двамата кандидати могат да бъдат класирани.","res-forge-cost-vector.f4cfc474fa":"По-евтино","res-forge-counterexample-loop.aca21ce064":"създава нова идентичност на спецификацията","res-forge-counterexample-loop.fb8953469c":"ДОБАВЕТЕ ПРЕДУСЛОВИЕ","res-forge-counterexample-loop.7e5559029b":"изпълнението продължава под същата идентичност","res-forge-counterexample-loop.89ad46cbd8":"ДОБАВЕТЕ СЛУЧАЯ","res-forge-counterexample-loop.9001aab10f":"ДВА ЗАКОННИ ОТГОВОРА НА ПРОВАЛ","res-forge-counterexample-loop.8888c622ac":"какво е било поискано от проверяващия","res-forge-counterexample-loop.ec6e54733d":"колоната никога не губи ред","res-forge-counterexample-loop.2a117d0937":"ДОКАЗАТЕЛСТВО, КОЕТО СЛЕДВАЩИЯТ КАНДИДАТ ТРЯБВА ДА УДОВЛЕТВОРИ","res-forge-counterexample-loop.da7195483c":"Изберете итерация на цикъла на прецизиране","res-forge-counterexample-loop.a0c4d76862":"Третият кандидат удовлетворява всяко записано задължение. Проверяващият не открива нарушаващ вход в поддържания домейн и връща доказателство с изброените до него допускания.","res-forge-counterexample-loop.f4800df8d1":"изход","res-forge-counterexample-loop.2c3cbd53a7":"умножение","res-forge-counterexample-loop.d052634571":"разширяване","res-forge-counterexample-loop.c7e42d43b0":"защита","res-forge-counterexample-loop.11f6ad8ec5":"x","res-forge-counterexample-loop.fcdd12a167":"ФОРМАЛНО ПРОВЕРЕНО, изброени допускания","res-forge-counterexample-loop.02b8a8db00":"за всички x в i32, плюс двата записани случая","res-forge-counterexample-loop.30f7f19326":"Вторият кандидат трябва да удовлетвори примерите и случая с препълване заедно. Той разширява междинната стойност преди умножението, а проверяващият връща втори случай, който спецификацията никога не е била фиксирала: празен вход.","res-forge-counterexample-loop.02dc309df7":"ОСПОРЕНО, намерен контрапример","res-forge-counterexample-loop.9ab3ad07a9":"за всички x в i32, плюс записания случай","res-forge-counterexample-loop.47d7508d9a":"Първият кандидат удовлетворява трите предоставени примера. Проверяващият претърсва целия i32 и връща един конкретен вход, при който мащабираният продукт напуска декларирания диапазон.","res-forge-counterexample-loop.ad5fa3b2c6":"за всички x в i32","res-forge-counterexample-loop.d1c8b37b24":"x = празен вход","res-forge-counterexample-loop.b412089d87":"x = 2147483647, препълване","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":"нищо в този лист не свежда четирите цели до едно число","res-forge-decision-record.d327f7b3ba":"Няма единен рейтинг","res-forge-decision-record.6a7eee59c0":"Неизбран и защо","res-forge-decision-record.3e7c118949":"Избран от","res-forge-decision-record.1918daaba9":"Избран член","res-forge-decision-record.974ff8bb6e":"Набор от цели","res-forge-decision-record.e38c2194b4":"формално проверен","res-forge-decision-record.ea2dfcc9cc":"Праг на увереност","res-forge-decision-record.1ccf5d25df":"Спецификация","res-forge-decision-record.5a445661ea":"доминиран от","res-forge-decision-record.f950982dd0":"Идентичен при всяка политика","res-forge-decision-record.e6f8a915dc":"Границата","res-forge-decision-record.473161067f":"Политика за избор","res-forge-decision-record.1a7d89d441":"съответствие с целта","res-forge-decision-record.b3c5533e86":"движение на паметта","res-forge-decision-record.544852fd7a":"най-просто доказателство","res-forge-decision-record.6bf0b2c0d8":"по-дълъг одитен път, като вместо това се постига по-широко съответствие с целта","res-forge-decision-record.fdd18306eb":"Член C","res-forge-decision-record.ee96b43256":"по-дълъг одитен път, като вместо това се постига по-ниско движение","res-forge-decision-record.1e19ce513c":"Член B","res-forge-decision-record.7ad441b0c0":"по-дълъг одитен път от избрания член по активния набор","res-forge-decision-record.d04e27e317":"Член A","res-forge-decision-record.fec4a6c489":"Регулирана програма чете същата граница по оста на доказателствата и избира член D.","res-forge-decision-record.32cba0b9da":"най-пряк одитен път","res-forge-decision-record.f88efb9bc7":"Член D","res-forge-decision-record.47942077ae":"Най-просто доказателство","res-forge-decision-record.e9647ad29d":"работи на по-малко поддържани цели, като разменя широчина за одитен път","res-forge-decision-record.baede38a31":"работи на по-малко поддържани цели, като разменя широчина за движение","res-forge-decision-record.7b357b2d93":"работи на по-малко поддържани цели от избрания член","res-forge-decision-record.2a6987fbaf":"Имот, разпределен върху смесен хардуер, чете същата граница по оста на целите и избира член C.","res-forge-decision-record.462746df39":"най-широко съответствие с целта","res-forge-decision-record.ad59e3b102":"Най-широк","res-forge-decision-record.6235c63244":"премества повече данни и вместо това запазва по-кратко извеждане","res-forge-decision-record.709e1b623c":"премества повече данни, разпределени върху повече поддържани цели","res-forge-decision-record.7efb4f14c6":"премества повече данни от избрания член по активния набор","res-forge-decision-record.26929cd71c":"Разгръщане, ограничено от трафика на паметта, чете същата граница по оста на движението и избира член B.","res-forge-decision-record.993033f0b5":"най-ниско движение на паметта","res-forge-decision-record.4e76f5796f":"Най-лек","res-forge-decision-record.344f41f998":"по-висока моделирана латентност, а по-краткият му одитен път не е оста","res-forge-decision-record.ed3d6e1e77":"по-висока моделирана латентност, а широчината му не се заплаща тук","res-forge-decision-record.0be3560065":"по-висока моделирана латентност от избрания член по активния набор","res-forge-decision-record.b8b9888522":"Инженерен екип с една целева машина чете границата по оста на латентността и избира член A.","res-forge-decision-record.ffefb7fa98":"най-ниска моделирана латентност","res-forge-decision-record.4cb3bb0fc4":"Най-бърз","res-forge-equivalence-space.638d0226a9":"само относителни позиции, без измерени стойности","res-forge-equivalence-space.b727a735e7":"движение","res-forge-equivalence-space.e8c39c4d7e":"операции","res-forge-equivalence-space.4619486033":"извлечена форма","res-forge-equivalence-space.f42512d469":"Цел на извличането","res-forge-equivalence-space.92149cf8ce":"SEED","res-forge-equivalence-space.217cb1c2eb":"Един израз, разширен в четири класа еквивалентни форми, с осветен път към избраната цел на извличането и един отказан ръб, нарисуван, но никога не осветен","res-forge-equivalence-space.ccce87f620":"Израз, разширен в мрежа от еквивалентни форми, с условия върху ръбовете","res-forge-equivalence-space.27fa456ce7":"Извличането за преносимост поема вместо това намаляването на силата и промяната на разположението. То изпълнява повече операции от алгебричната форма и достига най-широкия набор от поддържани цели.","res-forge-equivalence-space.27d7e452b1":"(a << 1) + a, опаковано","res-forge-equivalence-space.feba5b9c56":"Извличането за движение пренася същата алгебрична стъпка в класа на сливането. То изпълнява по-малко операции от формата на разположението и поддържа най-ниското движение на паметта от трите.","res-forge-equivalence-space.37226e169c":"fuse(a + a + a)","res-forge-equivalence-space.a2f4cd4d38":"Извличането за латентност приема алгебричната форма и спира дотук. То изпълнява най-малко операции и премества повече данни от слятата форма, и има право на доказаното условие за ширина.","res-forge-equivalence-space.4b10d3e274":"3 * a","res-forge-equivalence-space.dfb1d5b6c2":"ПРЕНОСИМОСТ","res-forge-equivalence-space.37f756c7d0":"ДВИЖЕНИЕ","res-forge-equivalence-space.49d6c10ece":"ЛАТЕНТНОСТ","res-forge-equivalence-space.8e43c13f74":"отказано преасоцииране на f32","res-forge-equivalence-space.13d2c4a154":"доказана ширина на i32","res-forge-equivalence-space.dcc4e6c574":"КЛАС НА РАЗПОЛОЖЕНИЕ","res-forge-equivalence-space.69688a961b":"КЛАС НА СЛИВАНЕ","res-forge-equivalence-space.16cbdc05fc":"КЛАС НА СИЛА","res-forge-equivalence-space.dbb0f90765":"АЛГЕБРИЧЕН КЛАС","res-forge-equivalence-space.bc109fb076":"преносим","res-forge-equivalence-space.7aca22de0b":"опаковано","res-forge-equivalence-space.1f08a3216a":"слято","res-forge-equivalence-space.b0c659fe95":"поточно","res-forge-equivalence-space.28e1e451f0":"прегрупиране на f32","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":"Промоцията изисква доказателство, а не контрол. Тази възможност не е налична в нито едно състояние на тази дъска, което е правилото, което се чертае.","res-forge-evidence-cards.61c57736e7":"Повиши","res-forge-evidence-cards.7d903d3344":"Правилото за повишение","res-forge-evidence-cards.8fc2a131ae":"един възел е променен и етикетът се връща към добре оформен","res-forge-evidence-cards.4acf3ac41d":"Досиета на кандидати","res-forge-evidence-cards.65748fb5d3":"плаващият регион на същата графика, който това кодиране не представя","res-forge-evidence-cards.d274f5b4e3":"Какво не е установено","res-forge-evidence-cards.8f4f743d7f":"точна целочислена семантика и регион, обявен за чист от пакета","res-forge-evidence-cards.7d37b7550c":"При какви допускания","res-forge-evidence-cards.2bae06de12":"всеки вход, който формалната теория може да изрази","res-forge-evidence-cards.e700afa7f9":"Върху коя област","res-forge-evidence-cards.8be740fd8c":"кодираната релация върху цялата поддържана област","res-forge-evidence-cards.b76e542d96":"Какво е проверено","res-forge-evidence-cards.906c590060":"поддържана универсална релация е доказана при посочените допускания","res-forge-evidence-cards.ea66d3cd71":"Формално проверено","res-forge-evidence-cards.b7330133c1":"Кандидат R","res-forge-evidence-cards.8e950fc545":"всеки вход извън предоставеното множество, включително количественото условие","res-forge-evidence-cards.72d0fc35c6":"референтното поведение, предоставено с пакета, в рамките на неговата собствена област","res-forge-evidence-cards.2c8e59076b":"предоставените входове, един по един","res-forge-evidence-cards.961d36c1e2":"конкретните случаи, записани в спецификацията","res-forge-evidence-cards.593aeb47dc":"обявените конкретни случаи преминаха и нищо извън тях не беше заявено","res-forge-evidence-cards.919003799d":"Тествано","res-forge-evidence-cards.24f43cdd11":"Кандидат Q","res-forge-evidence-cards.8af32eb207":"поведение върху целеви профил, който връзката за изпълнение не назовава","res-forge-evidence-cards.d7201bf2e3":"численото семейство и ефектите, които пакетът позволява, и двете фиксирани","res-forge-evidence-cards.dfaa1686c4":"обявеният входен диапазон върху един поддържан целеви профил","res-forge-evidence-cards.707e2a56c9":"доказаната релация, след това планът и артефактът, който я пренесе в изпълнение","res-forge-evidence-cards.f092d6fe39":"графика, план, артефакт и идентичност на резултата остават свързани заедно","res-forge-evidence-cards.32d888fecc":"Изпълнението е свързано","res-forge-evidence-cards.0483882b1c":"Кандидат P","res-forge-experiment-packet.7a6aad1d4c":"нов експеримент, отделен запис","res-forge-experiment-packet.aad6b5ae20":"ИДЕНТИЧНОСТ НА ПАКЕТА","res-forge-experiment-packet.bbcc172a1e":"АКО НЯКОЕ ПОЛЕ СЕ ПРОМЕНИ","res-forge-experiment-packet.f5ca7850da":"запечатан в началото на изпълнението","res-forge-experiment-packet.1f7febf95f":"ОБЯВЕНА ПОЛИТИКА","res-forge-experiment-packet.39b2c01e18":"ЕЗИКЪТ Е ЗАТВОРЕН","res-forge-experiment-packet.c2bb6fa0c5":"СПЕЦИФИКАЦИЯТА Е НЕИЗМЕНЯЕМА","res-forge-experiment-packet.4484cb6fa9":"докладвай неизвестно","res-forge-experiment-packet.feaf4dd4e6":"ограничение: размер <= 6","res-forge-experiment-packet.5aa50aebf7":"формално, където се поддържа","res-forge-experiment-packet.31be469709":"ПОЛИТИКА","res-forge-experiment-packet.e1e3e98714":"размер на кода","res-forge-experiment-packet.b3c5533e86":"преместване на памет","res-forge-experiment-packet.e64e22b150":"ЦЕЛИ","res-forge-experiment-packet.48aef70526":"фиксиран общ ред","res-forge-experiment-packet.294793bfad":"допълнителен код, 32 бита","res-forge-experiment-packet.1e9edfb9ee":"СЕМАНТИКА","res-forge-experiment-packet.9c5c96b457":"без външен ефект","res-forge-experiment-packet.d835dab5b4":"точно цяло число","res-forge-experiment-packet.2a3ffd9ebb":"ЕЗИК","res-forge-experiment-packet.486c4f6f95":"1 скица, 2 дупки","res-forge-experiment-packet.9254dc6ec8":"1 универсална релация","res-forge-experiment-packet.dbeac903da":"4 примера","res-forge-experiment-packet.32082e06e3":"СПЕЦИФИКАЦИЯ","res-forge-forms-instrument.b050566d50":"изобщо не","res-forge-forms-instrument.d680340c0b":"отчасти","res-forge-forms-instrument.ad22e7e15b":"решава въпроса","res-forge-forms-instrument.7cb8793606":"не решава въпроса","res-forge-forms-instrument.ed5a4b874a":"решава въпроса отчасти","res-forge-four-silences.a2b701e0b3":"Не се създава програма и причината е посочена.","res-forge-four-silences.5faa59d4bc":"Резултат","res-forge-four-silences.5647cada0f":"Какво би го променило","res-forge-four-silences.7661e6591f":"Какво се случи","res-forge-four-silences.1189b54fc7":"Какво беше поискано","res-forge-four-silences.c648f0b37b":"Четири причини отговорът да е без програма","res-forge-four-silences.2637ce69f5":"ПРОГРАМАТА","res-forge-four-silences.f61fa98a3b":"МОДЕЛЪТ","res-forge-four-silences.cbbef8ce7e":"ИЗВЪН","res-forge-four-silences.ce75fc2aec":"ДАДЕНА ГРАНИЦА","res-forge-four-silences.3a339a1749":"ПРАВИЛО 2","res-forge-four-silences.35a7d11e05":"ПРАВИЛО 1","res-forge-four-silences.8cc9c3c016":"Обратно към това, което обхваща твърдението","res-forge-four-silences.971c87e299":"Включете услугата в модела или стеснете твърдението.","res-forge-four-silences.88868a0c58":"Част от поведението е извън границата, която проверката може да опише.","res-forge-four-silences.181032c74d":"попитайте външна услуга за границата","res-forge-four-silences.407dfebcf1":"Обратно с повече място","res-forge-four-silences.97cd9b5795":"По-дълго изпълнение или различен метод.","res-forge-four-silences.33af89d7fc":"Търсенето достигна дадената граница и спря, преди да разреши въпроса.","res-forge-four-silences.086f7cbb23":"едно правило за всеки поддържан вход","res-forge-four-silences.74864a1ff8":"Обратно за едно решение","res-forge-four-silences.7c78667c01":"Предоставете още един пример.","res-forge-four-silences.fd58916c0c":"Две различни поведения съвпадат и по трите примера и се разминават на четвъртия вход.","res-forge-four-silences.96dee44862":"3 дава 9","res-forge-four-silences.9179befc0c":"2 дава 4","res-forge-four-silences.3d47eae588":"1 дава 1","res-forge-four-silences.35f6e4ab6c":"Обратно към този, който е написал правилата","res-forge-four-silences.5c332290c5":"Разхлабете едно от двете правила.","res-forge-four-silences.ece7f203f5":"Двете правила се сблъскват. Отрицателен вход не може да удовлетвори и двете едновременно.","res-forge-four-silences.b25d65ea16":"върнете входа непроменен","res-forge-four-silences.a4d3a2c877":"винаги връщайте положително число","res-forge-four-silences.20cb7eef2c":"Извън модела","res-forge-four-silences.c439038abe":"Не е покрито","res-forge-four-silences.04ae6467a0":"Няма заключение","res-forge-four-silences.280c5e7fc6":"Две четения","res-forge-four-silences.3fe459f958":"Нищо не пасва","res-forge-graph-asset.49281c01cf":"гаранцията се връща към добре оформен","res-forge-graph-asset.670f6bdd9a":"нова идентичност на кандидат","res-forge-graph-asset.197e419ad3":"НОВА ИДЕНТИЧНОСТ НА ГРАФА","res-forge-graph-asset.33dd31d4b3":"ПРОМЕНЕТЕ ОТБЕЛЯЗАНИЯ ВЪЗЕЛ","res-forge-graph-asset.d7b94d76cf":"ЕДИН ВЪЗЕЛ, ОТБЕЛЯЗАН В ТРИТЕ ИЗОБРАЖЕНИЯ","res-forge-graph-asset.990742f8b4":"буфери","res-forge-graph-asset.1bdbf6a26d":"ограничаване, съхраняване навън","res-forge-graph-asset.e9e90fc64f":"мащабиране, умножение, събиране","res-forge-graph-asset.851967b4a3":"зареждане на x, k, lo","res-forge-graph-asset.46599c6b1e":"имената на операторите съвпадат с имената на възлите","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":"СЪЩИЯТ ОБЕКТ","res-forge-graph-asset.31e8d812fa":"ПОТОК ОТ ДАННИ","res-forge-graph-asset.891bbd450e":"ИЗРАЗ","res-forge-graph-asset.e7bd56e1ec":"GRAPH","res-forge-graph-asset.30a5d0d91f":"Един и същ семантичен граф, изобразен като граф на възли, като израз и като поток от данни,\n              с един отбелязан възел в трите изображения, свързани с едно правило","res-forge-graph-asset.0be82d1c87":"Един семантичен граф, нарисуван по три начина, като граф, като израз и като поток от данни, с отбелязан възел clamp в трите","res-forge-graph-asset.da528b9287":"ФОРМАЛНО ВЕРИФИЦИРАНО","res-forge-graph-asset.894f6d1562":"ИДЕНТИЧНОСТ НА ГРАФА","res-forge-graph-asset.33daecb09d":"out : i32","res-forge-graph-asset.a4ab4f2116":"clamp","res-forge-graph-asset.58d1bbce29":"add","res-forge-graph-asset.2c3cbd53a7":"mul","res-forge-graph-asset.60020d1b19":"scale","res-forge-graph-asset.cf023c3538":"lo : i32","res-forge-graph-asset.643ea229e1":"k : i32","res-forge-graph-asset.d14f7f166c":"x : i32","res-forge-intent-cards.398168fe2d":"Няма с какво да се сравни","res-forge-intent-cards.f2b3a1f895":"Написано направо от изречението","res-forge-intent-cards.8af3e09e73":"Същото изречение, отговорено директно","res-forge-intent-cards.ee3c9325a5":"Те могат да се провалят, в това е смисълът","res-forge-intent-cards.a014f9c662":"Формата се запазва, празнините се търсят.","res-forge-intent-cards.d40fae93b9":"Две празнини","res-forge-intent-cards.32fd056d3d":"Скица","res-forge-intent-cards.5b6d56b37e":"Проверено при всяко четене, което правилото може да назове.","res-forge-intent-cards.43a980aaf8":"при четене отговорът остава между 0 и 100 и никога не се движи с повече от една\n                  стъпка.","res-forge-intent-cards.d8784ae2ea":"За всяко","res-forge-intent-cards.57f6dcedb1":"Един ред","res-forge-intent-cards.78e1790e29":"Правило","res-forge-intent-cards.85ee9e64bf":"Проверено при четенията, които предоставихте.","res-forge-intent-cards.ef73fdd1c8":"Четири случая","res-forge-intent-cards.eb01bf04c9":"Примери","res-forge-intent-cards.77d979bc52":"Три форми, които изречението може да приеме","res-forge-intent-cards.b784f64740":"То се разделя на три форми и всяка една може да бъде проверена.","res-forge-intent-cards.6802fdd79e":"Това, което беше поискано","res-forge-intent-cards.650c85708e":"липсваща стъпка","res-forge-intent-cards.d2fb792999":"ограничете доколко може да скочи с","res-forge-intent-cards.d2fde1a28f":"задръжте го в диапазона с","res-forge-intent-cards.25f1a0d208":"вземете показанието","res-forge-intent-cards.94407bb3ee":"„Запазете всяко показание в безопасния диапазон и никога не го оставяйте да скочи.“","res-forge-intent-modes-instrument.fd197e80cc":"Формулярът се избира, а не се слива. Записът пази кой е носел твърдението.","res-forge-intent-modes-instrument.a6c44a9033":"Покрития","res-forge-intent-modes-instrument.abd6628786":"Три начина да се посочи какво трябва да прави програмата","res-forge-intent-routes.5170330dcc":"И двете линии оставят едно и също изискване. Само една от тях е все още отворена в долната част на чертежа.","res-forge-intent-routes.544852fd7a":"най-простото доказателство","res-forge-intent-routes.3e7c118949":"Избрано от","res-forge-intent-routes.9a976fc228":"Избрано","res-forge-intent-routes.239aff5852":"на границата","res-forge-intent-routes.be601df25e":"Изследване","res-forge-intent-routes.f577430e54":"нов проект","res-forge-intent-routes.f6ef754e2d":"Точка на заключване","res-forge-intent-routes.7b2d03931b":"Конвенционален","res-forge-intent-routes.f18b41890d":"поведение, ограничения и рискове, записани веднъж","res-forge-intent-routes.e9c366b4f3":"Изискване","res-forge-intent-routes.eb9ceb1149":"контрапример","res-forge-intent-routes.462746df39":"най-широко покритие на целта","res-forge-intent-routes.120e0af75a":"най-малко движение","res-forge-intent-routes.cd3e7bf034":"оптимизационен проект","res-forge-intent-routes.92be6abbc0":"една кодова база","res-forge-intent-routes.9732c542fc":"написана реализация","res-forge-intent-routes.27df60a6a2":"избрана архитектура","res-forge-kera-boundary.1ccf5d25df":"Спецификация","res-forge-kera-boundary.29a184b65c":"графика","res-forge-kera-boundary.2fa9505626":"артефакт","res-forge-kera-boundary.37a5301a88":"резултат","res-forge-kera-boundary.3bd7b119dd":"всеки недоминиран член","res-forge-kera-boundary.4aca16af35":"Резултат от проверката","res-forge-kera-boundary.61792020d0":"Фронт на целите","res-forge-kera-boundary.646e287869":"доказателството и неговите допускания","res-forge-kera-boundary.6f8f7df48d":"FORGE","res-forge-kera-boundary.700bb94783":"редукции","res-forge-kera-boundary.7bc555991d":"фиксиран","res-forge-kera-boundary.7c1df38fca":"ПРОВЕРЕН СЕМАНТИЧЕН ГРАФ","res-forge-kera-boundary.807a40a32f":"сочи обратно към графика","res-forge-kera-boundary.8b36233e89":"проверен семантичен граф плюс задължения","res-forge-kera-boundary.8cd3def21e":"от тази страна няма целеви емитер","res-forge-kera-boundary.970c175475":"целеви профил","res-forge-kera-boundary.9c31467d05":"Задържа се от тази страна на портала","res-forge-kera-boundary.a30f1285d5":"ВРЪЗКА ЗА ИЗПЪЛНЕНИЕ","res-forge-kera-boundary.b727a735e7":"движение","res-forge-kera-boundary.bed97175b0":"план","res-forge-kera-boundary.c9ff38c8bb":"закрепеният изследователски проблем","res-forge-kera-boundary.cce55e4309":"ред","res-forge-kera-boundary.d4f766efab":"Три притежания, един обект преминава","res-forge-kera-boundary.efe0c41bcb":"KERA","res-forge-loop-instrument.1e76c7e5b8":"Един контрапример цикъл, четири етапа","res-forge-pareto-frontier.e2ee360818":"ДОБАВЯНЕ НА ЕНЕРГИЙНА ЦЕЛ","res-forge-pareto-frontier.b0e56d1efe":"кривата е фиксирана, докато се променя само политиката","res-forge-pareto-frontier.787ca603fd":"фронтът принадлежи на набора от цели","res-forge-pareto-frontier.d0eeccbe8d":"избрано от","res-forge-pareto-frontier.173d916846":"енергия","res-forge-pareto-frontier.1a7d89d441":"съответствие с целта","res-forge-pareto-frontier.b727a735e7":"движение","res-forge-pareto-frontier.c3b9a01442":"латентност","res-forge-pareto-frontier.3404b13cac":"набор от цели","res-forge-pareto-frontier.e38c2194b4":"формално проверено","res-forge-pareto-frontier.bf984aca27":"праг на гаранция","res-forge-pareto-frontier.03d6a194f4":"спецификация","res-forge-pareto-frontier.33ca7f61b6":"ВЪЗВРЪЩАЕМОСТ НА ЕНЕРГИЯТА","res-forge-pareto-frontier.0acbd1c769":"ДВИЖЕНИЕ НА ПАМЕТТА","res-forge-pareto-frontier.4b93d5e7ea":"ЛАТЕНТНОСТ, ПО-ВИСОКА НАДЯСНО","res-forge-pareto-frontier.43bf415954":"Графика на компромиса между латентност и движение на паметта, като съответствието с целта е показано като размер на маркера, четири недоминирани члена, свързани с кривата на фронта, и седем доминирани кандидата, всеки свързан с члена, който го доминира","res-forge-pareto-frontier.f2b023979d":"xMinYMid meet","res-forge-pareto-frontier.473161067f":"Политика за избор","res-forge-pareto-frontier.7c1e368123":"Политиката на балансираното коляно също избира кандидат C, но с различен аргумент: това е точката, в която отказът от повече латентност спира да носи значително движение. Две политики, избиращи един и същ член, е факт за този фронт, а записът все пак посочва коя политика го е избрала.","res-forge-pareto-frontier.b7aedb3b70":"Политиката за най-просто доказателство избира кандидат D. Тя се отказва от една агресивна преработка, така че задължението ѝ за проверка е най-малкото от четирите.","res-forge-pareto-frontier.5614e2e73d":"Политиката за най-малко движение избира кандидат B. Тя има най-дългия критичен път от четирите, което е цената за преместване на най-малко данни.","res-forge-pareto-frontier.14826696ec":"Политиката за най-бърз избор избира кандидат A. Тя държи най-голямото работно множество на фронта, а записът го съхранява заедно с избора, вместо да го скрива в резултат.","res-forge-pareto-frontier.c65681bb2d":"съответствие с целта: най-широко","res-forge-pareto-frontier.b097d0ac54":"движение: средно","res-forge-pareto-frontier.05da02c2f2":"латентност: средна","res-forge-pareto-frontier.d0b64e1eec":"съответствие с целта: средно","res-forge-pareto-frontier.144e5e5e83":"движение: по-ниско","res-forge-pareto-frontier.aa828b0585":"латентност: по-висока","res-forge-pareto-frontier.e3a088e260":"съответствие с целта: тясно","res-forge-pareto-frontier.6fc0d51b39":"движение: най-ниско","res-forge-pareto-frontier.1b565dbd5d":"латентност: най-висока","res-forge-pareto-frontier.79c0f24c30":"движение: най-високо","res-forge-pareto-frontier.83504b708a":"латентност: най-ниска","res-forge-pareto-frontier.37671e6ba6":"Балансирано коляно","res-forge-pareto-frontier.47942077ae":"Най-просто доказателство","res-forge-pareto-frontier.8703111807":"Най-широка цел","res-forge-pareto-frontier.0b2147fd0a":"Най-малко движение","res-forge-pareto-frontier.4cb3bb0fc4":"Най-бърз","res-forge-pareto-frontier.7e6396c2ce":"Политиката за най-широка цел избира кандидат C. Тя работи върху най-широкия набор от поддържани цели и се намира между двете крайности по двете нанесени оси.","res-forge-programme-boundary.97af50dd3d":"Портата пресича трите публикувани пръстена и спира на границата на ядрото. Външните три\n          могат да бъдат проверявани, без да се отваря най-вътрешният.","res-forge-programme-boundary.9ba1f67469":"Изследователска програма, а не софтуерно предложение","res-forge-programme-boundary.f72e361ba7":"Контрол на публикациите","res-forge-programme-boundary.108e9b7f90":"придържани като изследователски метод","res-forge-programme-boundary.88306943fe":"Метод","res-forge-programme-boundary.68836c550e":"Ядро","res-forge-programme-boundary.175267da12":"маршрутизиране на теорията","res-forge-programme-boundary.15e58bec8d":"разпределение на бюджета","res-forge-programme-boundary.b32f31d61d":"позиция на границата","res-forge-programme-boundary.6f3c47977c":"ограничено измерване","res-forge-programme-boundary.ff7fc62f3f":"състояние на гаранцията","res-forge-programme-boundary.500aadccf6":"избран кандидат","res-forge-programme-boundary.5faa59d4bc":"Резултат","res-forge-programme-boundary.6840659e94":"третиране на неизвестното","res-forge-programme-boundary.3404b13cac":"целеви набор","res-forge-programme-boundary.78a3386c55":"ограничение на ресурсите","res-forge-programme-boundary.90f54b8f1b":"разрешен език","res-forge-programme-boundary.c445f7aab5":"корпус от спецификации","res-forge-programme-boundary.1ed77c3f7f":"Протокол","res-forge-programme-boundary.aba4559466":"посочен предшестващ артефакт","res-forge-programme-boundary.0c447c79ec":"изследователски въпрос","res-forge-programme-boundary.002ff59811":"Въпрос","res-forge-programme-instrument.a725020675":"Състояние","res-forge-programme-instrument.dc4e08a408":"Иск","res-forge-proof-parts-instrument.ba3fef96ae":"Доказателство в пет части","res-forge-provenance-chain.040c236a24":"четири от девет възела и нито една запечатана стъпка сред тях","res-forge-provenance-chain.0ca6a997b6":"КАКВО ТРЯБВА ДА ВЪЗПРОИЗВЕДЕ ЕДИН REPLAY","res-forge-provenance-chain.7c0a292070":"ТОЧКА С МАРКА НА БРАНДА ОТБЕЛЯЗВА ВЪЗЕЛ, КОЙТО ЛЕНТАТА ЗА REPLAY ТРЯБВА ДА ДОКОСНЕ","res-forge-provenance-chain.763ad25abd":"запечатване r:1c62e08","res-forge-provenance-chain.da528b9287":"ФОРМАЛНО ВЕРИФИЦИРАНО","res-forge-provenance-chain.9106ca2738":"ИЗБРАНО","res-forge-provenance-chain.416eb4fbb0":"граница","res-forge-provenance-chain.8e016346a6":"КЛАС НА ЕКВИВАЛЕНТНОСТ","res-forge-provenance-chain.97d9eb838e":"cx 2","res-forge-provenance-chain.21fedfd21e":"кандидат 2","res-forge-provenance-chain.2ce3ff82d2":"изход: кандидат 2","res-forge-provenance-chain.656b15a358":"вход: кандидат 1 плюс cx 1","res-forge-provenance-chain.a65edb573d":"ИЗСЛЕДОВАТЕЛСКА СТЪПКА","res-forge-provenance-chain.b0b7ba4666":"ЧАСТНО","res-forge-provenance-chain.6495ecf841":"cx 1","res-forge-provenance-chain.7312546346":"кандидат 1","res-forge-provenance-chain.32082e06e3":"СПЕЦИФИКАЦИЯ","res-forge-provenance-chain.4ee56d08c0":"Граф на извеждане отляво надясно: спецификация, два кандидата, два контрапримера,\n              една запечатана вътрешна стъпка, клас на еквивалентност, граница и избраният верифициран\n              резултат","res-forge-provenance-chain.e259f512bc":"Граф на извеждане от спецификацията до избрания верифициран кандидат, с една вътрешна стъпка, запечатана, но свързана","res-forge-provenance-chain.191f8b1087":"СВЪРЗВАНЕ НА ИЗПЪЛНЕНИЕТО","res-forge-provenance-chain.88be68d35d":"РЕЗУЛТАТ ОТ ВЕРИФИКАЦИЯТА","res-forge-provenance-chain.bdd7fdaa13":"КАНДИДАТ 2","res-forge-provenance-chain.608c5b40ac":"СПЕЦИФИКАЦИЯ v1","res-forge-record-timeline.0794c4ea35":"Взето решение","res-forge-record-timeline.0f9c9e32f9":"Версия, а не име на клон","res-forge-record-timeline.314d8e79c0":"Защо не е избран кандидат Б?","res-forge-record-timeline.39ab49c337":"Точният неуспешен вход, запазен за добро","res-forge-record-timeline.4868056615":"Нищо на този ред не е възстановено от съобщенията за ангажименти.","res-forge-record-timeline.4bd9342a8a":"Три записа отговарят на това и нито един от тях не трябва да бъде реконструиран.","res-forge-record-timeline.59d432b5cb":"Сравнени алтернативи","res-forge-record-timeline.6546ec1158":"Рецензент пристига много по-късно","res-forge-record-timeline.6833948a23":"Написано по това време","res-forge-record-timeline.7d1e2e97e8":"Посочено изискване","res-forge-record-timeline.90726e413a":"Отговаря на въпроса","res-forge-record-timeline.aaddcdd4a5":"Метод на изследване, запечатан","res-forge-record-timeline.ccf3d548fe":"Прочетено отново","res-forge-record-timeline.de805f67e3":"Пет кандидата, една доминантна връзка","res-forge-record-timeline.e4a8371aea":"Записът, четен отляво надясно","res-forge-record-timeline.e8412cdd3e":"Политиката и органът зад нея","res-forge-record-timeline.eeb026e98f":"Записан контрапример","res-forge-record-timeline.f4452aa131":"Стъпалото и обхватът, който покрива","res-forge-record-timeline.f65fb0cd45":"Постигната увереност","res-forge-search-field.f6d08e6875":"Относителни дължини, не бройки","res-forge-search-field.e9fd9a1eaa":"Какво има в полето","res-forge-search-field.fbd8250bed":"UNCHANGED FOR THE WHOLE RUN","res-forge-search-field.6a38722b12":"ИЗИСКВАНЕТО","res-forge-search-field.dbd3e24a6c":"Поле с кандидат-форми на програми в три състояния около една фиксирана рамка на изискването в центъра","res-forge-search-field.0c596f1034":"xMidYMid slice","res-forge-search-field.7be0fdc4e0":"Построено, после хванато","res-forge-search-field.9545c5f30a":"Провали случай","res-forge-search-field.e247bbc42c":"Изобщо не построено","res-forge-search-field.3d7da15c51":"Отказано от типа","res-forge-search-field.70c98ed3c6":"Допуснато за проверка","res-forge-search-field.35633f30dd":"Отговаря на правилата","res-forge-search-field.50c026300b":"Прието","res-forge-silence-instrument.3bc40f4b2a":"Четири резултата, които се връщат без програма","res-forge-size-lattice.a82ce62110":"ПО-ШИРОК ЕЗИК, НОВ ЕКСПЕРИМЕНТ","res-forge-size-lattice.74ed41aa02":"МИНИМАЛНО В ЕЗИК L, С РАЗМЕР 5 ИЛИ ПО-МАЛКО","res-forge-size-lattice.4ca63f9c2e":"НЕ Е ТЪРСЕНО, НЕ Е ЗАЯВЕНО","res-forge-size-lattice.b79d0fac18":"ОБЯВЕНА ГРАНИЦА","res-forge-size-lattice.5e265fa4aa":"ПЪРВО ПРОВЕРЕНО","res-forge-size-lattice.92664d7dff":"наблюдение, не доказателство","res-forge-size-lattice.950b23b925":"свито като наблюдаван дубликат","res-forge-size-lattice.a615e7ad1a":"отхвърлено по тип, преди оценка","res-forge-size-lattice.6f389bc568":"прието","res-forge-specification-desk.65d9989d71":"ДОКАЗАТЕЛНИТЕ ФОРМИ НЕ СА ВЗАИМОЗАМЕНИМИ","res-forge-specification-desk.166b5a63b2":"преминава и четирите примера","res-forge-specification-desk.26a9ba5602":"x = -9","res-forge-specification-desk.5099050f90":"СЛУЧАЯТ, КОЙТО ГИ РАЗДЕЛЯ","res-forge-specification-desk.561f36ce2f":"изпълним отговор със собствените си ограничения","res-forge-specification-desk.ca24d384c1":"област на оракула: само от 0 до 100","res-forge-specification-desk.3cee30a3ad":"ПРЕПРАТКА","res-forge-specification-desk.0d99250013":"структурата е фиксирана, два типизирани отвора са празни","res-forge-specification-desk.c1dc5611bb":"return clamp(t,","res-forge-specification-desk.2e5baed7cb":"let t =","res-forge-specification-desk.b3274ca07a":"let s = scale(x)","res-forge-specification-desk.ebdeb573df":"СКИЦА","res-forge-specification-desk.c597bbdbc1":"всеки вход, който теорията може да изрази","res-forge-specification-desk.15ac2f23db":"за всяко x в поддържаната област:","res-forge-specification-desk.61ed10966f":"ОГРАНИЧЕНИЯ","res-forge-specification-desk.0ec3e255af":"четири случая, проверени точно","res-forge-specification-desk.9659699670":"ПРИМЕРИ","res-forge-specification-desk.191f4bd034":"ограничи мащабирана стойност в обявен диапазон","res-forge-specification-desk.4ad49a4ec4":"ЕДНА ТРАНСФОРМАЦИЯ","res-forge-specification-desk.d9b48caf78":"нарушава монотонността извън областта на оракула","res-forge-stack-path.4d5fa1b006":"Всяка система чете един и същ обект, а не негово копие, което е това, което държи спецификацията, доказателството, плана и резултата на една идентичност.","res-forge-stack-path.86506efb99":"идентичността на резултата се връща към идентичността на графа, от която е започнал","res-forge-stack-path.c83a5945cb":"където програмата съхранява проверено състояние","res-forge-stack-path.55561848ab":"Aion","res-forge-stack-path.17ed2b5e88":"където модел на физическата система е част от спецификацията","res-forge-stack-path.1699ca16fb":"FMI и Twin","res-forge-stack-path.d5f412e831":"Kera","res-forge-stack-path.3ab11b75ca":"Forge","res-forge-stack-path.11e7686a81":"Идентичност на графа","res-forge-stack-path.8e246a1e8d":"На плочата на Forge не се появява целеви емитер.","res-forge-technical-glyph.be601df25e":"Изследване","res-forge-technical-glyph.91a9d5d08f":"Спецификацията е неизменяема","res-forge-technical-glyph.c2237a2d15":"Експериментален пакет","res-forge-technical-glyph.03d6a194f4":"спецификация","res-forge-technical-glyph.e11523c5ff":"език","res-forge-technical-glyph.7b7f9366a3":"цели","res-forge-technical-glyph.f3753f1b6b":"гаранция","res-forge-technical-glyph.9d78bc179c":"типизиран графичен регион","res-forge-technical-glyph.2b90fe2fea":"време, движение, размер","res-forge-technical-glyph.a8a172a738":"оспорено","res-forge-technical-glyph.e1d96de67b":"Кандидатски пул","res-forge-technical-glyph.6f389bc568":"приет","res-forge-technical-glyph.a503bc1da2":"отказан","res-forge-technical-glyph.880949479a":"тестван","res-forge-technical-glyph.ec734b6515":"проверен","res-forge-technical-glyph.61792020d0":"Фронт на целите","res-forge-technical-glyph.096280facb":"избран един","res-forge-technical-glyph.9985d73a38":"Стълба на гаранциите","res-forge-technical-glyph.83ced341c8":"добре оформен","res-forge-technical-glyph.e38c2194b4":"формално проверен","res-forge-technical-glyph.275ed0c2c7":"свързан с изпълнението","res-forge-technical-glyph.49794a5e29":"Избран кандидат","res-forge-technical-glyph.9e955c5620":"запазени контрапримери","res-forge-technical-glyph.74ef6c0061":"Предаване на Kera","res-forge-technical-glyph.bed97175b0":"план","res-forge-technical-glyph.37a5301a88":"резултат","res-forge-technical-glyph.96a6bf1d97":"проверена графика","res-forge-technical-glyph.b8d8aaff0a":"приложени доказателства","res-forge-technical-glyph.100ec4462d":"доказателство","res-forge-technical-glyph.416eb4fbb0":"фронт","res-forge-technical-glyph.dd4fb84f32":"неизвестното е резултат","res-forge-technical-glyph.3137db7c8b":"Неизвестно, неудовлетворимо и двусмислено са резултати","res-forge-technical-glyph.d5f412e831":"Kera","res-forge-technical-glyph.00f6d27f5f":"DWEVE FORGE","res-forge-three-tries.ca6f569d32":"Нищо не се премахва от списъка вляво","res-forge-three-tries.48fce8a80b":"Три опита за един и същ проблем","res-forge-three-tries.8805376577":"Кръг 3 включва всичко, което първите два кръга са открили, и още един случай.","res-forge-three-tries.da17ea9bb5":"Списъкът със случаи, кръг по кръг","res-forge-three-tries.8cc87a2190":"няма какво да се добави","res-forge-three-tries.36d5623704":"и след това доказа","res-forge-three-tries.0f0b41cfe8":"Премина всички случаи","res-forge-three-tries.1e35a52de1":"Опит 3","res-forge-three-tries.3b26ea5e3d":"празен списък","res-forge-three-tries.b8575badd2":"върху празен списък","res-forge-three-tries.09fef5d8d9":"Неуспешно","res-forge-three-tries.969a17cecc":"Опит 2","res-forge-three-tries.15d3c90fb9":"възможно най-голямото число","res-forge-three-tries.f88b9a4765":"върху възможно най-голямото число","res-forge-three-tries.ff31d219ef":"Опит 1","res-forge-three-tries.f65e38d46b":"списък с един елемент","res-forge-three-tries.e8741ca2e3":"списък, който вече е подреден","res-forge-three-tries.9450ac4e17":"кратък списък","res-forge-three-tries.4d944a9d7e":"Кръг 3","res-forge-three-tries.fa2b87ffe2":"Кръг 2","res-forge-three-tries.f7648d3834":"Кръг 1","res-forge-type-sockets.13fff86afe":"Две операции, едно свързване","res-forge-type-sockets.2251b5f821":"Неограничени цели числа","res-forge-type-sockets.338ce27565":"Три композиции, предложени на един типизиран език","res-forge-type-sockets.3d7da15c51":"Отхвърлено от типа","res-forge-type-sockets.50c026300b":"Допуснато","res-forge-type-sockets.5e5da2cd3c":"Мрежов достъп","res-forge-type-sockets.681bcaf5e4":"Отказът на тази дъска не струва нищо, защото нищо на нея още не е оценено.","res-forge-type-sockets.7303a0d112":"Отхвърлено от възможност","res-forge-type-sockets.73841deb9d":"Затворено за това изпълнение","res-forge-type-sockets.76123e0c4c":"Втората операция изисква възможност, която пакетът не е предоставил, затова тя е извън пространството за търсене.","res-forge-type-sockets.93c6a1f183":"Сокет","res-forge-type-sockets.a1369155ac":"Достъп до файлове","res-forge-type-sockets.b4ae90c7f4":"Двете гнезда не се срещат, така че от тази двойка никога не се сглобява кандидат.","res-forge-type-sockets.b957ab83e5":"Изходният тип съвпада с входния тип, така че кандидатът се сглобява и може да бъде оценен.","res-forge-type-sockets.c7303935a3":"Непроверено псевдонимизиране","res-forge-type-sockets.d3f0610632":"Резултат","res-forge-type-sockets.dbe18d2e48":"Езикът се избира с пакета и не се разширява, докато търсенето се изпълнява.","res-forge-type-sockets.eb8606da6a":"Предложена композиция","research-forge.00274e0e63":"отказано, договор за грешка","research-forge.002ff59811":"Въпрос","research-forge.005a8c4891":"Внесете намерение за домейна, формални методи, хардуерно измерване или независим преглед. Forge предоставя споделен изследователски обект за сравняване на откриване, доказателство и изпълнение на програми.","research-forge.008fef2a92":"Търсете вътре в операциите, които бяха разрешени.","research-forge.01038388dc":"Не-отговорите остават видими","research-forge.0109e7127b":"НЕВЪЗМОЖНО","research-forge.0143790011":"планиране и изпълнение","research-forge.019d4e8e82":"Какво остава вярно","research-forge.01f66c63e3":"Две от двойките не могат да бъдат сглобени и езикът е този, който го казва.","research-forge.01fc285874":"Отговорности към Forge и Kera","research-forge.02ff5bf386":"Преглед на политиката","research-forge.0303c4bacd":"пет полета, фиксирани преди първия кандидат","research-forge.030afc5361":"Forge може да запази версията на изискването, кандидатите, които са имали значение, контрапримерите, преходите за осигуряване, обективния фронт и политиката, която е избрала един член. Две години по-късно записът все още отговаря на въпроса, който рецензентът всъщност задава, а именно не какво е било изградено, а защо алтернативите са били отхвърлени. Следата върви в една посока и всяка стъпка по нея може да бъде извървяна обратно: изискването, което е дефинирало успеха, проверените и отхвърлени кандидати, които са имали значение, контрапримерите и преходите за осигуряване, стойностите на целите, които са поставили всеки кандидат на фронта, и органът, който е избрал един от тях. Нищо от това не живее до решението. То пътува с него.","research-forge.03102018f1":"Кандидатът е структурно валиден.","research-forge.03128bed90":"Верификация","research-forge.0393c06f67":"КАНДИДАТ","research-forge.0397a076c3":"Добавянето на предварително условие е легитимен ход и то създава нова идентичност на спецификацията, вместо да редактира старата. По-ранният експеримент остава в записа с прикачения си провал. Изследователската общност нарича общия модел на предлагане, предизвикателство, усъвършенстване CEGIS.","research-forge.03bec6ab74":"Три форми","research-forge.04126cee0d":"Четирите се срещат по средата, така че придвижването към едно от тях обикновено струва нещо на друго.","research-forge.0428abce3e":"Ограничено проверено","research-forge.0432a371aa":"Политика за осигуряване","research-forge.04731f0ef3":"Само една ос, относително моделирано закъснение. Дължината на лентата не е цялостно класиране.","research-forge.04ae6467a0":"Без заключение","research-forge.04bf9ee3c6":"не е пропуснато от сметката","research-forge.04e9b5cd14":"тук съществуват много изводи","research-forge.04fa443e7b":"Най-дълъг критичен път","research-forge.05005f366c":"Forge изследвания","research-forge.05625954d2":"както и да върви търсенето","research-forge.05d1c23f1f":"провалът стеснява търсенето","research-forge.05db5a7f8a":"Версията на спецификацията, на която всеки кандидат трябваше да отговаря","research-forge.065d4a5b25":"Всички те произвеждат същия вид типизиран кандидат и влизат в същото сравнение. Организацията следователно сравнява програми, а не методи за търсене, и методът, който е намерил кандидат, не му дава предимство в решението.","research-forge.07a688568e":"Целеви артефакт","research-forge.0820b32b20":"Тестване","research-forge.08b22e1ba0":"Един договор","research-forge.08cfb3e0f2":"Преглед на спецификацията","research-forge.09496b01f9":"Предаване","research-forge.09a3354e63":"Странични условия","research-forge.09d053226c":"Следвайте едно търсене","research-forge.0a3eb3abd3":"Вътрешна калибровка","research-forge.0a5e7a0583":"Граница","research-forge.0a799711ad":"Нормализирането спестява търсене","research-forge.0ab39d71e2":"Еквивалентност","research-forge.0ade2ace0d":"Всеки контрапример","research-forge.0ae18773cb":"Изследователски асистент","research-forge.0b101a23a3":"Асоциативно прегрупиране","research-forge.0b81fbebb5":"Оптимизация по-късно","research-forge.0ba4e46484":"Една графика","research-forge.0bc357c912":"НЕПОКРИТО","research-forge.0c19b6603f":"Бъдещ рецензент преразглежда решението от записа, вместо да го реконструира от съобщения за ангажименти.","research-forge.0c6c9b91c5":"Знаете ли онова чувство, когато една задача може да има по-проста реализация? Forge превръща този въпрос в изследователски процес: дайте му ограничена спецификация, търсете кандидат-програми и записвайте проверките и измерванията. Докладът от 2025 г. документира експеримент, а не готов за производство резултат или публикуван бенчмарк.","research-forge.0d358c9749":"Два теста, две силни страни","research-forge.0db809cc66":"Осигуряване","research-forge.0e26aaf414":"Преглед на модела","research-forge.0e3c434842":"Тествано, ограничено, доказано","research-forge.0ef3858209":"Записани ограничени проверки","research-forge.0f1e49f0bf":"Примерите ограничават поведението върху входовете, които предоставяте. Логическите условия ограничават всеки вход, който формалната теория може да изрази. Скицата запазва архитектура, която изследовател не е готов да предаде на търсенето, и оставя типизирани дупки вътре в нея. Референтното поведение предоставя изпълним оракул и носи със себе си домейна на самия оракул. Forge записва коя форма е подкрепила всяко заключение, вместо да третира всеки вход като спецификация с еднаква сила.","research-forge.109bff6e75":"Спецификацията, не кодовата база","research-forge.1178a4ffb4":"Търсете отново","research-forge.1181c3f399":"Пакетът също така посочва кога да спрете: ограничението на ресурсите, прагът за осигуряване, който кандидатът трябва да достигне, за да влезе във фронта, и какво отчита изпълнението, когато нищо не го достигне. Търсене, което завършва без програма, все пак завършва с резултат.","research-forge.11c14ce16a":"Тогава организацията притежава намерението, а не един израз от него, и може да каже защо е избрана конкретна реализация. Изискването става трайният актив, а реализацията става резултат, който може да бъде преизчислен, когато приоритетите се променят.","research-forge.11dd823248":"За този вход изведете този резултат.","research-forge.12c8d914cc":"Какво резултатът не установява.","research-forge.13792d7c2a":"ДОКАЗАТЕЛСТВОТО ИМА ГРАНИЦА","research-forge.140b63310c":"Кандидат C","research-forge.1462811ad5":"кандидат, който изглежда убедителен","research-forge.151978bff3":"записът винаги посочва спецификацията, прага и политиката","research-forge.15c2d33108":"Изследователска интеграция в процес на оценка","research-forge.15f1b08e56":"доказателство, граница или заявено ограничение","research-forge.16181ed76f":"Разрешени операции, типове, ефекти и числова семантика","research-forge.161fa759f7":"В краен деклариран език търсенето може да изгражда кандидати чрез увеличаване на размера и да отхвърля невалидни комбинации, преди някоя от тях да бъде изпълнена. Кандидатите, които се държат идентично според текущите доказателства, могат да бъдат сгънати, за да се спести работа, докато самото твърдение за еквивалентност чака проверка. Когато методът покрива всеки добре оформен кандидат до заявената граница, първата проверена програма установява минималност на размера в рамките на този език и тази граница. Разширяването на набора от операции създава различен експеримент със собствен отговор.","research-forge.169f619e4f":"Честната значка носи своята граница, а границата е най-полезната ѝ част.","research-forge.16a3fa00e3":"Поддържаното символно свойство беше доказано при заявени предположения.","research-forge.16ec74fc0a":"CLEAR","research-forge.171ca0385a":"Поведение","research-forge.173315f506":"никоя лента на тази дъска не завършва с генериран резервен код","research-forge.17405ade0e":"Гаранция с обхват","research-forge.17a86caa5b":"Задължение","research-forge.17b8b28e9e":"никога не се третират като взаимозаменяеми","research-forge.17ecf461a5":"Проблемът е изпълним","research-forge.1822a38ec8":"четири причини да продължите да търсите","research-forge.189ee02d36":"Честна липса на доставка","research-forge.18d60fce22":"Именувано ниво на гаранция и неговият обхват","research-forge.18dd2ccb59":"Пет части","research-forge.18e9128279":"Назоваването на резултата оставя проблема там, където му е мястото. Противоречивите изисквания се връщат на този, който ги е написал. Неясен случай се връща за решение. Незавършено търсене се връща с по-голям бюджет или различен метод.","research-forge.18f906f6da":"Запазено завинаги","research-forge.192ad837e6":"Записана политика, а не скрит резултат","research-forge.19626a1e65":"Всичко, което не издържи на един случай","research-forge.1a23a7cddc":"Forge открива","research-forge.1a66b5eeb6":"Партньорски достъп","research-forge.1bb360f468":"Ограничено","research-forge.1bb90c04d2":"Провал, който произвежда конкретен вход, е по-ценен за търсенето от провал, който произвежда резултат.","research-forge.1bf39cee63":"По-бързо, по-малко, по-компактно","research-forge.1bff62bf9b":"Методът изчерпа възможностите си. Различен метод или по-дълго изпълнение може да го реши.","research-forge.1c013851a3":"Какво съдържа записът","research-forge.1c56ea452a":"Четири спецификационни карти, описващи една и съща малка трансформация, с единствения случай, в който две от тях не са съгласни","research-forge.1c56fd19d7":"Един отворен случай","research-forge.1c82340479":"твърдението може да бъде проверено","research-forge.1c875de71f":"Това е свойство на управлението толкова, колкото и техническо. Моментът, в който две четения на изискване се разминават, е точно там, където принадлежи решение на заинтересована страна, и е много по-евтино, преди да е изградена реализация около едно от тях.","research-forge.1c9bbc4b77":"Запазете алтернативите, докато политиката не бъде записана.","research-forge.1cb61a389f":"променено поле е нов експеримент, а не коригиран","research-forge.1ccf5d25df":"Спецификация","research-forge.1cdd46cd0e":"Прочетете изследването","research-forge.1d17812687":"Четири входа, четири различни гаранции","research-forge.1d2c6fe888":"всичките пет, или нито едно","research-forge.1d444e826a":"Kera изпълнения","research-forge.1d9b3bd5d3":"Най-ниска латентност","research-forge.1d9d3e69fa":"Rust, C, Verilog","research-forge.1e269ebac7":"Една трансформация","research-forge.1e748c3e4b":"промените възел и имате нов кандидат, като доказателствената обвързаност следва възела","research-forge.1ecdc691a8":"сивият маршрут произвежда нещо четливо и нищо, с което да го проверите","research-forge.1ed77c3f7f":"Протокол","research-forge.1fd9da00a7":"Политиката и органът, който е избрал един кандидат.","research-forge.2030fae2a7":"Три начина да го кажете","research-forge.2040757c11":"Cranelift, нативно измерване на производителността","research-forge.2041447f84":"само търсене","research-forge.206009c4a7":"Пет политики","research-forge.20cb7eef2c":"Извън модела","research-forge.2154ca1eb7":"Всяко от тях е резултат с различна следваща стъпка. Forge записва най-силното състояние, което може да обоснове, и посочва какво трябва да се промени, за да се премине отвъд него.","research-forge.21a0ffd68c":"отворените въпроси са на страницата","research-forge.21efbc283d":"Скорост, памет, обхват и доказателства","research-forge.220b9c622c":"Синтезирайте","research-forge.2354ab0ba0":"преди да предложи програма","research-forge.235bfff3a2":"Изследователска програма","research-forge.236656bf91":"Правомощия","research-forge.23d4ef785c":"размер 5","research-forge.243dcbef8c":"планиране и понижаване отдолу","research-forge.24a264b83c":"Двама кандидати, четири цели","research-forge.24c0bda2ba":"Най-пряк път за одит","research-forge.24cb5be0b0":"решението запазва причините си","research-forge.24d50592b7":"Цели","research-forge.2550b1dcad":"Отговорност","research-forge.25754f1c93":"изследователска програма, а не софтуерно предложение","research-forge.258195bb3d":"Една идентичност","research-forge.25c843b80e":"Това прави езика две неща едновременно. Той е механизъм за ефективност, защото по-голямата част от пространството изобщо не трябва да се оценява. Той е и границата около намерението, защото предварително заявява до какво машината има право да достигне.","research-forge.25fa97aa1a":"То не ви казва дали този маршрут е най-бързият, най-икономичният, най-преносимият, най-лесният за одит или този, който организацията може да управлява. Това са отделни въпроси с отделни доказателства.","research-forge.261c22b85c":"Инженерната организация обикновено се ангажира с една реализация много преди да може да каже дали този дизайн е най-бързият или най-лесният за проверка. Forge изследва последователност, в която спецификацията е трайният актив, а реализацията е резултат от търсене, между които избира заявена политика.","research-forge.26369471c9":"Точна еквивалентност, ограничено числено отношение или ефективна еквивалентност, всяко установено чрез проверка.","research-forge.267f81bab8":"До какво програмата има право да докосва","research-forge.277b67c1e8":"и от какво би имала нужда","research-forge.27f11f9fe1":"запечатан възел все пак публикува входовете си, изходите си и идентичността си","research-forge.27fab35201":"Именуван не-отговор е по-полезен от правдоподобна програма.","research-forge.280c5e7fc6":"Две четения","research-forge.281dd83602":"Разширяване","research-forge.282bd862f4":"Кандидат B","research-forge.2877a09f30":"няколко отговора могат да са разумни","research-forge.287b80caae":"коректността не избира","research-forge.294b4c06ac":"Пространството на кандидатите","research-forge.296e71a0fb":"Кандидати по размер в ограничен език, показващи приети, отказани и свити състояния, първия проверен кандидат и обявената граница, която твърдението носи","research-forge.297f419e18":"Това, което не може да направи, е да отслаби поведението, да добави ефект, който пакетът не е декларирал, или да превърне неразрешено състояние на доказателство в успех. Оптимизацията е свобода в рамките на граница.","research-forge.29c69b4a35":"или по-лесен за проверка","research-forge.29fea3a06d":"Какво установява","research-forge.2a03a4b73a":"Нерешен","research-forge.2a729227ad":"Един израз, разширен в мрежа от еквивалентни форми с условия по ръбовете, и три цели за извличане, избрани след като пространството съществува","research-forge.2a965a37b7":"Това е политическо решение и трябва да бъде заявено, а не изведено.","research-forge.2a965accf1":"Най-малката програма, която езикът позволява","research-forge.2ad40f7952":"Компромисите като обект на управление","research-forge.2b27b7aec8":"Водено от доказателства","research-forge.2b3a5e307c":"Семантичен","research-forge.2b7d95b8c6":"Кой компромис искате","research-forge.2b9c801e9e":"изборът остава изрична политика","research-forge.2bdb5e4d73":"Forge завършва с избран семантичен граф и неговите доказателства. Dweve Kera получава този граф, планира поддържано изпълнение и издава целевия артефакт, като значението на операцията, ефектите, собствеността, числения договор и задълженията за доказателство са приложени при предаването. Същата дисциплина свързва Forge с останалата част от стека Dweve: Aion, където програмата поддържа проверено състояние, Reed и Selvedge за работата по околните системи, FMI и Twin, където модел на физическата система е част от спецификацията.","research-forge.2c8c94c95f":"не само това, което е изградено","research-forge.2c9ebecf8b":"Оркестрация на търсенето","research-forge.2cb597863b":"Бърза програма, която е грешна, все още е грешна.","research-forge.2cd3174fc9":"резултатът решава следващия въпрос","research-forge.2cff331976":"Откриване и доказателство отгоре","research-forge.2d24e0a549":"И понякога","research-forge.2d3231ce48":"Неяснота","research-forge.2da600bf94":"Версия","research-forge.2daa013c1b":"Типизиран семантичен граф, а не изходен текст","research-forge.2dd3547872":"пълна в границата","research-forge.2dfcf898a3":"Сравнение","research-forge.2e140f6f42":"Избор на политика","research-forge.2ea3bb9377":"Присъединете се към изследователски партньори","research-forge.2f24ebaee0":"Отрязване","research-forge.2f65736593":"(a * 2) + a","research-forge.2f81a22de0":"Достъп","research-forge.2f89346f05":"Плаваща реассоциация","research-forge.2f906454d9":"Всяка форма отговаря на различен въпрос и изследователският запис казва коя е носила твърдението.","research-forge.30833f759b":"Планиране и понижаване","research-forge.3107902192":"Пет кандидата","research-forge.310e8151df":"от описанието до доказателството","research-forge.31139f400a":"минимум <= 5","research-forge.3146c89579":"коя отговорност на коя страна","research-forge.3179a54130":"Примери, правила и частична програма, а не стъпките","research-forge.31c2157a1c":"Единна семантична графика, показана като графика, като израз и като поток от данни, с непроменена идентичност и в трите, и ефектът от промяната на един възел","research-forge.320ce22925":"Силно, за твърдения","research-forge.3218fcc602":"Композиция на доказателства","research-forge.32438a2b70":"Пуснете автоматизираното откриване в действие","research-forge.32d888fecc":"Изпълнението е свързано","research-forge.32ec2eb506":"Водено от типовете","research-forge.32fd056d3d":"Скица","research-forge.32fe9f5bda":"Семе","research-forge.331a390a95":"Запишете, че гаранцията не може да бъде обоснована, както е формулирана.","research-forge.332fafafd4":"Няколко програми са оптимални","research-forge.337cd4ef85":"и защитавайте след това","research-forge.3407af8c74":"Формите се подсилват взаимно. Примерите правят логическия договор четим за читателя. Ограниченията спират кандидата да пренаглася случаите, които са му показани. Скицата държи структурата за безопасност фиксирана, докато аритметиката или потокът от данни в един регион остават отворени за откриване.","research-forge.3554ae9f37":"Доказателството за графика не е автоматично доказателство за произволен компилаторен изход, затова свързването на изпълнението записва заедно графиката, плана, артефакта и резултата. Forge може тогава да изучава откриването, без да твърди, че притежава емитера.","research-forge.356258d8cf":"Коректността дава право на участие в дискусията за компромисите.","research-forge.357a580465":"разширяване с приложени условия","research-forge.3631815377":"което запазва","research-forge.3647998e09":"относително моделирано закъснение на една граница","research-forge.3662b6cd93":"Оптимизацията е свобода в рамките на граница, която е записана първо.","research-forge.3678b75177":"Доказателствена котва","research-forge.3697e2badd":"Същата граница, четири защитими отговора","research-forge.3750b1e26e":"Едно изискване","research-forge.378b19c94c":"и универсални свойства","research-forge.37a1d3ddee":"Мащаб на търсенето","research-forge.37b658da82":"какво е установено и какво остава отворено","research-forge.37d9b94afa":"Рецензентът може да проследи веригата от край до край, без да отваря нито един запечатан възел.","research-forge.37e5ec20ed":"Мълчанието се брои","research-forge.37e8f995e7":"Назованият липсващ отговор също дава на институцията конкретна точка за действие. Той казва коя клауза е в конфликт, кое поведение е било неопределено, коя теория е била недостъпна или кой бюджет е свършил, и следователно какво би трябвало да се промени.","research-forge.3856f4eb7c":"Методът не стигна до заключение в рамките на своята теория и ресурсни ограничения.","research-forge.387b54720d":"Стъпалото, което резултатът трябва да достигне, за да се брои","research-forge.38b07c05cf":"Една стълба за гаранции с двама кандидати, почиващи на различни стъпала, и чекмедже, показващо какво всяко стъпало е проверило, приело и не установява","research-forge.391bc6cb44":"Доказателството запазва своята граница","research-forge.396c19de10":"Четири начина, по които изискване се съпротивлява на програма","research-forge.39727bd48f":"обратно за синтезиране","research-forge.3977816414":"доказателствата решават","research-forge.39d6a0ddc5":"Кои решения търсенето може да взема от ваше име?","research-forge.39fdec1194":"Тестове","research-forge.3a06f841f3":"Тествано е отвъд примерите, които са му дадени.","research-forge.3a4be7155b":"Алтернативи","research-forge.3ab11b75ca":"Forge","research-forge.3b08754530":"Forge започва от описание на поведението, а не от заявка за код. Можете да му дадете работни примери, правила, които трябва да важат като цяло, или частично написана програма с оставени отворени трудните части. Всяко от тези дава на машината нещо, с което може да бъде измервана, и нещо, на което може видимо да се провали.","research-forge.3b0896e4b0":"За поддържаните Kera договори чистото изпълнение повтаря битовете идентично без семе, включително покритите пътища от семейството с плаваща запетая. Когато програма умишлено консумира случайно състояние, това състояние е обявен вход и повторното му използване възпроизвежда цялото изпълнение.","research-forge.3b8be5e1a9":"доказана ширина","research-forge.3bb1fa9d93":"е една точка в пространството","research-forge.3bb59d3903":"Установено","research-forge.3bcf82f6df":"Закъснението е измерение","research-forge.3bdab018c4":"Проверено винаги има втора половина: при тези правила, за тези входове.","research-forge.3bf08a84f1":"MOVE","research-forge.3bf4aa62c6":"Една графика, два плана, една идентичност","research-forge.3c37add762":"Добре оформен","research-forge.3d3349e560":"какво институцията решава преди търсене","research-forge.3d85b7b35e":"Четири малки случая, всеки завършващ без програма по различна причина, показващи какво е било поискано, какво се е случило и какво би го променило","research-forge.3d8dc8dd37":"Носи по-прост път за проверка","research-forge.3d9d45c6fc":"и докажете грешния модел","research-forge.3dbbac272c":"Контрапримери и състояние на доказателството","research-forge.3e0fb17cab":"Изяснете","research-forge.3e39972526":"Закъснение","research-forge.3e9492ab1e":"Графика, план, артефакт и резултат остават свързани.","research-forge.3f1ea4240e":"Допусканията са част от резултата, а не дребен шрифт под него. Доказателство за точни цели числа не казва нищо за десетичните. Доказателство за самостоятелно изчисление не казва нищо за услуга, за чието съществуване никога не е било уведомено.","research-forge.3f2151a870":"Размери от едно до шест","research-forge.3fd8fb2e1a":"Операциите, типовете, формите, ефектите и възможностите, които кандидатът има право да използва.","research-forge.3fe459f958":"Нищо не пасва","research-forge.40100e1934":"Недоминирани кандидати","research-forge.4025ca409c":"Владей представянето си","research-forge.408f0af557":"Граф на извеждането от спецификацията до избраното доказателство, с вътрешни стъпки на метода запечатани, но свързани, и по-краткият път, който едно повторно изпълнение действително трябва да възпроизведе","research-forge.40d33b38ad":"Нито едно от тези не е уговорка, добавена после. То е съдържанието на резултата, затова записът поставя стъпалото и обхвата му на едно и също място и затова никакъв контрол не може да го повиши.","research-forge.40f800b699":"Фронтът принадлежи на множеството от цели, което го е породило. Добавянето на енергия към пакета може да върне кандидат, който преди е бил доминиран, което е свойство на въпроса, а не промяна в която и да е програма.","research-forge.4141bac3ca":"и остави програмата да се промени","research-forge.418cdd48b7":"Наблюдавани случаи","research-forge.41978064b8":"Обсъди сътрудничеството","research-forge.41a3ff09e5":"Опиши поведението","research-forge.4288fa85e0":"Какво е установено и какво е отворено","research-forge.42c7f4ea4d":"Рамката не се движи","research-forge.42e742546a":"и тествано не е доказано","research-forge.43093ca0db":"Обхват на доказателството, структурна простота, цена на доказателствата","research-forge.435e8ecece":"една програма рядко печели и четирите","research-forge.436fb3032c":"Заключение","research-forge.437b348524":"Редът, в който се случват","research-forge.437bcb1511":"Енергия","research-forge.439f7b365e":"Изследователски документи","research-forge.43d54e530d":"Съответства ли кодираното изискване на това, което организацията действително иска?","research-forge.43d8879a8c":"връзката за изпълнение е това, което свързва доказателството с действително изпълненото","research-forge.4412dd5d66":"Невъзможното и нерешеното се съобщават, а не се превръщат в код.","research-forge.4475dded01":"Една реализация","research-forge.44ab85a252":"Произход","research-forge.450d52d3ef":"Търсения","research-forge.4585404748":"кандидат, който спира на тествано, се съобщава като тестван","research-forge.45aaefd6f4":"Четири прегледа","research-forge.4646f9193d":"Добре оформен не е тестван","research-forge.4651a34e4d":"Обхват","research-forge.466fc49274":"Запази","research-forge.46ed5f573e":"Виж изследването","research-forge.4719d38f14":"Няколко поведения удовлетворяват предоставените доказателства и се разминават другаде.","research-forge.472643c4ca":"Един кандидат доминира друг само когато не е по-лош по всяка активна цел и е по-добър поне по една. Доминираните кандидати напускат активния фронт. Останалите са всички защитими отговори на една и съща спецификация, а изборът между тях е политическо решение, което записът пази, а не изчисление, което търсенето извършва тихо.","research-forge.472bff45c9":"Една форма в по-голямо пространство от равно поведение.","research-forge.473161067f":"Политика за избор","research-forge.47942077ae":"Най-просто доказателство","research-forge.47b74866d6":"Провери коректността","research-forge.47bcc2a36a":"Понякога две неща, които са били поискани, не могат и двете да са истина. Понякога примерите позволяват две различни поведения и няма начин да се разбере кое е било предвидено. Понякога проблемът е просто по-труден, отколкото методът може да реши за даденото време. Forge съобщава всяко от тези като това, което е, и казва какво трябва да се промени. Неясен случай обикновено изисква още един пример, а не по-голям бюджет.","research-forge.47cda15a5a":"Kera: как","research-forge.47da6f0838":"Композирай","research-forge.48298eb992":"Търсенето може да замени операции, да преструктурира потока от данни, да слее региони, да премахне премествания и да стигне до реализация, която никой изследовател не е имал предвид. Всичко това е позволено и по-голямата част е смисълът.","research-forge.483bf2075c":"Публикувано","research-forge.4901e146cd":"Сравни разходите","research-forge.490d255908":"изискването остава стабилният обект","research-forge.49df3ec7de":"Работи на повече поддържани машини","research-forge.4a828b8ab7":"Research, Forge","research-forge.4ab1a4f190":"Кандидатът, който е пристигнал пръв, няма преимущество в решението освен собствените си доказателства.","research-forge.4aebc33326":"Четири прегледа преди твърдение","research-forge.4b01608cdc":"Търсенето никога не редактира пакета, за да спаси кандидат.","research-forge.4b1960c2fb":"Система под напрежение да произведе код ще произведе код. Това превръща неотговорен въпрос в програма, която някой сега трябва да поддържа, и несигурността не изчезва, тя се мести на място, където е по-трудно да се види.","research-forge.4bca6a7cdb":"Откъдето започва една програма","research-forge.4c175158a6":"Свързан резултат","research-forge.4c1e9313aa":"Един пул","research-forge.4c39a99d3d":"Пет стъпала","research-forge.4c6bdedadc":"източникът остава проекция","research-forge.4cb3bb0fc4":"Най-бърз","research-forge.4d0ff72eb2":"Какво ниво на тестване или доказателство трябва да достигне резултатът?","research-forge.4d6864f9a3":"Четири гранични избора","research-forge.4d7f210eef":"Три кандидата, проверени срещу списък от случаи, който расте с по един неуспешен вход на кръг, като нищо не се премахва от списъка","research-forge.4db6c46b80":"всяка система чете един и същ обект, а не негово копие","research-forge.4e4bed5372":"Никога","research-forge.4e76f5796f":"Най-лек","research-forge.4e90808185":"Четири начина, по които може да приключи изпълнението","research-forge.4e9a44aeb4":"Кажете какво трябва да се случи","research-forge.4ec9cc4f2f":"Проверено откриване на програми","research-forge.4f9c4e1fdb":"Първият верен кандидат доказва, че задачата е изпълнима. Той може също да е голям, бавен, да изисква много памет, да е труден за проверка или да е обвързан с една среда за изпълнение. Forge го третира като доказателство, а не като отговор, и продължава да търси семействата, до които друго поведение на търсенето би стигнало първо.","research-forge.4faae9b4e9":"са различни твърдения","research-forge.4fe6240efb":"Съвпада ли целта на изпълнението със семантиката, която е била доказана?","research-forge.500d19ed3e":"Следващият кандидат трябва да удовлетворява по-силното множество.","research-forge.505ddba0dc":"машината казва какво знае","research-forge.506f370762":"значката за условие на ребро решава дали извличането може да го използва","research-forge.50e944749f":"WIDE","research-forge.50f771745f":"Дали е добра реализация","research-forge.512f83ac42":"Три кандидата, проверени срещу нарастващо множество от задължения, с контрапримерът, който е прекратил всеки от тях, и двата легитимни отговора на неуспех","research-forge.516f075235":"Четири верни програми, четири начина да се предпочете една","research-forge.5183317474":"Свобода","research-forge.52550c8d07":"Записът отговаря защо","research-forge.528d188e2a":"Изискваното ниво на доказателство","research-forge.52e68a873a":"Ограничения","research-forge.531e01782f":"Разрешете конфликтните изисквания, които доказателството е идентифицирало.","research-forge.536a08d31b":"FAST","research-forge.541a19b522":"Границата е това, което прави твърдението точно. Доказателство за граф е доказателство за този граф, така че връзката с изпълнението записва графа, плана на Kera, артефакта и идентичността на резултата заедно, вместо да предполага, че доказателството е пътувало с изхода.","research-forge.546130711a":"Изследователска програма на Dweve","research-forge.54a351154f":"Минималността е ограничено твърдение. То важи за операциите, типовете и структурите, които пакетът е позволил, до размера, който изпълнението е достигнало. То не казва нищо за език, който експериментът не е обявил, и разширяването на множеството от операции създава нов експеримент със собствен отговор.","research-forge.550d4ccba7":"Числово семейство, подредба, модел на състоянието и външните условия, които изпълнението предполага.","research-forge.551fea67e6":"Описанието идва първо, а реализацията остава отворен въпрос възможно най-дълго.","research-forge.5521ea4314":"добавянето на цел може да върне доминиран кандидат, което е факт за въпроса","research-forge.5549dc87d0":"Не всяка спецификация","research-forge.5601f89af7":"кандидат, който просто изглежда правилно","research-forge.563591cebc":"Колко бързо завършва програмата","research-forge.56abd17a41":"Когато нищо не се върне","research-forge.577d56824d":"ТРИ ХОДА","research-forge.58357eb5f1":"по-силните твърдения изискват по-силни доказателства","research-forge.584e0ea86c":"векторът описва компромиса","research-forge.58c379fdea":"Минимален по размер","research-forge.59df8e27c4":"Запазете изискването","research-forge.5a0ba3bb83":"Договор","research-forge.5a2827f530":"Четири пръстена","research-forge.5a314063cc":"как слаб кандидат изостря въпроса","research-forge.5ab1aaea94":"НЕЯСНО","research-forge.5b1142d090":"Разпределение на бюджета","research-forge.5b141d8cb7":"Проверено при тези правила","research-forge.5b2a7fb11c":"Разкрийте","research-forge.5b3facb840":"Четири семейства с еднаква тежест, а пакетът решава кои са активни.","research-forge.5b5d8a5af8":"Запишете конкретния случай и свойството, което е нарушил.","research-forge.5b6a58fb9f":"Евтино, за търсене","research-forge.5b78187e47":"не е правилно във всеки свят","research-forge.5b8955c7bc":"Намиране на програмата","research-forge.5b92885b2d":"Инженерен екип може да избере члена с най-ниска латентност. Регулирана програма може да избере най-чистия път за осигуряване. Разгръщане върху смесен хардуер може да избере най-широкото покритие на целите. И трите избират от едно и също проверено множество.","research-forge.5c1be9b227":"Твърдението може да се възпроизведе","research-forge.5c262f33db":"Приключва на","research-forge.5c46a60955":"Как е разделена работата","research-forge.5c9d4874c3":"Кои входове и кое обкръжение покрива твърдението.","research-forge.5ce01f3b67":"Програмата публикува това, което доказателствата ѝ подкрепят, и запазва изследователския си метод като изследване.","research-forge.5dfcf1dcc0":"Една идентичност, три визуализации","research-forge.5dfe750940":"Проверим","research-forge.5e0d7f4f07":"Forge е изследователски проект на Dweve. Неговото вътрешно портфолио за търсене, реализация на формалното разсъждение, знания за трансформации, калибриране на цели и оркестрация са част от това изследване. Това, което програмата публикува, е въпросът, протоколът, резултатът и неговото състояние на осигуреност, на нивото на разкриване, което доказателствата подкрепят. Сътрудничеството започва от ограничен синтезен въпрос. Пет твърдения се проследяват с тяхното състояние, три от тях са уредени и две все още отворени, а отворените са на страницата, а не изключени от отчета.","research-forge.5e22dbb195":"Три двойки","research-forge.5e3db9c4c0":"Рефиниране, ръководено от контрапримери","research-forge.5eb51a7a2a":"Следвай доказателствата, а не само програмата, която излезе.","research-forge.5eede4abda":"Най-широко покритие на целите","research-forge.5f174de1cc":"Доказателство","research-forge.5f20d0f3ac":"Неудовлетворимо","research-forge.5f94916c54":"Виж институционалния случай","research-forge.5faa59d4bc":"Резултат","research-forge.5ff1729499":"преди да кажеш как","research-forge.603a007e8b":"и алтернативите се затварят","research-forge.60508aeb3d":"Къде да зададеш въпроса","research-forge.60539e2c57":"Къде е рискът","research-forge.6066a49124":"Този вход се присъединява към множеството, което всеки кандидат трябва да удовлетворява.","research-forge.60e5c23b14":"Типизирано","research-forge.616d1d1b2a":"Пет предпочитания","research-forge.61792020d0":"Обективен фронт","research-forge.61988aaea3":"Пакетът на експеримента","research-forge.61a0ae3b84":"Граници","research-forge.61ad50a9b9":"Цел","research-forge.61c2d00a1e":"Форми на спецификацията","research-forge.61d0fdeb05":"Декларираният интерфейс, неговите типове и форми.","research-forge.61e2187199":"След първата валидна програма","research-forge.625ba6f153":"FIT","research-forge.62c4bc1315":"Два пътя от едно и също изискване","research-forge.6320f96544":"нека машината открие как","research-forge.636f4e740e":"рядко е целият отговор","research-forge.63ed4981dc":"Парето","research-forge.63f0dfcfef":"Изискване, разделено на клаузи, с четири ленти, показващи кои клаузи са довели до неудовлетворим, двусмислен, неизвестен или извън обхвата резултат, и действието, което всяка от тях изисква","research-forge.64269f9bd2":"TIME","research-forge.647c656679":"Два кандидата могат да съвпадат като текст, да съвпадат след нормализиране на графите им или да удовлетворяват едно и също наблюдаемо поведение според декларирания договор. Това са три различни твърдения и само последното казва нещо за това какво прави програмата.","research-forge.649ed30fda":"Обхватът следва твърдението. Доказателство за точна целочислена семантика не удостоверява поведение с плаваща запетая. Доказателство за чиста функция не покрива външна услуга, която никога не е била декларирана. Проверена графика, променена след доказателството, е нов кандидат, към който все още няма доказателство.","research-forge.64bcb871de":"Контрапримерът може да разкрие повече от дефект в реализацията. Той може да разкрие пропусната предварителна условие, краен случай, за който никой не е решил, или две четения на изискването, които и двете са съвместими с примерите. Записът посочва кое от тях изследователят е променил след това.","research-forge.64c0978f0e":"Отворено, и причината програмата да съществува: колко голяма може да стане полезна проверена графична област, кои форми на спецификация са точни за машина и работещи за човек, как частичните доказателства се композират чрез оптимизация и планиране и кои цели се нуждаят от измерена хардуерна обратна връзка.","research-forge.64d22c2e4e":"Forge фиксира изследователския проблем, преди да съществува какъвто и да е кандидат. Един пакет назовава спецификацията, разрешените операции и типове, ефектите и числената семантика, целевите измерения, границите на търсенето и политиката за гаранция, която резултатът трябва да достигне. Кандидат може да бъде оценен само спрямо проблем, който вече е формулиран, което прави пакета част от коректността, а не конфигурация около нея. Пакетът също казва кога да спреш: ограничението на ресурсите, прагът на гаранция, който кандидатът трябва да достигне, и какво отчита изпълнението, когато нищо не го достигне.","research-forge.64f4056c85":"Политиката е видима","research-forge.657c02a2ae":"Изискването остава фиксирано","research-forge.664243d1c2":"Форми на спецификация срещу това, което всяка урежда","research-forge.66b4132999":"Обсъди въпрос за синтез","research-forge.66c7af05f3":"Forge прави допусканията проверими, а хората все още ги притежават.","research-forge.66c95e7fc7":"Запечатано","research-forge.66cd84bcef":"формите идват и си отиват, а рамката в средата е една и съща през цялото време","research-forge.6703a68b0c":"политиката назовава члена","research-forge.6767e55d00":"Първи валиден","research-forge.681b5b5ae1":"Наличност","research-forge.6848ce552e":"Резултати","research-forge.68ad9d9693":"Какво остава фиксирано","research-forge.693f74e1e9":"Границата между Forge и Kera","research-forge.6978e0d16d":"Изобщо никаква програма може да бъде честният резултат","research-forge.6989b87ddb":"Затова цикълът става само по-строг. Всеки кръг започва с всичко, установено от предишните кръгове, плюс новия случай, така че кандидат никога не може да спечели, като забрави по-ранен провал.","research-forge.699425d26b":"Прочети метода","research-forge.69da6fa492":"Примерите обясняват","research-forge.6a33efdc4e":"Пакетът на експеримента, сглобен поле по поле, с идентичността, която го назовава, и последствието от промяната на всяко поле","research-forge.6a455d1ff6":"За всеки поддържан вход запази това вярно.","research-forge.6a54f54941":"Търсенето отговаря","research-forge.6aa0b7e952":"различните институции избират различно","research-forge.6ab0b8903c":"Числено значение","research-forge.6b1716c3e5":"никога по-прощаващо","research-forge.6b2284f302":"Точка на коляното","research-forge.6b6ae4c323":"множеството от задължения само расте","research-forge.6b6f62925d":"Понякога контрапримерът казва нещо за искането, а не за програмата. Две правила може да се окажат в противоречие помежду си, или краен случай може да се окаже такъв, за който никой всъщност не е решил. Това си струва да се знае рано.","research-forge.6b7b6dcbaa":"Една графика, четири роли","research-forge.6bc457b374":"Намери кандидат, удовлетворяващ всеки известен случай.","research-forge.6bcf5a7776":"Фронт, а не единична оценка","research-forge.6c4b5393b9":"и ограниченията решават","research-forge.6c61bbcebe":"Доказано","research-forge.6c82e6dd86":"Време","research-forge.6c8dd48ed8":"План за измерване","research-forge.6c9b8325ab":"никое стъпало не се предполага","research-forge.6c9c88fe2f":"Описание на поведението променя тази връзка. То дава на търсенето цел, която трябва да уцели, начин да бъде хванато, когато пропусне, и запис след това за точно кои случаи резултатът е бил проверяван.","research-forge.6cc1fdfb05":"Тествано, ограничено и доказано са различни твърдения за една и съща програма.","research-forge.6cd40b6ae3":"Изискванията започват като желано поведение, ограничения и рискове. Разработката ги превръща в една архитектура и една реализация, и от този момент всяка алтернатива е пренаписване, миграция или проект за оптимизация. Изборът вероятно е бил разумен, когато е направен, и е направен преди някой да може да го сравни с изборите, които е изключил.","research-forge.6d058a6f22":"не общо обещание","research-forge.6d3a0e2f30":"Типовете отсяват първо","research-forge.6d525b7156":"Изпълнение","research-forge.6d5ef04ce2":"доказателство, граница или обявен лимит","research-forge.6d84ceaf60":"Извличане","research-forge.6db87cb08f":"Най-бързо моделирано","research-forge.6dfe9d2cfa":"Forge, обикновеният изглед","research-forge.6e3f1d3672":"Четири начина да заявите намерение","research-forge.6ef75c79a0":"Повторението не трябва да възпроизвежда всеки изследователски клон. То трябва да възпроизведе доказателствата, на които се основава твърдението: спецификацията, избрания кандидат, резултата от проверката и обвързването на изпълнението. Всичко останало е история на търсенето, а не доказателство.","research-forge.70bcce6545":"Няколко маршрута","research-forge.70cbd1d6b1":"Предложено","research-forge.7173d0cb0f":"unknown, unsat и ambiguous са резултати","research-forge.718eb2ad28":"Намаляване на силата до shift","research-forge.71e541f178":"Тест пуска програмата върху входове, които някой е избрал. Доказателство разсъждава за всеки вход, който писмената спецификация покрива. И двете са полезни и отговарят на различни въпроси. Когато Forge каже, че кандидат е проверен, изречението има втора половина: проверен срещу това свойство, за тези входове, при тези предположения. Пет части трябва да пътуват заедно, за да има смисъл това изречение: точната програма, която е проверена, свойството, което се твърди за нея, предположенията, доказателствата и границите, които резултатът не установява.","research-forge.722e234a05":"Намиране на кандидати","research-forge.72637278c6":"какво предава Forge","research-forge.729c82e196":"Един обект преминава през целия жизнен цикъл, така че нищо не трябва да се извлича отново от текст на всеки етап.","research-forge.72aeb780b2":"Къде продължава търсенето","research-forge.72e6f70d7c":"резултатът сочи обратно към графиката","research-forge.7305b76252":"по-силно доказателство заслужава по-силен етикет","research-forge.73128a8f5b":"изискването е на първо място","research-forge.734e643f73":"Четири оси","research-forge.734ee26abf":"Много семейства","research-forge.736500a024":"откриване и доказателство","research-forge.73710d0053":"Четири неща не се променят с резултата и те са причината резултатът да може да бъде прочетен от някой, който не е стартирал търсенето.","research-forge.73e5abe068":"и методът остава частен","research-forge.740141dd76":"Ограничени проверки и property тестове","research-forge.746a18b508":"Форматиране, ред на операндите и нормализираната графика. Достатъчно, за да спре търсенето да върши същата работа два пъти.","research-forge.757b8815d3":"Една рамка","research-forge.75be5b7552":"Какво публикува записът","research-forge.75c9be68d0":"Отхвърля","research-forge.75e6b42fc5":"Извън обхвата","research-forge.762b81621f":"Стъпалото, което кандидатът трябва да достигне, за да влезе във фронта.","research-forge.7701124587":"Доказването, че не съществува по-малка правилна програма в рамките на обявен език, е въпросът, който изследователската традиция на супероптимизацията изучава. Това ограничено търсене е инстанцията на този въпрос, която Forge може да извърши и провери.","research-forge.7777053d27":"Грешно нарочно","research-forge.77809a4225":"x86-64, RISC-V, WASM, Vulkan GPU","research-forge.779df62acf":"Четири постоянни ангажимента","research-forge.77e466696d":"Никоя програма в разрешеното пространство не може да го направи. Променете разрешението или заявката.","research-forge.77ed933da8":"Обективен вектор и позиция във фронта","research-forge.7800ae62d5":"Не просто грешно","research-forge.78546ce4c3":"Исканият ефект не е представен от договора за проверка.","research-forge.79919ce9fd":"Ефекти и възможности","research-forge.79b38792f6":"Четири обективни семейства","research-forge.79b3e4bb6e":"Много кандидати","research-forge.7a36809fc6":"Forge изучава различна последователност. Запазете изискването изрично по-дълго. Оставете няколко реализации да се конкурират в рамките на обявен език. Установете поддържаните поведенчески твърдения, преди да избирате между компромисите за производителност и внедряване.","research-forge.7a67d7aba8":"Представени ли са средата, ефектите и числовите правила?","research-forge.7b2d03931b":"Конвенционален","research-forge.7ba8740951":"Коя политика избра един член и кой стои зад него","research-forge.7bec3a8510":"Спира на","research-forge.7c04a5cf0e":"Вектор от разходи произвежда фронт, който е различен обект от класиране.","research-forge.7c1e14bb08":"не премахва човешката преценка","research-forge.7c3f4fda21":"размер 1","research-forge.7d448f8882":"Един пул от кандидати","research-forge.7d58a74832":"Кандидат може да премине през всеки пример, който му е показан, и пак да греши някъде, където никой не е погледнал. Forge търси конкретен вход, който разкрива разликата. Този вход е контрапример и щом съществува, се присъединява към постоянния набор от случаи, на които всеки следващ кандидат трябва да отговаря. Цикълът зад това е кратък. Предлага се кандидат, той се подлага на изпитание извън дадените му примери, един вход разкрива грешното поведение и този вход се запазва. След това търсенето започва отново срещу по-големия набор. То приключва с доказателство, граница или заявено ограничение, и никога с кандидат, който просто изглежда прав. Нищо не се премахва от този набор, затова третият опит означава повече от първия.","research-forge.7d5f9141fc":"Измерването предстои да бъде установено","research-forge.7db1bb6632":"Извеждането като доказателство","research-forge.7df7e32344":"значката назовава само стъпалото","research-forge.7e2e54dae8":"Може да се предложи балансирана точка на коляното. Предложението се записва с нормализацията, която го е произвела, така че рецензентът да види, че това е политика, а не аритметична неизбежност.","research-forge.7e309ec303":"Хипотеза за производителност, не бенчмаркната","research-forge.7e5a975b6a":"Идентичност","research-forge.7e826f7af3":"TRUST","research-forge.7ea014de7b":"Доказателство","research-forge.7ea35b3515":"Един и същ обект заема четири роли, без да променя категорията си. Той е кандидат по време на търсене, член на клас на еквивалентност по време на проучване, субект, който доказателството назовава, и входът, срещу който Kera планира. Една идентичност носи всичките четири.","research-forge.7f2b6cf0fd":"Кандидатът трябва да удовлетворява доказателствата, събрани досега. След това верификатор търси в поддържаната област вход или състояние, при което кандидатът нарушава пълната спецификация. Всеки контрапример, който намери, се присъединява към набора от доказателства като постоянно задължение, така че следващият кандидат трябва да удовлетворява всичко, което предишните са удовлетворявали, и новия случай също. Цикълът става само по-строг. Той спира на доказателство, граница или обявено ограничение и никога не спира на кандидат, който просто изглежда убедителен. Добавянето на предварително условие е позволено, но то отваря нова идентичност на спецификацията, вместо да редактира старата.","research-forge.7f59a1f1d5":"Решение","research-forge.7f5e7b5182":"Четири институционални действия","research-forge.7f87260e69":"Написано напред, четено назад","research-forge.7fc3a8b99e":"Изследователският дизайн съчетава DSL върху типизирани изрази с изчерпателно търсене, CEGIS, генетично програмиране и MCTS, e-graph equality saturation, измерване на базата на Cranelift и проверки на ограничени задължения с Z3/CVC5. Многоцелевото търсене отчита латентност, брой операции, памет и регистров натиск; генерирането на целеви код включва x86-64, RISC-V, WASM, Vulkan GPU и Verilog. Броят на задачите и тестовете, ускоренията между хостове и производствената производителност остават работа по валидация.","research-forge.7fda8c3a33":"Трима кандидати, три честни етикета","research-forge.7fdf663e3a":"Хипотеза за производителност, не бенчмаркната","research-forge.7fef09721e":"Dweve Forge, верифицирано откриване на програми","research-forge.80302bf5ea":"Ограничени проверки и търсене","research-forge.80446347ed":"Форма","research-forge.80d70e543d":"Граница и селекция","research-forge.814de3b8b2":"Четири членове на границата","research-forge.8179013356":"Трафик, работен набор, трансфери и локалност","research-forge.81eccd6085":"Четири причини за мълчание","research-forge.81f08b5724":"дълго след като хората продължат напред","research-forge.8208f3f27b":"Редът","research-forge.82319c5d9e":"Прилагането на трансформации в последователност прави ранен избор, който може да изключи по-късно подобрение. Forge изучава компактни представяния, които държат много еквивалентни форми наведнъж, така че няколко пътя на трансформация съществуват едновременно до извличането. Представянето на много пренаписвания заедно, вместо да се ангажира с един ред, е подходът, който изследователската литература нарича equality saturation.","research-forge.8252f95ddf":"промяната на един възел във верифицирана графика връща кандидата в добре оформена форма","research-forge.825d89212b":"Знание за трансформациите","research-forge.8283b9d96c":"Без фазова последователност","research-forge.82c24c3687":"Програмата е свободна да променя формата си, а нещото, на което трябва да отговаря, не е.","research-forge.8301a503f4":"Несъгласието между две валидни четения се извежда като въпрос, а не се разрешава от търсенето.","research-forge.8368699cf6":"Много възможни програми","research-forge.8375a2c337":"Три опита, един растящ списък от случаи","research-forge.837b910e11":"докато политиката избере една","research-forge.83908aa381":"Тип, форма, представяне и числовият договор, който ги управлява.","research-forge.83ea53e5ec":"Много равни форми, три си струва да се извлекат","research-forge.8597c90c68":"Изследователски тестове (обхват)","research-forge.864c38bd34":"Където измерване не съществува, клетката остава празна. Празната клетка е твърдение за доказателствата и запълването ѝ с моделен изход би превърнало тихо оценка в резултат.","research-forge.8682d73e62":"Програма","research-forge.869cb36316":"Едно предложено изпълнение на фиксираната спецификация.","research-forge.8703ca90ce":"Собственост, паметово пространство и целевите ограничения, които се прилагат.","research-forge.870d4e66fc":"записът назовава обхвата","research-forge.87805aff07":"Изобщо никаква програма","research-forge.879bb91dae":"нито една страна не поглъща твърдението на другата","research-forge.87d0c490e0":"Размерите на разходите, които този експеримент сравнява, избрани преди да бъде измерен който и да е кандидат.","research-forge.88306943fe":"Метод","research-forge.8831be6339":"Когато не се появи програма","research-forge.887b3d18f0":"Forge притежава спецификацията, търсенето на кандидати, проучването на еквивалентност, обективната граница и верификацията. Kera е графично-ориентираният системен език на Dweve и основата на Direct Computation, и притежава планирането, понижаването, целево-специфичното генериране и изпълнението. Това, което преминава между тях, е верифицирана семантична графика с нейните задължения, обективен профил и доказателства. Графиката е назована, а не източникът, и резултатът, който се връща, сочи към същата идентичност.","research-forge.887cf267e6":"Unsat","research-forge.888797190c":"едно поведение, няколко реализации","research-forge.888e561892":"Четири начина да поискате по-добро","research-forge.892257a43b":"Доказателството може да е валидно","research-forge.89404ea15f":"Формална заявка","research-forge.894f8a793c":"Използвайте по-силна теория, по-широк език или по-голям бюджет.","research-forge.897b3ac98d":"Codegen","research-forge.89b86ab0e6":"Език","research-forge.89c7caf6b5":"Кои стъпки вършат работата","research-forge.89c8a2851d":"Памет","research-forge.89f5343231":"Трайната следа от решения","research-forge.8a102fcb06":"Ограничено пълно търсене","research-forge.8a9523ae04":"Какво носи един кандидат","research-forge.8ab2c84ed7":"Една архитектура","research-forge.8b2d50590f":"Формалните доказателства покриват спецификацията и семантиката, които са били кодирани. Ако дадено условие от средата е пропуснато или численият модел не съответства на машината, резултатът е валиден и отговаря на малко по-различен въпрос.","research-forge.8b593995c8":"Допускания","research-forge.8b7acd8daf":"Нищо не влиза във фронта с етикет за гаранция, по-силен от това, което доказателствата подкрепят.","research-forge.8bafd39dbd":"Целенасочената граница на продукта","research-forge.8c0dc9aa18":"Предусловия, следусловия и гаранцията, която резултатът трябва да достигне.","research-forge.8c1cf9e158":"Примери, логически условия, скици и референтно поведение, всяко записано със силата, която носи.","research-forge.8cb71202e7":"Няколко поведения отговарят на примерите. Още един случай решава въпроса.","research-forge.8d9c9bb663":"Два записа, една графика","research-forge.8daee0af31":"Конвенционалният път, който се стеснява до една кодова база и се отваря отново като проекти за пренаписване, до изследователския път, който държи ветрило от проверени кандидати, докато политика не избере един","research-forge.8db9aab917":"колко силно е проверен","research-forge.8dce170de2":"Стойност","research-forge.8dd2a359fe":"LEAN","research-forge.8df2bb4b75":"Нивото на гаранция, което кандидатът трябва да достигне, границата на търсенето и какво да се докладва, когато нищо не я достигне.","research-forge.8e2717f3c6":"Кандидат, който не може да бъде легален, никога не се изгражда, така че фронтът съдържа само добре оформени програми.","research-forge.8e34678d0d":"нелегалните кандидати никога не влизат в пула","research-forge.8e3934fad2":"Четири раздела с политики, които избират различни членове на един фронт, всеки създава пълен запис на решението с причини за доминиране за членовете, които не е избрал","research-forge.8e50172772":"Независимата проверка е отделно стъпало, защото задава различен въпрос. Не дали доказателството е произведено, а дали проверяващ, който не го е произвел, се съгласява, използвайки само доказателствата, предоставени с кандидата.","research-forge.8e84017c75":"Връзката е към конкретна програма. Промените ли една стъпка в нея, доказателството вече не описва това, което държите, така че етикетът се връща към обикновения структурен, докато проверката не бъде направена отново.","research-forge.9032517861":"Пет твърдения, пет състояния","research-forge.908b29b50b":"всяко стъпало изисква различен вид доказателства","research-forge.90e40d5043":"Започнете","research-forge.919003799d":"Тествано","research-forge.91ad20c2db":"Два плана","research-forge.91c0ae2087":"точното намерение намалява риска при внедряването","research-forge.91cf399266":"може да бъде истинският отговор","research-forge.9225f51a2a":"Контрапример","research-forge.9233f41df0":"Три цели","research-forge.9297ab4ca3":"Прочетете историята","research-forge.929818c51d":"Най-голям отпечатък в паметта","research-forge.929a9f0f25":"Първият, който работи","research-forge.92a7058e4e":"Обсъдете институционално сътрудничество","research-forge.92f5fe6952":"Четири резултата","research-forge.936c25084e":"Референтно поведение","research-forge.9388f4158d":"балансираният вариант е избор като останалите и го казва","research-forge.93c09204c0":"Умерен и по двата разхода","research-forge.93c2975761":"Следвайте търсенето","research-forge.93f79d808f":"Отразява ли избраният член на фронта заявения приоритет?","research-forge.942587e61e":"Лист на проекта","research-forge.9477d7acdd":"Кандидатствайте за партньорски достъп","research-forge.94822e9dc6":"Forge, институционален изглед","research-forge.94827e8438":"Прочетете статиите","research-forge.94859cf20a":"Запечатано и отворено","research-forge.948c81b996":"Няколко проверени пътя напред","research-forge.94cc86c489":"една променена стъпка и значката назовава програма, която вече не държите","research-forge.94ed3b0134":"от намерението до избраната програма","research-forge.950dfeeb8b":"Намерението става код","research-forge.9550373e8b":"Измерено","research-forge.95eaeda430":"Колко голяма може полезно да стане една проверена графична област.","research-forge.9678c4f1e3":"една идентичност пресича границата","research-forge.96aff7c058":"Един цикъл с контрапримери","research-forge.96b9633285":"Какво може да промени търсенето","research-forge.973c3f46d7":"В обхват","research-forge.978aa6569a":"Приключва по-рано","research-forge.97c89a4d66":"Действие","research-forge.97ee6e5610":"Предложете","research-forge.992bc34385":"Чиста спецификация не може да придобие достъп до файлове или мрежа по пътя. Договор за цяло число с фиксирана ширина не може тихо да се превърне в неограничено математическо цяло число. Представяне с мащаб запазва мащаба си, а скица с безопасна памет не може да бъде завършена с непроверен псевдоним.","research-forge.99508624d6":"Никоя програма не може да бъде","research-forge.996c4a8976":"има програма в себе си","research-forge.99dc6bab08":"Два кандидата, които удовлетворяват едно и също множество от примери и се разминават по вход, който никой не е предоставил, с трите начина, по които заинтересована страна може да го разреши","research-forge.9a24005705":"Едно пълно търсене, по размер","research-forge.9a469ce88c":"Бетон","research-forge.9a4ce5f246":"изборът трябва да бъде заявен","research-forge.9ae33a7d0e":"Свойство","research-forge.9b7bd11153":"Проверена графика, пресичаща твърда граница в Kera, планирана по два различни начина, като и двата резултата са свързани към същата идентичност на графиката","research-forge.9c25db95cc":"Кандидат A","research-forge.9c86ef6b28":"Изследва кандидатски реализации при обявен договор","research-forge.9cbe42aaff":"Планирано","research-forge.9cfcf5930d":"Латентността, движението, съответствието за внедряване и тежестта на доказателствата не са засегнати от първия резултат.","research-forge.9d68007b07":"Програма","research-forge.9dba232302":"Поведението, което е било поискано","research-forge.9dc6ec542b":"не е същото като изпълнението ѝ","research-forge.9dd59ab994":"Сравнява","research-forge.9df0f32743":"Регистри, паралелизъм, ограничения на устройствата, преносимост","research-forge.9e811eeaf8":"След коректност","research-forge.9ee018232e":"Нищо не влиза в кандидат, което пакетът не е позволил.","research-forge.9f36fa8055":"Запазете тази форма и намерете липсващата част.","research-forge.9f78c690af":"по различни причини","research-forge.9fea6de725":"Формален","research-forge.9ff7951f81":"Проверена значка, разширена в петте си части, показана отново до същата програма след промяна на една стъпка и скъсване на връзката между тях","research-forge.a0a9a568c3":"Кандидатите, които останаха валидни, и тези, които контрапример прекрати","research-forge.a0c9c40551":"програмата променя формата си","research-forge.a10a7ad63a":"Какво поправя пакетът","research-forge.a266f0a07d":"Изследвайте кандидатски ядра","research-forge.a2e1cc1b2f":"Може да се промени","research-forge.a2f4a96337":"Компромис","research-forge.a32a41c9d1":"без програма, с причината","research-forge.a336e6650d":"Два кандидата, две честни точки на спиране","research-forge.a3c143732a":"проблемът е поправен преди търсенето","research-forge.a3c686e711":"Категория","research-forge.a4508fc8ef":"Семантична връзка","research-forge.a48f8c0cf7":"Пет програми, една спецификация","research-forge.a4c745386f":"Четири политики","research-forge.a57b5d2330":"Търсенето може да се промени","research-forge.a6067adc3c":"латентност, операции, памет, регистри","research-forge.a618b4be8d":"Заявка","research-forge.a61c938f35":"Търсенето предлага","research-forge.a723285355":"Моделирано","research-forge.a79764b5e5":"Няколко правилни програми, всяка със собствено доказателство","research-forge.a7987d27ae":"Отказва се от едно пренаписване","research-forge.a898f4eb0d":"Това е същият избор, който всеки прави за маршрут през град. Най-бързият, най-евтиният и този с по-малко промени са разумни. Неразумно е да се твърди, че има само един отговор, без да се каже за какво оптимизирате.","research-forge.a8b262d32b":"Да поискате код от модел и да получите нещо, което изглежда правилно, е различно упражнение. Няма какво да удовлетвори отговора, така че няма срещу какво да се провали, и човекът, който го чете, трябва да осигури цялата преценка.","research-forge.a8e5c0ccf3":"Графиката, която резултатът от проверката всъщност назовава.","research-forge.a91bcce893":"Винаги","research-forge.a94848cbdb":"Само кандидати, преминали портала, достигат тази стъпка.","research-forge.a9d6afeda0":"обратно към предлагане","research-forge.a9f1693ebe":"Всеки член удовлетворява обявения договор, така че единственият оставащ въпрос е кой разход приемате.","research-forge.aa1a2e191d":"ЗАЯВЕНО ПЪРВО","research-forge.aa2b80d828":"Граница","research-forge.aa62568659":"Да се каже какво не е известно е по-полезно, отколкото да се запълни празнината с нещо, което се чете добре.","research-forge.aa6708d51a":"Поддържано универсално отношение беше доказано.","research-forge.aa88ef980e":"Кои поддържани среди могат да го изпълняват","research-forge.aa9002c223":"Значката, отворена","research-forge.aab9ca1bc6":"В клас","research-forge.ab89d05c4b":"Разположение","research-forge.ab98f5b857":"Фиксирано","research-forge.ab9a4aae0b":"Най-малко движение","research-forge.aba86cd010":"Политиката избира","research-forge.abc0c09f1f":"Машината може да промени кои стъпки вършат работата, реда, в който се случват, и кои междинни стойности изобщо съществуват. Две програми, които не споделят нито едно от тези, могат все пак да вършат същата работа, и търсенето има право да предпочете която и да е от тях.","research-forge.ac30f0abf3":"Ако променя това, което програмата произвежда, това не е подобрение за нея. Коректността е това, което печели на кандидата място в разговора за разходите.","research-forge.acc3156c5b":"Изпълнение на връзка","research-forge.ad2cecac38":"Текст и структура","research-forge.ad44adccc4":"доказателството укрепва точно определено твърдение","research-forge.ad59e3b102":"Най-широк","research-forge.adfc01e921":"Кандидат може да бъде оценяван само спрямо проблем, който вече е формулиран.","research-forge.adfccdc8de":"Forge: какво","research-forge.ae2fee1a70":"Изграждай само тип-коректни по-големи изрази.","research-forge.aeb1c76446":"Четири пръстена, едно правило за публикуване","research-forge.aebc2854f4":"Числен","research-forge.aeedafb2fe":"провалът се превръща в трайно задължение","research-forge.af3cc2e010":"програмата, а не целта","research-forge.af68d81f17":"Поведението и ограниченията, които определяха успеха.","research-forge.af78a00855":"Колко директно може да се провери поведението му","research-forge.afbab5dc80":"първият открит кандидат запазва мястото си в историята и напуска границата","research-forge.aff55d9c0e":"Докладвай най-малкия потвърден кандидат и неговата граница.","research-forge.b0339e3e63":"Synthesis, Cranelift и","research-forge.b048046ec8":"Кандидатът с най-ниска латентност може да държи по-голямо работно множество. Най-преносимият може да е по-бавен на машината пред вас. Този с най-простото доказателство може да се откаже от агресивно пренаписване. Може да бъде предложена балансирана точка на коляното, като предложението се записва като политика с приложената нормализация.","research-forge.b06be2ecea":"Ето защо Forge публикува допусканията до твърдението и защо прегледът има посочени собственици. Спецификацията, моделът и целта за изпълнение са три отделни подписа.","research-forge.b0811e470d":"Компромис","research-forge.b0a205ebad":"Започни от разрешените входове и константи.","research-forge.b0b01215a0":"Кандидат D","research-forge.b116105199":"Четири въпроса за изясняване","research-forge.b1d348384e":"Повече от един вид по-добро","research-forge.b23977841c":"Контрапримери","research-forge.b26aa65383":"Какво покрива думата „потвърден“","research-forge.b2bc0c005f":"Проверен","research-forge.b30077250b":"ангажирай се рано или запази алтернативите","research-forge.b307b88c84":"Преносимост","research-forge.b3776d63ad":"Бекенди","research-forge.b39a168c1e":"Пакетът се записва веднъж и всеки резултат на тази страница сочи към версията, която го е създала.","research-forge.b3c0c45a3e":"Forge държи разделени структурната валидност, конкретното тестване, ограниченото изчерпателно проверяване, формалната верификация, независимата проверка и свързването с изпълнението. Кандидатът се придвижва нагоре само когато съществуват доказателства за следващото стъпало, а достигнатото стъпало е част от резултата, а не украшение върху него. Бързото търсене може да държи тествани кандидати, докато все още се получава доказателство. Независимата проверка стои на собствено стъпало, защото пита дали проверяващ, който не е създал доказателството, е съгласен с него.","research-forge.b45b598d0c":"Една графична идентичност свързва спецификацията, доказателството, плана и получения резултат.","research-forge.b462217ad5":"Един вход показва, че поведението е грешно.","research-forge.b4dad06170":"Технически спецификации","research-forge.b51ba796f2":"Започва от","research-forge.b5338782b3":"Измеренията, по които се класира, моделира или измерва кандидатът","research-forge.b568d47f2e":"Вход","research-forge.b5b0a8f813":"Концентрични слоеве от публичния изследователски въпрос през възпроизводимия протокол и публикувания резултат до защитения вътрешен метод","research-forge.b6272cdaf7":"Forge записва идентичността на спецификацията, значимата родословна линия на кандидата, контрапримерите, използваните релации на еквивалентност, целевите стойности, преходите на осигуряване и политиката за подбор. Тази верига обяснява защо избраната програма съществува и кои алтернативи е изместила, и е достатъчна, за да може някой друг да реконструира твърдението. Повторното изпълнение не трябва да повтаря всеки изследователски клон, а само доказателствата, на които се опира твърдението.","research-forge.b638127a16":"Ограничено пълно","research-forge.b66b54c1d8":"Кандидатът като обект","research-forge.b6d2f4c9e8":"търсенето не може да разшири типовата система","research-forge.b70446abdf":"Изискванията могат да си противоречат. Набор от примери може да допуска несъвместими поведения. Искана гаранция може да лежи извън семантиката, която представлява договорът за верификация. Търсене може да достигне обявения си лимит без заключение. Forge докладва всяко от тях поотделно, защото те изискват четири различни реакции и струват четири различни суми за действие. Противоречащите клаузи се съгласуват, конкуриращите се поведения се разделят с повече доказателства, неразрешеното търсене се разширява, а гаранция извън договора се записва като такава, която не може да бъде обоснована както е формулирана.","research-forge.b71f6e67ce":"Проучи едно решение за имплементация","research-forge.b74c664479":"Състояния на осигуряване","research-forge.b78c6b0e99":"преминаването на примерите и удовлетворяването на условието не са едно и също твърдение","research-forge.b82b9b1043":"формите са комбинирани умишлено","research-forge.b895ceb6b1":"не-отговорът предотвратява фалшивата увереност","research-forge.b8f5629ab6":"колоната за задължения никога не се свива между итерациите","research-forge.b97a1099a3":"Машинно проверим","research-forge.b9b15e5f94":"Три досиета","research-forge.ba25b214d8":"всяко иска нещо различно","research-forge.ba3fef96ae":"Доказателство в пет части","research-forge.babfc32160":"Поне едно поведение удовлетворява всяка клауза едновременно.","research-forge.bac127c5b7":"Не-доминиран","research-forge.bb11a8e3f8":"Правила","research-forge.bb2fe63e5a":"INPUT","research-forge.bb54db510a":"Приемане","research-forge.bb9cf14180":"Политика","research-forge.bb9d653f4e":"Предизвикателство","research-forge.bbddd6ecdf":"Кои междинни стойности съществуват","research-forge.bc0b16aa7f":"Четири проверени програми, пренаредени според свойството, което поискате, като балансираната опция е показана като предпочитание, подобно на останалите","research-forge.bc6b9b38a3":"Стъпките, които принадлежат към изследователския метод на Dweve, се появяват като запечатани възли с публикувани входове, изходи и идентичност. Институционалната прозрачност и изследователската поверителност се третират като две свойства на една верига, а не като противоположности.","research-forge.bc7819b34f":"Неизвестно","research-forge.bcd3b8580e":"обектът никога не променя категорията си","research-forge.bce0641417":"Търсене","research-forge.bd163f2c2d":"Всяка връзка носи своите странични условия. Алгебричното преобразуване, намаляването на силата, векторизацията, сливането, промяната на разположението и елиминирането на движения са допустими само когато аритметичните, ширинните, закръглящите, ефектните и подреждащите условия са изпълнени в този експеримент.","research-forge.bd5d4d39fa":"Казва","research-forge.bda89bbff3":"Промяната на пример, разширяването на тип, разрешаването на ефект или смекчаването на числов толеранс създава различен изследователски проблем с различна идентичност. По-ранното изпълнение остава в записа под собствен пакет, така че два резултата никога не се четат като отговори на един и същ въпрос.","research-forge.bdfebc22bf":"Обективен вектор","research-forge.be601df25e":"Изследване","research-forge.beb1ed4753":"публични доказателства до защитен метод","research-forge.bef833878c":"списъкът с случаи никога не става по-кратък между кръговете","research-forge.bf55421b4a":"Исканото поведение не е нещо, което проверката покрива.","research-forge.bff5c4dd05":"Изискване","research-forge.business.actionCase":"Вижте институционалния случай","research-forge.business.actionCooperate":"Обсъдете изследователското сътрудничество","research-forge.business.banner.body1":"Това доказва, че съществува един маршрут.","research-forge.business.banner.body2":"Това не доказва, че маршрутът е най-бързият, най-малкият, най-преносимият, най-лесният за одит или най-подходящият за институцията, която трябва да го управлява.","research-forge.business.banner.eyebrow":"Проблемът с дизайнерското пространство","research-forge.business.banner.firstDetail":"Търсенето е установило, че съществува допустим кандидат.","research-forge.business.banner.firstLabel":"Един удовлетворяващ маршрут","research-forge.business.banner.firstStatus":"Валиден в обхвата","research-forge.business.banner.footer":"Dweve Forge, откриване на проверени програми","research-forge.business.banner.frontierDetail":"Няколко правилни програми остават за различни целеви профили.","research-forge.business.banner.frontierLabel":"Недоминирани алтернативи","research-forge.business.banner.frontierStatus":"Видим","research-forge.business.banner.headline":"Правилното е началото","research-forge.business.banner.headlineAccent":"не крайният отговор","research-forge.business.banner.instrument":"След коректността","research-forge.business.banner.leftLabel":"Първи валиден кандидат","research-forge.business.banner.limitDetail":"Първият резултат не казва нищо за близките компромиси.","research-forge.business.banner.limitLabel":"Няма универсален оптимум","research-forge.business.banner.limitStatus":"Продължете търсенето","research-forge.business.banner.policyDetail":"Институцията посочва кой компромис е оформил избора.","research-forge.business.banner.policyLabel":"Записанa политика за избор","research-forge.business.banner.policyStatus":"Проверим","research-forge.business.banner.rightLabel":"Граница на решенията","research-forge.business.banner.tag":"Сравнете","research-forge.business.banner.verdict":"Запазете алтернативите, докато политиката не стане изрична.","research-forge.business.banner.verdictLabel":"Правило за решение","research-forge.business.close.body":"Донесете домейн намерение, формални методи, хардуерно измерване или независим преглед. Forge предоставя споделен изследователски обект за сравняване на откриването, доказването и изпълнението на програми.","research-forge.business.close.label":"Dweve Forge, изследователско сътрудничество","research-forge.business.close.primary":"Обсъдете институционално сътрудничество","research-forge.business.close.secondary":"Инспектирайте договора за доказателства","research-forge.business.close.title":"Оспорете едно решение.","research-forge.business.eyebrow":"Dweve Forge, откриване на проверени програми","research-forge.business.lede":"Dweve Forge е изследователски проект, който превръща примери, ограничения и частични спецификации в контролирано търсене на валидни програми, сравнява недоминираните алтернативи и запазва доказателствата, подкрепящи избрания резултат. Спецификацията остава трайният актив, докато изборът на имплементация остава отворен по-дълго.","research-forge.business.titleAccent":"докато доказателството не реши","research-forge.business.titleLead":"Задръжте намерението отворено","research-forge.businessGlyph.ambiguous":"Поведението все още е двусмислено","research-forge.businessGlyph.assurance":"Назована гаранция","research-forge.businessGlyph.boundary":"Изследователска програма, а не софтуерно предложение","research-forge.businessGlyph.candidateA":"Кандидат A","research-forge.businessGlyph.candidateB":"Кандидат B","research-forge.businessGlyph.candidateC":"Кандидат C","research-forge.businessGlyph.candidateD":"Кандидат D","research-forge.businessGlyph.counterexample":"Намерен контрапример","research-forge.businessGlyph.execution":"План и резултат свързани","research-forge.businessGlyph.fixed":"Фиксиран","research-forge.businessGlyph.kera":"Изпълнение на Kera","research-forge.businessGlyph.lowLatency":"Най-ниска латентност","research-forge.businessGlyph.lowMovement":"Най-ниско движение","research-forge.businessGlyph.policy":"Политика за избор","research-forge.businessGlyph.portability":"Най-широка преносимост","research-forge.businessGlyph.research":"Изследване","research-forge.businessGlyph.selected":"Избран граф","research-forge.businessGlyph.simpleProof":"Най-просто доказателство","research-forge.businessGlyph.spec":"Поведение, граници и политика за гаранции","research-forge.businessGlyph.specFixed":"Спецификацията е фиксирана","research-forge.businessGlyph.specLabel":"Неизменяема спецификация","research-forge.businessGlyph.subtitle":"Проверени алтернативи преди изпълнение","research-forge.businessGlyph.title":"Лист за решения по спецификацията","research-forge.businessGlyph.tradeoffs":"Компромисите са видими","research-forge.businessGlyph.visible":"Видимо","research-forge.businessHero.titleMiddle":"по-добър","research-forge.businessHero.titleSuffix":"софтуер","research-forge.c00cde6a62":"Крайна обявена област беше покрита без грешка.","research-forge.c023fe51a2":"Forge е достъпен чрез програмата за партньорски изследвания на Dweve. Тествайте ограничени въпроси за програмно синтезиране и съгласувайте условията за оценка преди достъп. Резултатите остават изследователски доказателства, а не продуктово обещание.","research-forge.c040f6e04f":"границата е посочена с резултата","research-forge.c0caf528d8":"Многокритериален разход","research-forge.c10a6d0899":"Противоречиви изисквания, открити по време на изпълнението, се превръщат в забавяне и преработка. Двусмислие, открито след внедряване, се превръща в непоследователно поведение, което някой трябва да съгласува. Откриването на което и да е от тях преди съществуването на изпълнението е най-евтиното място за откриването му.","research-forge.c12f928235":"Предаване на граф","research-forge.c144b00ba8":"Латентност, пропускателна способност и критичен път","research-forge.c174fa3158":"Границата не се движи, когато политиката се движи","research-forge.c1929c45f3":"Търсенето може да докаже, че нищо в обявения език не удовлетворява изискването, да не успее да реши въпроса в рамките на своите теоретични и ресурсни ограничения, или да открие, че предоставените доказателства допускат няколко несъвместими поведения.","research-forge.c1fcd5ecff":"Може да е по-бързо. Може да е по-малко. Може да е най-изящното нещо, което някой е измислил за този проблем.","research-forge.c20d749a05":"КОМПРОМИСИТЕ СА ВИДИМИ","research-forge.c2184a31d3":"Изискването е нещото, което си струва да се запази, а изпълнението е резултат, който то е произвело.","research-forge.c297908b88":"Кандидат не може да бъде повишен от контрол, а само от доказателство, че следващото стъпало съществува.","research-forge.c29cf0b245":"Компромиси","research-forge.c2bb6fa0c5":"СПЕЦИФИКАЦИЯТА Е НЕИЗМЕНЯЕМА","research-forge.c2ea17d5fe":"ТРИ ПОЛЕТА","research-forge.c33ef52668":"изискването не","research-forge.c3451e6677":"Примерите показват очакваното поведение върху случаи, които хората могат да проверят. Логическите условия определят какво трябва да важи извън тези случаи. Частичната скица запазва архитектурата на безопасността, интерфейса или задължителния контролен поток, докато една област остава отворена за откритие. Заедно те правят изискването достатъчно точно, за да може машина да се провали срещу него, което е целта на спецификацията. Всичко, което търсенето има право да решава от ваше име, принадлежи към същия документ.","research-forge.c36594e8f5":"минимално в рамките на обявения език","research-forge.c3be8bb127":"Колко бързо","research-forge.c3e4b59bd1":"Колко данни програмата премества","research-forge.c439038abe":"Не е покрито","research-forge.c440d9bf36":"Търсенето не може да спаси кандидат, като промени целта.","research-forge.c4cc9c34bd":"Един цикъл на усъвършенстване","research-forge.c533db2294":"преди да видите опциите","research-forge.c554cb5d95":"Dweve Research, Нидерландия","research-forge.c60a3a3cff":"Търсете в поддържаната област за нарушаващ вход.","research-forge.c648f0b37b":"Четири причини отговорът да е „няма програма“","research-forge.c69925079f":"грешно точно в този случай","research-forge.c6c9f7cd5c":"Умен пряк път","research-forge.c6d954c113":"Нищо в обявения език и допусканията не удовлетворява изискването.","research-forge.c74dddd8a0":"Записите, които отговарят на по-късен въпрос, са написани, когато решението е било взето.","research-forge.c76a21c28e":"Ето защо позната идентичност може да бъде допусната в точна целочислена област и отказана в област с плаваща запетая в рамките на същия граф. Условието остава прикрепено към релацията, така че извличането никога не наследява пренаписване, на което не е имало право.","research-forge.c7e00eda62":"твърдението е минимално в рамките на този език, при тази граница","research-forge.c7f2c2e7d4":"Три кръга","research-forge.c8050fa93f":"То доказва, че съществува един маршрут. Това е реален резултат и си струва да го имате рано, защото ви казва, че изискването може да бъде удовлетворено изобщо в рамките на езика, който сте обявили.","research-forge.c82f0b5250":"пресичаща се двойка е компромис, а не класиране","research-forge.c855f0a33c":"Неподкрепена теория спира кандидат на „тестван“ или на „извън обхват“, и записът посочва кое. Формален резултат може да назове семантичния граф, докато издаденият артефакт все още чака своята връзка за изпълнение. Нито едно от тези състояния не е компресирано в един знак.","research-forge.c932a404bb":"Тествайте, оспорвайте и доказвайте това, което доказателствата подкрепят.","research-forge.c93e1581c7":"Дори малка задача може да съдържа милиони възможни програми. Forge гледа вътре в операциите и границите, които експериментът позволява, и различните поведения на търсенето изследват различни части от това пространство. Това, което нито едно от тях не може да направи, е да улесни задачата: изискването стои извън търсенето и не се движи.","research-forge.c940737ecf":"Forge, изследователски изглед","research-forge.c968557f4b":"Проверен граф и доказателства към Kera","research-forge.c9bf3b001c":"най-ценният резултат","research-forge.c9d8f0eef6":"отрязване преди оценяване","research-forge.ca032b5844":"Какво прави","research-forge.ca046ad257":"Прочетете изследването","research-forge.ca08ca46bd":"Стълбата на увереността","research-forge.ca09c54bff":"Възможности","research-forge.ca6d0e3aaa":"Етап","research-forge.ca7b181648":"Фиксираният ред","research-forge.cb3242398c":"Няколко програми остават валидни","research-forge.cb3888722e":"Нито една страна не поема твърдението на другата, а идентичността на графиката запазва връзката точна.","research-forge.cb48a44ca9":"Три итерации","research-forge.cb4ae000d8":"програмата остава отворена","research-forge.cb5c0156c2":"Носи собствените си ограничения","research-forge.cbb9f1b292":"всяка казва нещо различно","research-forge.cbbe214a22":"Донесете спецификация","research-forge.cc68ebf0f3":"Фронтът държи кандидатите, които никой друг кандидат не побеждава по всяка активна цел. Премахването на член изисква доминантна връзка, която може да бъде показана, а не предпочитание, скрито в търсенето. Това превръща техническото сравнение в нещо, което ревю бордът може да прочете: всеки член удовлетворява същия договор и се различава само по цената си.","research-forge.ccfd13401b":"Заковете проблема","research-forge.cd27068c9e":"Траен актив","research-forge.cd3d5a59f1":"Детерминирано изпълнение","research-forge.cdaa0de1dc":"Споделяне на общи подизрази","research-forge.cdbed7e540":"Език за търсене","research-forge.cde215073a":"всичките четири удовлетворяват същия договор","research-forge.cdf33799d9":"Запис на връзката за изпълнение","research-forge.ce3b4e045e":"преди да стане постоянно","research-forge.ce9e850988":"търсенето отчита разминаването, вместо да избере едно от тях","research-forge.cec4b662d3":"Частична програма","research-forge.cecae09ffe":"Машината намира кандидат.","research-forge.cf5ed047cf":"Стойности на целите и позиция на фронта.","research-forge.cf61965045":"факти, налични преди да бъде оценено каквото и да е","research-forge.cf88038e56":"Не е окончателно","research-forge.cf9b77061f":"Отворено","research-forge.consumer.banner.bodyOne":"Кандидатът може да е по-бърз, по-малък или по-лесен за изпълнение.","research-forge.consumer.banner.bodyTwo":"Ако нарушава спецификацията, това не е оптимизация на тази програма.","research-forge.consumer.banner.checkDetail":"Изисквайте нивото на доказателства, посочено от експеримента.","research-forge.consumer.banner.checkLabel":"Проверете коректността","research-forge.consumer.banner.checkStatus":"Порта","research-forge.consumer.banner.compareDetail":"Само приемливи кандидати влизат в дискусията за компромисите.","research-forge.consumer.banner.compareLabel":"Сравнете разходите","research-forge.consumer.banner.compareStatus":"След това сравнете","research-forge.consumer.banner.eyebrow":"Непреодолимата граница","research-forge.consumer.banner.findDetail":"Изследвайте различни разрешени програмни структури.","research-forge.consumer.banner.findLabel":"Намерете кандидати","research-forge.consumer.banner.findStatus":"Търсене","research-forge.consumer.banner.footer":"Dweve Forge, Verified Program Discovery","research-forge.consumer.banner.instrumentTag":"Фиксирано","research-forge.consumer.banner.instrumentTitle":"Редът","research-forge.consumer.banner.stateDetail":"Запишете резултата и неговите граници преди търсенето.","research-forge.consumer.banner.stateLabel":"Посочете поведението","research-forge.consumer.banner.stateStatus":"Фиксирано","research-forge.consumer.banner.titleAccent":"ако промени отговора","research-forge.consumer.banner.titleLead":"Умен пряк път е безполезен","research-forge.consumer.banner.verdictLabel":"Правилото","research-forge.consumer.banner.verdictValue":"Коректността дава право на участие в дискусията за компромисите.","research-forge.consumer.close.body":"Публичният материал на Forge обяснява спецификацията, откритите алтернативи, контрапримерите и какво изследването наистина може да докаже. Forge е активно вътрешно изследване, без софтуерен опит, публичен пакет или open-source изтегляне.","research-forge.consumer.close.eyebrow":"Dweve Forge, Verified Program Discovery","research-forge.consumer.close.primary":"Изследвайте Dweve","research-forge.consumer.close.secondary":"Върнете се към експеримента","research-forge.consumer.close.title":"Проследете търсенето от намерението до доказателствата.","research-forge.consumer.counterexample.body":"Кандидатът може да работи на всеки предоставен пример и все пак да се провали другаде. Forge може да го предизвика с конкретен вход, който разкрива разликата. Този вход става контрапример.","research-forge.consumer.counterexample.eyebrow":"Провалът като полезно доказателство","research-forge.consumer.counterexample.footer":"Преминаването на много примери все още не означава, че програмата е доказано коректна.","research-forge.consumer.counterexample.pillFailure":"Конкретен провал","research-forge.consumer.counterexample.pillPermanent":"Постоянен случай","research-forge.consumer.counterexample.pillRetry":"Търсене отново","research-forge.consumer.counterexample.secondaryLeft":"Неуспешният случай се присъединява към постоянните доказателства. Следващият кандидат трябва да удовлетворява както по-ранните примери, така и новата граница.","research-forge.consumer.counterexample.secondaryLeftLabel":"Кандидатът се променя","research-forge.consumer.counterexample.secondaryRight":"Неуспехът може също да разкрие двусмислие или противоречие в заявката. Изясняването на намерението създава нова спецификация и запазва по-ранния резултат видим.","research-forge.consumer.counterexample.secondaryRightLabel":"Намерението може да се промени","research-forge.consumer.counterexample.sideChallengeDetail":"Погледнете отвъд любезните примери.","research-forge.consumer.counterexample.sideChallengeLabel":"Предизвикателство","research-forge.consumer.counterexample.sideFooter":"Неуспехът стеснява търсенето и изяснява човешкото изискване.","research-forge.consumer.counterexample.sideMetaLabel":"Посока","research-forge.consumer.counterexample.sideMetaValue":"По-строго всеки кръг","research-forge.consumer.counterexample.sideProposeDetail":"Намерете кандидат, който отговаря на известните случаи.","research-forge.consumer.counterexample.sideProposeLabel":"Предложение","research-forge.consumer.counterexample.sideRememberDetail":"Добавете конкретния неуспех към доказателствата.","research-forge.consumer.counterexample.sideRememberLabel":"Запомнете","research-forge.consumer.counterexample.sideRetryDetail":"Търсете кандидат, който издържа на по-силния набор.","research-forge.consumer.counterexample.sideRetryLabel":"Опитайте отново","research-forge.consumer.counterexample.sideStatus":"Цикъл","research-forge.consumer.counterexample.sideSubtitle":"Как слаб кандидат изостря въпроса","research-forge.consumer.counterexample.sideTitle":"Един цикъл с контрапример","research-forge.consumer.counterexample.titleAccent":"грешен точно в този случай","research-forge.consumer.counterexample.titleLead":"Не просто грешен","research-forge.consumer.counterexample.visualFooter":"Следващият кандидат трябва да се справи по-добре, без да отслабва изискването.","research-forge.consumer.counterexample.visualMeta":"Илюстративен случай","research-forge.consumer.counterexample.visualStatus":"Намерен контрапример","research-forge.consumer.counterexample.visualSubtitle":"Три кандидата отговарят на все по-строга граница","research-forge.consumer.counterexample.visualTitle":"Неуспешен случай става постоянно задължение","research-forge.consumer.glyph.evidence.counterexample":"Неуспехът е записан","research-forge.consumer.glyph.evidence.examples":"Примерите преминати","research-forge.consumer.glyph.evidence.execution":"Изпълнението е свързано","research-forge.consumer.glyph.evidence.proof":"Отношението е доказано","research-forge.consumer.glyph.footer":"Машината може да не върне програма.","research-forge.consumer.glyph.header.detail":"Заявката остава фиксирана, докато пътищата се променят.","research-forge.consumer.glyph.header.state":"Изследването е активно","research-forge.consumer.glyph.header.title":"Експеримент за откриване на програми","research-forge.consumer.glyph.path.a.label":"Проваля се на граничен случай","research-forge.consumer.glyph.path.a.state":"Отхвърлен","research-forge.consumer.glyph.path.b.label":"Правилен, по-висока цена","research-forge.consumer.glyph.path.b.state":"Запазване","research-forge.consumer.glyph.path.c.label":"Правилен, различен компромис","research-forge.consumer.glyph.path.c.state":"Доказано","research-forge.consumer.glyph.request.detail":"Примери, правила и частична програма определят границата на търсенето.","research-forge.consumer.glyph.request.label":"Трансформирайте всеки поддържан вход и запазете посоченото ограничение.","research-forge.consumer.hero.eyebrow":"Dweve Forge, проверено откриване на програми","research-forge.consumer.hero.lede":"Dweve Forge е изследователски проект, който търси програми, удовлетворяващи примери, ограничения или частични спецификации, подобрява валидни кандидати според изрични цели и записва доказателствата, подкрепящи всеки резултат.","research-forge.consumer.hero.ledgerLabel":"Изследователска бележка","research-forge.consumer.hero.ledgerPill":"Активен","research-forge.consumer.hero.ledgerPurpose":"Цел","research-forge.consumer.hero.ledgerPurposeValue":"Откривайте, сравнявайте и проверявайте програми","research-forge.consumer.hero.ledgerStatus":"Статус","research-forge.consumer.hero.ledgerStatusValue":"Активно вътрешно изследване","research-forge.consumer.hero.primary":"Проследете една открита програма","research-forge.consumer.hero.secondary":"Вижте какво означава проверено","research-forge.consumer.hero.titleAccent":"Оставете машината да търси как.","research-forge.consumer.hero.titleLead":"Опишете какво трябва да се случи.","research-forge.consumer.intent.body":"Изследването на Forge започва с примери, правила или частично написана програма. Примерите показват конкретни случаи. Правилата посочват какво трябва да остане вярно по-общо. Частичната програма запазва решения, които не трябва да се предават на търсенето.","research-forge.consumer.intent.eyebrow":"Началната точка","research-forge.consumer.intent.footer":"След като поведението е ясно, машината може да търси много възможни начини да го произведе.","research-forge.consumer.intent.pillExamples":"Примери","research-forge.consumer.intent.pillRules":"Правила","research-forge.consumer.intent.pillSketch":"Частична програма","research-forge.consumer.intent.secondaryLeft":"Подкана може да поиска код и да получи нещо правдоподобно. Сама по себе си тя не определя пълен стандарт, спрямо който кодът може да се провали.","research-forge.consumer.intent.secondaryLeftLabel":"Подкана","research-forge.consumer.intent.secondaryRight":"Спецификацията фиксира поведението, границите и разрешените избори. Промяната ѝ създава различен изследователски проблем, вместо да спаси слаб кандидат.","research-forge.consumer.intent.secondaryRightLabel":"Спецификация","research-forge.consumer.intent.sideExamplesDetail":"За този вход създай този изход.","research-forge.consumer.intent.sideExamplesLabel":"Примери","research-forge.consumer.intent.sideFooter":"Изискването е на първо място; реализацията остава отворена.","research-forge.consumer.intent.sideMetaLabel":"Фиксирано по време на търсенето","research-forge.consumer.intent.sideMetaValue":"Поведение и обхват","research-forge.consumer.intent.sideRulesDetail":"За всеки поддържан вход запази това свойство.","research-forge.consumer.intent.sideRulesLabel":"Правила","research-forge.consumer.intent.sideSketchDetail":"Запази тази структура и открий липсващата част.","research-forge.consumer.intent.sideSketchLabel":"Скица","research-forge.consumer.intent.sideStatus":"Старт","research-forge.consumer.intent.sideSubtitle":"Всяка дава различен вид граница","research-forge.consumer.intent.sideTitle":"Три начина да заявиш намерение","research-forge.consumer.intent.titleAccent":"преди да избереш реализацията","research-forge.consumer.intent.titleLead":"Опиши поведението","research-forge.consumer.intent.visualFooter":"Програмата променя формата си. Изискването не се променя.","research-forge.consumer.intent.visualMeta":"Илюстративен път","research-forge.consumer.intent.visualStatus":"Активно изследване","research-forge.consumer.intent.visualSubtitle":"Илюстративен публичен изглед на експеримент за откриване на програми","research-forge.consumer.intent.visualTitle":"Едно изискване, няколко възможни пътя","research-forge.consumer.proof.body":"Формален резултат може да докаже, че програма удовлетворява заявено свойство за поддържани входове и семантика. Той не доказва, че изискването е било разумно, пълно или подходящо за всяка реална среда.","research-forge.consumer.proof.eyebrow":"Какво трябва да казва значката","research-forge.consumer.proof.footer":"Понякога най-силният честен резултат е, че машината не може да създаде програма.","research-forge.consumer.proof.pillAssumptions":"Видими допускания","research-forge.consumer.proof.pillLimits":"Видими ограничения","research-forge.consumer.proof.pillScoped":"Ограничен","research-forge.consumer.proof.secondaryLeft":"Програмата, свойството, допусканията и доказателството остават заедно. Ако програмата се промени, обвързаността на доказателството също се променя.","research-forge.consumer.proof.secondaryLeftLabel":"Твърдението","research-forge.consumer.proof.secondaryRight":"Forge е активно, незавършено вътрешно изследване. Не е продукт, публична услуга за синтез или изтегляне с отворен код.","research-forge.consumer.proof.secondaryRightLabel":"Границата на изследването","research-forge.consumer.proof.sideAssumptionsDetail":"Входовете и средата, обхванати от твърдението.","research-forge.consumer.proof.sideAssumptionsLabel":"Допускания","research-forge.consumer.proof.sideFooter":"Доказателството укрепва точно твърдение, а не неясно обещание.","research-forge.consumer.proof.sideLimitsDetail":"Какво не установява резултатът.","research-forge.consumer.proof.sideLimitsLabel":"Ограничения","research-forge.consumer.proof.sideMetaLabel":"Най-силно честно състояние","research-forge.consumer.proof.sideMetaValue":"Назовано, никога подразбирано","research-forge.consumer.proof.sideProgramDetail":"Точният кандидат, който се проверява.","research-forge.consumer.proof.sideProgramLabel":"Програма","research-forge.consumer.proof.sidePropertyDetail":"Поведението, което се твърди.","research-forge.consumer.proof.sidePropertyLabel":"Свойство","research-forge.consumer.proof.sideStatus":"Доказателство","research-forge.consumer.proof.sideSubtitle":"Четири части, които трябва да останат заедно","research-forge.consumer.proof.sideTitle":"Твърдение за доказателство","research-forge.consumer.proof.titleAccent":"не е вярно във всеки възможен свят","research-forge.consumer.proof.titleLead":"Проверено при тези правила","research-forge.consumer.proof.visualFooter":"Неизвестно, невъзможно, двусмислено и извън обхвата остават валидни резултати от изследването.","research-forge.consumer.proof.visualMeta":"Илюстративни доказателства","research-forge.consumer.proof.visualStatus":"Видим обхват","research-forge.consumer.proof.visualSubtitle":"Тестването, ограничените проверки, формалното доказателство и свързването с изпълнение са различни резултати","research-forge.consumer.proof.visualTitle":"Стълбата на увереността държи стъпалата си разделени","research-forge.consumerHero.titleSuffix":"намиране на по-добри маршрути","research-forge.d02603176f":"Универсален","research-forge.d092bf9ea1":"Разгледай изследването","research-forge.d0f4e7e15e":"графът ги запазва точни","research-forge.d105692d52":"Граф на избрани кандидати","research-forge.d1a475961a":"Ограничено пълно търсене може да намери най-малкия израз в тесен език. Усъвършенстването, ръководено от контрапример, обикновено намира стабилни структурирани програми. Търсенето, водено от ограничения, разрешава трудни битови области. Изследователското търсене достига до необичайни реализации.","research-forge.d1b06384eb":"Примери, правила или частично написана програма.","research-forge.d1ed30ebcf":"Фиксирана граница","research-forge.d1f8a8cdec":"Сливането е толкова силно, колкото тестът, който го е оправдал.","research-forge.d1f8e5ea93":"Избор","research-forge.d2089fb287":"Маршрутизиране на теорията","research-forge.d2316c0df0":"Пет записа","research-forge.d23276442b":"Проблемът с пространството на дизайна","research-forge.d23c4c8d4e":"Едно изречение, три използваеми форми","research-forge.d255672f1b":"и изостря искането","research-forge.d286c609a6":"Версия на спецификацията","research-forge.d2b02aa6ad":"записът обвързва и двете страни","research-forge.d2bad80400":"Обикновено искане, разделено на примери, правило и скица, до отговор, написан директно от изречението, което няма с какво да бъде проверено","research-forge.d2d0b16b22":"Премахнете структурните дубликати и наблюдаваните дубликати.","research-forge.d2d43bec88":"Целеви бекенди (обхват на оценката)","research-forge.d35260a00f":"Цели","research-forge.d362822809":"Къде да се представи проблемът","research-forge.d36f29cacf":"Съгласувай","research-forge.d3d6314184":"Всеки кандидат е линия през всяка ос, а не точка върху една.","research-forge.d3dee74f70":"Формалният резултат и отделна проверка за него, където е налична.","research-forge.d3ec6e1bad":"Семантичният обект, който Kera получава, с неговите задължения.","research-forge.d4621d18f0":"с посочена граница","research-forge.d4a74b503a":"Прочетете документацията","research-forge.d4ccefcb5e":"нито един от четирите не завършва, като произвежда нещо правдоподобно вместо това","research-forge.d50b109f99":"Няколко извода остават живи едновременно, а крайният избор чака обективни доказателства.","research-forge.d51fb63a04":"всеки резултат сочи към него","research-forge.d5383ea7af":"Записано","research-forge.d5dc89d194":"За поддържани Kera договори, чистото изпълнение повтаря битовете идентично без сийд, включително покритите семейства с плаваща запетая. Когато програма умишлено консумира случайно състояние, това състояние е деклариран вход и повторното му използване възпроизвежда цялото изпълнение.","research-forge.d5ec4f1c39":"Защо съществува тази програма","research-forge.d5f412e831":"Kera","research-forge.d659989a95":"Forge търси език от типизирани изчислителни операции. Входове, изходи, форми, числови семейства, ефекти, възможности, собственост и целеви ограничения решават кои композиции са законни, така че невалидните програми се изключват структурно, а не се генерират и поправят след оценка. Езикът се избира с пакета и е затворен за изпълнението.","research-forge.d66c44dfdf":"Невъзможно","research-forge.d6a6f2deb1":"Какво прави цикълът","research-forge.d71df112ac":"Какво може да направи търсенето","research-forge.d769ded7e8":"Кандидат","research-forge.d79c0b71d1":"чиято първа правилна програма не е достатъчна","research-forge.d7e5b39755":"Неяснотата става видима, преди да стане код. Двама кандидати могат да удовлетворят всеки предоставен пример и въпреки това да не са съгласни за вход, който никой не е записал. Forge съобщава това несъгласие и иска друго изискване, вместо да избере едно поведение тихо.","research-forge.d7e94eb0fb":"Всяка организация разчита на малки, критични части от код. Forge пита дали търсенето за синтез на програми може да предложи кандидат-реализации при декларирана спецификация и план за измерване. Докладът за 2025 г. документира експеримент, а не производствена готовност; нито един публикуван бенчмарк не установява оптимална или най-бърза версия.","research-forge.d835dab5b4":"точен цял","research-forge.d90c9bd5a7":"размер от 2 до 4","research-forge.d9f6acb036":"извличането става последно","research-forge.da09c06014":"Forge започва с поведенчески договор, който не се променя. Търсенето може да предложи хиляди реализации, а примерите, контрапримерите и формалните заявки решават кои от тях остават. Резултатът е типизиран кандидат-програма с извод, обективен вектор и посочено ниво на увереност.","research-forge.da7a712c59":"Какво трябва да прави програмата","research-forge.daec3d5393":"Контрапримери, доказателства и преходи на увереност.","research-forge.db1c784524":"Референция","research-forge.dc131e9db4":"Какво закрепва пакетът","research-forge.dc16ac61b4":"една ос не може да класира фронт","research-forge.dc5b5aba63":"затяга изискването","research-forge.dcd69b02b3":"Спецификацията е последователна","research-forge.dd00b8f82f":"Именувана увереност","research-forge.dd3c9b9d09":"Не фиксирайте реда на пренаписване","research-forge.dd3e8f4841":"Тестовете установяват поведение върху случаите, които са били изпълнени. Изчерпателната ограничена проверка покрива декларирана крайна област. Формалната верификация доказва кодирана релация при посочени допускания. Свързването на изпълнението обвързва резултата с графа и плана, които действително са се изпълнили. Forge съобщава кое от тях е достигнал кандидатът, защото решение, взето на базата на грешното, е решение, взето на базата на грешни доказателства. Има пет стъпала в тази стълба и кандидатът държи точно едно от тях в даден момент.","research-forge.de135d6b61":"чиста област","research-forge.de56d45fd4":"и какво не му е позволено да докосва","research-forge.de9e9925af":"частите, които трябва да останат заедно","research-forge.dfda3a3599":"Преглеждаем","research-forge.e0078f1adb":"Той не може да добави достъп до файлове или мрежа, който никога не е бил разрешен. Не може да промени вида на числото, което отговорът използва. Не може да смекчи изискването, защото обещаващ кандидат почти го е изпълнил.","research-forge.e03608577a":"Преглед на границите","research-forge.e048b8a355":"Как гаранциите се съставят чрез оптимизация и планиране.","research-forge.e15760689d":"Усъвършенствай","research-forge.e192f8980b":"Статичните модели класират кандидатите, преди да е стартирало каквото и да било. Калибрираните целеви профили изострят тези оценки. Измерените изпълнения ги потвърждават или коригират. Всяко от тях остава етикетирано, така че прогнозирана латентност никога не се показва на мястото, където би стояла измерена.","research-forge.e24f8562eb":"изпълнението се превръща в резултат","research-forge.e29a79fe0c":"Преглед","research-forge.e2f9cea1dd":"какво установява и какво не установява всяка форма","research-forge.e31ae17fe2":"Какво остава открито","research-forge.e340683de2":"Обявените конкретни случаи преминаха.","research-forge.e341bf4b5e":"Пълнотата принадлежи на обявеното пространство и докладът посочва кое е било това пространство.","research-forge.e380a981e1":"Две инженерни последователности","research-forge.e3a3474f57":"Еквивалентни изходни низове могат да описват едно и също изчисление, а подобно изглеждащи източници могат да крият различни ефекти. Работата върху графа прави структурното споделяне, сравнението на кандидати, обвързването на доказателства и произхода точни, вместо нещо, изведено от текста след всяка трансформация.","research-forge.e3aa756f4f":"Три изгледа","research-forge.e3f3e0b2d5":"Не-отговор с приложена причина е решение, върху което организацията може да действа още днес.","research-forge.e3f4660921":"Когато търсенето задържа няколко правилни програми, някой трябва да каже кой компромис има значение. Това е решение и Forge го записва като такова, заедно с програмите, които не е избрало, и причината, поради която всяка е била пропусната.","research-forge.e40786cd04":"графът е именуван, не източникът","research-forge.e43a425d4c":"Един неуспешен случай","research-forge.e4709d4a03":"Нещо в обявения език отговаря на изискването.","research-forge.e4ec169f06":"Три итерации, едно изискване, което става все по-ясно","research-forge.e5a5debd01":"и насочва следващата инвестиция","research-forge.e5e6eefa7c":"всяко може да посочи различен най-добър кандидат","research-forge.e5fa3a8592":"Добавете доказателството, което разделя конкуриращите се поведения.","research-forge.e6737991ff":"Търсене на кандидати","research-forge.e6c167fd27":"ЧЛЕН","research-forge.e6f72dbc9e":"Добре оформени чрез изпълнение, свързани никога не се сливат.","research-forge.e70fb2879c":"което променя отговора","research-forge.e713d42aa6":"ТЕМА","research-forge.e73791d2ee":"Записът е предназначен да бъде прочетен от някой, който не е присъствал. Той посочва версията на спецификацията, а не клон, графа на кандидатите, а не файл, и отношението на доминиране, а не предпочитание, така че рецензентът може да попита защо не кандидат B и да получи отговор.","research-forge.e78c82b9d8":"Пространство на еквивалентни програми","research-forge.e792eed957":"Избройте по тип и размер","research-forge.e79545edad":"Forge може да намери програма, да намери няколко, да намери контрапример, който слага край на една, или да установи, че нищо в разрешеното пространство не работи. Всяко от тези неща може да се случи в едно изпълнение.","research-forge.e7c6bfda5f":"Примери, ограничения и скици","research-forge.e7eaf3097f":"НЕРЕШЕНО","research-forge.e83744eb1b":"Един граф през стека на Dweve","research-forge.e89c5a1fe5":"Заявете демонстрация","research-forge.e8c9206319":"Вие заявявате поведението","research-forge.e93a01e74c":"Входове и изходи","research-forge.e9a46a96e9":"Двусмислено","research-forge.e9c366b4f3":"Изискване","research-forge.e9e1bb076f":"Доказателството, графът, планът и идентичността на резултата са свързани заедно.","research-forge.ea2f183ae8":"Неуспех, който посочва точно вход, учи търсенето повече от неуспех, който посочва резултат.","research-forge.ea66222972":"Определете поведението, езика на кандидатите, вектора на целите и доказателството, от което се нуждаете. Forge може да превърне това в контролиран експеримент за търсене, сравнение и проверка.","research-forge.ea66d3cd71":"Формално проверено","research-forge.eae192773b":"Създадено от","research-forge.eb01bf04c9":"Примери","research-forge.eb5d2f4a58":"JIT","research-forge.eb65476556":"отказът преди оценката не струва нищо","research-forge.eb86bd10d0":"Тествайте и формално запитвайте оцелелите.","research-forge.ebc93602b0":"Програма за партньорство в изследванията","research-forge.ebd1b8a0ed":"Коректността и разходите остават разделени","research-forge.ebf002ed26":"Какво трябва да произведе или запази всеки разрешен вход?","research-forge.ec00edb305":"Статус на измерването","research-forge.ec80d62108":"Графика на компромиса с три оси с доминирани кандидати в сиво, селектор на политика, избиращ един недоминиран член, и контрола, която добавя цел и пречертава границата","research-forge.ec8c6779f3":"Извеждане","research-forge.eca98aa4dd":"Постоянният инвариант","research-forge.ecc4622e4a":"Намерението като актив","research-forge.eccd8c22c7":"Случаи","research-forge.ed03c68d9c":"Частично","research-forge.ed625e27bc":"отговорът се чете от записа, а не се възстановява от него","research-forge.ed834ee730":"Две програми, всеки пример, едно несъгласие","research-forge.ed868fa2d4":"Какво установява един отговор","research-forge.edd8fb596d":"Какво иска организацията","research-forge.ee531c138e":"една идентичност през целия жизнен цикъл","research-forge.ee6e0d9004":"какво връща Kera","research-forge.eebc8ec4db":"Най-голямото работно множество","research-forge.eebfc58277":"Обикновено има повече от един добър отговор и казването кой сте избрали е част от отговора.","research-forge.ef4e3a4971":"Какво все още може да се различава","research-forge.ef73fdd1c8":"Четири случая","research-forge.f04208c0f4":"външните три пръстена могат да бъдат проверени, без да се отваря най-вътрешният","research-forge.f061352d1c":"Семейство, ширина, закръгляне и активната обвивка на грешката.","research-forge.f0aa98e438":"Проблемът се записва първо","research-forge.f128a0033d":"Forge сравнява валидни кандидати по брой операции, критичен път, паметов трафик, работно множество, регистров натиск, размер на кода, прогнозна енергия, преносимост, сложност на доказателството и съответствие с целта. Кои от тях са активни, принадлежи на експерименталния пакет, избран преди измерването на който и да е кандидат, така че сравнението не може да бъде настроено след като резултатите са налице.","research-forge.f1513553a0":"Пет кандидата, реализиращи една и съща спецификация, всеки с различна структурна силует и обективна лента, като първият открит кандидат е маркиран като доминиран","research-forge.f19a088441":"Поле от кандидатски програмни форми в три състояния около фиксирана рамка на изискванията в центъра, която никога не променя размера си","research-forge.f1e6269a35":"Кандидатът на Forge е типизирана семантична графика. Нейните възли запазват операции, зависимости, стойности, ефекти, собственост и числови задължения, а търсенето добавя, премахва и свързва отново региони, докато интерфейсът остава добре оформен. Синтаксисът на източника е един изглед на този обект, а не неговата идентичност, поради което доказателство може да се обвърже с него и да оцелее при промяна на правописа.","research-forge.f21eba9d4c":"Поведението, което се твърди за него.","research-forge.f2b83c0462":"Преглед на изхода на кандидата","research-forge.f3263fc33a":"Кои входове, ефекти и среди са в обхвата?","research-forge.f33b37791c":"едно фиксирано изискване","research-forge.f34faaf18c":"Какво остава фиксирано за изпълнението","research-forge.f3717fe94b":"Три съединения, един типизиран език","research-forge.f3b8596ff9":"Скици","research-forge.f3e0a2c003":"Операция, преход на състояние и всеки ефект, който му е разрешен.","research-forge.f44f712120":"методът остава изследователски","research-forge.f4b90ff6c9":"изброяващ, CEGIS, GP, MCTS","research-forge.f4c0773264":"Типовете, ефектите, собствеността и интерфейсите са валидни.","research-forge.f5330c10d4":"Две системи, един обект","research-forge.f539273fc2":"Той премина обявените конкретни случаи.","research-forge.f53a569905":"Институционалният проблем","research-forge.f591672335":"от край до край","research-forge.f5def394f5":"Точният кандидат, който е бил проверен.","research-forge.f61f151c35":"Опишете какво се случва","research-forge.f6c1c2d45c":"избраният кандидат запазва политиката, която го е избрала","research-forge.f6fbfa37a0":"Ограничен ефект","research-forge.f7313a2c50":"Повечето системи, които пишат код, са помолени да продължат текст по правдоподобен начин. Forge е помолен да удовлетвори описание на това, което програмата трябва да прави. Той търси реализации, отхвърля тези, които се провалят на конкретен вход, сравнява тези, които оцеляват, и посочва точно колко силно е проверен резултатът.","research-forge.f740162265":"Различим","research-forge.f793bcd5e3":"Избран от текущата политика","research-forge.f7bce3aeb0":"Три вида еднаквост","research-forge.f7fcfa132e":"Проверено винаги означава проверено срещу нещо заявено.","research-forge.f85d540ea4":"Те също се провалят по различен начин. Кандидат може да премине всички предоставени примери и все пак да наруши количественото условие, което примерите са трябвало да илюстрират. Записът назовава тази разлика, така че преминаването на тестов набор никога не се чете по-късно като доказателство.","research-forge.f8ad81d4ed":"Две програми могат да вършат точно една и съща работа и все пак да са различни за живеене. Едната завършва по-рано. Едната премества по-малко данни. Едната работи на повече видове машини. Едната е просто по-лесна за проверка. Подобряването на което и да е от тях обикновено струва нещо на друго, така че Forge запазва добрите, вместо да обявява един победител.","research-forge.f915e592e0":"Достатъчно уредено, за да се каже ясно: неизменна спецификация, един типизиран кандидатски пул, захранван от няколко поведения на търсене, контрапримери като постоянни задължения, граница вместо скрит резултат, именувани нива на гаранция и графична идентичност, която оцелява при предаването на Kera.","research-forge.f91cf3695e":"какво напуска Forge и какво Kera връща","research-forge.f942052ae1":"Първата правилна програма","research-forge.f95d9699ab":"не определението за най-добър","research-forge.f9743247fa":"Прочетете документацията","research-forge.f97f6d5c34":"Видът число в отговора","research-forge.f9917655d9":"Проверените и отхвърлените кандидати, които са имали значение.","research-forge.f9d589b5e4":"Етикетът назовава нивото, а записът до него назовава обхвата, който това ниво покрива.","research-forge.fa6b511877":"Не може да се променя","research-forge.fa7f633b0c":"Три кандидатски досиета, спрени на различни нива на гаранция, всяко отварящо доказателствата зад своя етикет, с промоция, показана като недостъпна без доказателства","research-forge.fa8d0afff2":"и рендериране на източника в периферията","research-forge.fb588797f2":"Софтуер, който пише","research-forge.fba63933d7":"доказването установява поведение","research-forge.fbe8d4180f":"Една семка, много форми","research-forge.fc5fed48be":"Търсене в графиката","research-forge.fc7583ec76":"Неизменна спецификация","research-forge.fca77b7e3a":"С един поглед","research-forge.fca8a06b17":"Forge записва кой вид еднаквост е оправдал всяко сливане, така че евтиното дедупликиране по време на търсене никога не се чете по-късно като семантичен резултат.","research-forge.fd2145e1f8":"Редът, който никога не се променя","research-forge.fd9cfb5232":"Няколко поведения на търсене произвеждат един вид типизиран кандидат.","research-forge.fdd0dfedc0":"Четири неща са валидни","research-forge.fe03c35158":"Семантика","research-forge.fe0863e1b3":"Пет нива на гаранция","research-forge.fe08eef5c7":"Стъпките, които принадлежат към вътрешния метод на Dweve, се появяват във веригата като запечатани възли. Всяка от тях публикува своите входове, изходи и идентичност, така че веригата остава свързана, докато стратегията вътре в нея остава част от изследването.","research-forge.fe17f86199":"Дизайн пространство","research-forge.fe8b95b52a":"Избраният граф, преминаващ от Forge в Kera по една лента, със съседните Dweve системи, които четат същия обект, и резултатната идентичност, връщаща се към него","research-forge.fec325ce2f":"Премества по-малко данни","research-forge.fef04acdce":"какво оцелява при всеки кандидат размер","research-forge.ff52cebd1d":"Крайно обявеното пространство беше изчерпано.","research-forge.ff63942f4e":"Верига, която рецензент може да обходи","research-forge.ff75e0dce3":"Неясно","research-forge.ffa7344f37":"Публичният материал на Forge обяснява спецификацията, откритите алтернативи, контрапримерите, които сложиха край на някои от тях, и какво изследването може действително да докаже.","research-forge.technicalHero.titleSuffix":"Z3","section_st_a2_split-spec-sheet.7c9a7c0610":"Подробности","section_st_a6_split-scenario-triad.f75fd3a884":"Без зависимости по време на изпълнение","section_st_a6_split-scenario-triad.143ac4ef35":"Един двоичен файл","section_st_a6_split-scenario-triad.c61f134d87":"Три повърхности","section_st_a6_split-scenario-triad.215475056e":"КЪДЕ РАБОТИ","section_st_a6_split-scenario-triad.a794a586f0":"Готов за запечатана стая","section_st_a6_split-scenario-triad.42d52c32ea":"Локален модел","section_st_a6_split-scenario-triad.fe6168e59f":"Без мрежа","section_st_a6_split-scenario-triad.7d93f83c3e":"Код, монтиран като том","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":"Без инсталация","section_st_a6_split-scenario-triad.f600b9e709":"Един двоичен файл","section_st_a7_split-connector-grid.4e6822a6d4":"Горещо презареждане","section_st_a7_split-connector-grid.19e35f0609":"Задава се в TOML","section_st_a7_split-connector-grid.d9de50b343":"Инвентаризация, управлявана от извикващия","section_st_a7_split-connector-grid.8be1bb51b7":"ВРЪЗКИ","section_st_a8_split-scaling-profile.7e0861e04c":"Настройваемо в TOML","section_st_a8_split-scaling-profile.56d6732417":"Таван за проект","section_st_a8_split-scaling-profile.27a454915b":"Активните точки отразяват едновременните агенти за ниво.","section_st_a8_split-scaling-profile.0ea215ea0d":"ФОН","section_st_a8_split-scaling-profile.9fc6fb7e03":"TEAMS","section_st_a8_split-scaling-profile.018d2cd1a5":"ПАРАЛЕЛНО","section_st_a8_split-scaling-profile.16623c5d4a":"ВЕРИГИ","section_st_a8_split-scaling-profile.0fb79c96ed":"Соло → Екип → Мрежа","section_st_a8_split-scaling-profile.068f6b3ecc":"МАЩАБ НА ЕКИПА","section_st_a8_split-scaling-profile.53ebc572b4":"Мрежа","section_st_a8_split-scaling-profile.218887269a":"Екип","section_st_a8_split-scaling-profile.9fc93acaa4":"Соло","section_st_a9_split-time-lost-donut.7c9a7c0610":"Подробности","section_st_b5_request-lifecycle.47e364232a":"одит #4521","section_st_b5_request-lifecycle.4d3535f846":"пач · session.rs","section_st_b5_request-lifecycle.6c2519cd62":"Изпълнение на инструмент","section_st_b5_request-lifecycle.f6d1c823ab":"сесия #128 · 14:02","section_st_b5_request-lifecycle.636de0d0c3":"> „поправи този бъг“","section_st_b5_request-lifecycle.0208131a7d":"Заявка на потребителя","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":"ВАШАТА КОДОВА БАЗА","section_st_b8_defense-stack.89b6e2a784":"ЗАЩИТА В ДЪЛБОЧИНА","section_st_c2_dual-loop-flow.9d29573ea6":"инструмент / стъпка","section_st_c2_dual-loop-flow.08ab1ac55a":"план / препланиране","section_st_c5_integration-spoke.55d0677ac3":"Всички конектори преминават през един и същ слой за одит и разрешения.","section_st_c5_integration-spoke.c29eb7e425":"Локален агент","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":"Външни инструменти","section_st_c5_integration-spoke.70c123381f":"JSON-RPC 2.0","section_st_c5_integration-spoke.dc99d54d99":"Локално","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":"Започнете","toc-rail.f5cbdf6bfb":"Съдържание"}