{"block_close_oss.c33fd1fe9c":"Общност и екосистема","core-extras.96d330537a":"Базова IR","core-extras.bee831a169":"Субстрат","core-extras.61a0822826":"Приложения върху Core","core-extras.15438cc098":"не се поддържа","core-extras.ad565d9d01":"Функция","core-extras.0155bf03e5":"Легенда на сегментите","core-extras.8b7110078e":"Алгоритмите се групират по тип данни","core-extras.25ab4276a6":"Превъртаема матрица на възможностите","open-source-aion.81f3904118":"Управление на знания, изградено върху произход в стил AION.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Продукти","open-source-aion.de5ec3713e":"Merkle-верифицируем анализатор, използван от AION за обработка на входни данни.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Проверена среда за изпълнение, която съпоставя сертификатите на AION с транскрипти на изпълнението.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Проследяване на събития за системи: записи с хеш-вериги за случилото се, а не стъпки на разсъждение вътре в решение.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Продължете с проучването","open-source-aion.75e393a1ac":"Разгледайте свързани проекти","open-source-aion.f9743247fa":"Прочетете документацията","open-source-aion.ef0fd4ccef":"Проверете пътя на доказателството","open-source-aion.77453cde44":"Изпълнете примерен сертификат и го проверете с aion check, cvc5 или всеки съвместим с LRAT проверяващ, след като хранилището бъде публикувано. Публикуването е планирано за 1 септември 2026 г. и инструкциите за инсталиране идват с него.","open-source-aion.dd58b70279":"Доказателството идва с отговора","open-source-aion.90e40d5043":"Започнете","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Отворен код","open-source-aion.close.accent":"за да може всеки да го провери без вас","open-source-aion.close.panel.title":"Какво носи един сертификат","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"Една форма, осем полета","open-source-aion.close.panel.row.1.label":"Семейства","open-source-aion.close.panel.row.1.value":"Девет регистрирани и разширяеми","open-source-aion.close.panel.row.2.label":"Проверка","open-source-aion.close.panel.row.2.value":"Ограничена, без лиценз, без повторно изпълнение","open-source-aion.close.panel.row.3.label":"Къде работи","open-source-aion.close.panel.row.3.value":"На вашия сайт, нищо изходящо","open-source-aion.close.panel.foot":"Един сертификат остава малък и може да бъде проверяван отново години по-късно.","open-source-aion.ea722c81af":"Европейски","open-source-aion.26803e587f":"По време на одит","open-source-aion.15edfb4da4":"Произведено в","open-source-aion.75f527181b":"Офлайн","open-source-aion.f8c94a3b4b":"Какво е това","open-source-aion.6b5eb5323e":"Офлайн, линейно време","open-source-aion.a49b62e167":"Точни рационални числа","open-source-aion.45f053dc73":"Аритметика","open-source-aion.4329e5da7b":"11 логически домейна","open-source-aion.9a948dc88c":"DERIVATION","open-source-aion.e6c67de15e":"Формати на доказателства","open-source-aion.87415af880":"Сертификати за доказателства","open-source-aion.9c8c22f54d":"Доказателства, не уверения","open-source-aion.44ab85a252":"Произход","open-source-aion.3271776def":"Офлайн, без услуга","open-source-aion.03128bed90":"Верификация","open-source-aion.4f1428fca3":"Хардуер, който контролирате","open-source-aion.5703321d0e":"Работи на","open-source-aion.978e9ec250":"Стандартен, преносим","open-source-aion.3229609e15":"Верификация","open-source-aion.cba0624eb5":"Запис за верификация","open-source-aion.26ef011865":"Вижте къде работи","open-source-aion.6f696724c6":"Вижте пътя на верификация","open-source-aion.a3f1131acb":"AION е инфраструктура за доказателства за AI решения, публична от 1 септември 2026 г. Тя издава компактно доказателство до резултата на AI, а отделен проверяващ преминава през това доказателство спрямо оригиналните предпоставки и го приема или отхвърля без модела, сесията на решаващия инструмент или мрежата.","open-source-aion.a2831cb958":"за независимо проверени AI решения","open-source-aion.78db6d1920":"Инфраструктура за доказателства","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Никога не му вярвайте просто","open-source-aion.4c1c703b94":"Същността","open-source-aion.2518be9b9c":"Не е необходимо","open-source-aion.4ab2910209":"Вашият акаунт","open-source-aion.3477f4d91d":"Същият отговор","open-source-aion.d7e70b6e08":"Същият въпрос","open-source-aion.930888ee28":"Няма интернет","open-source-aion.d072f5db48":"Проверка на нуждите","open-source-aion.576347ec82":"Европа","open-source-aion.eeffc514bd":"Не, други го използват вместо вас","open-source-aion.cef1deea41":"Вие го изграждате","open-source-aion.64ae43e8fe":"Проверка на доказателството","open-source-aion.fdd1e56642":"Разписка за отговорите","open-source-aion.704869f20f":"С прости думи","open-source-aion.658a8547d7":"Безопасно ли е?","open-source-aion.06c805023d":"Причина, която можете да носите със себе си","open-source-aion.e92ed103c2":"AION добавя проверима разписка към отговор от изкуствен интелект. Вашият асистент може да ви каже дали разсъждението е валидно, без да изисква от вас да разбирате механизма, а разписката може да бъде проверена отново без интернет връзка. AION е публичен от 1 септември 2026 г., когато излиза и документацията му.","open-source-aion.336366183a":"за решения на ИИ","open-source-aion.41cbc965ef":"Проверима разписка","open-source-aion.4eabc3bc63":"CDCL с теорийни плъгини","open-source-aion.68836c550e":"Core","open-source-aion.0cdb7c9a36":"Линейно време, офлайн","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Теории","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Език","open-source-aion.942587e61e":"Информационен лист","open-source-aion.d4a74b503a":"Прочетете документацията","open-source-aion.b683cc6ce4":"AION отваря програмата на 1 септември 2026 г.: инфраструктура за доказателства за решения на ИИ, като хранилището и документацията му се публикуват заедно. Обясненията след факта просто ви карат да се доверите на друг разказ от същата система. Вместо това AION издава сертификат за доказателство, който всеки проверяващ може да провери офлайн, за линейно време, без решаващия модул.","open-source-aion.8f2ee5be83":"Резултати от ИИ","open-source-aion.376868cca2":"за независимо проверени","open-source-aion.hero.source":"Попитайте за изданието","open-source-aion.45471af790":"Проследяемост на събития","open-source-aion.ac9835d4bd":"Транскрипти на изпълнението","open-source-aion.24f43d4446":"Синтактични дървета","open-source-aion.f6b229e148":"Вашите файлове, вашият хардуер, вашите числа и проверяващ, който чете доказателство от непознат","open-source-aion.144fbc96c6":"ПРЕБРОЕНИ","open-source-aion.719075bb86":"РАЗБОР И РЕШАВАНЕ","open-source-aion.8f84ba12df":"ВАШИТЕ СОБСТВЕНИ ФАЙЛОВЕ","open-source-aion.8f088dbc07":"Това е двуседмична оценка с писмен резултат, а не демонстрация. Корпусът е ваш, хардуерът е ваш, числата са ваши за вътрешно публикуване и нищо в упражнението не изисква разговор с нас. Инструментариумът се доставя с хранилището, така че изпълнението може да започне в деня, в който получите достъп.","open-source-aion.36ef075645":"„Правилно“ не е мнението на AION за самия него. Всеки файл в стандартен корпус носи статуса, за който е известно, че има, и инструментариумът сравнява отговора на AION с тази анотация случай по случай, така че броят в края е резултат спрямо заявената истина. Адресното пространство за всяко изпълнение може да бъде ограничено, което предпазва един патологичен файл от това да отнесе машината със себе си.","open-source-aion.e5bce47d50":"Какво дава пилотният проект","open-source-aion.680f97998b":"AION включва инструментариум за бенчмарк, така че числата, които цитирате в бизнес казуса, са тези, които вашите собствени файлове са произвели на вашия собствен хардуер. Насочете го към корпус и той записва времето за разбор, времето за решаване и пиковата резидентна памет за всеки случай, след което отпечатва бройката на верните отговори. Изпълнението се повтаря върху същия корпус, така че второ оценяване може да бъде поставено до първото ред по ред.","open-source-aion.2d5f8acea9":"и прочетете числата обратно","open-source-aion.5586707b63":"Пуснете собствените си файлове първо","open-source-aion.67ec8d614c":"Преди да се ангажирате","open-source-aion.55744ee096":"Дори и с всичко това, някой ще оспори даден резултат. Това изисква път, а не среща","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"ГЛЕДАНО НАЖИВО","open-source-aion.24538c3986":"МАРЖ, А НЕ ТРЕВОГА","open-source-aion.368f25d10d":"Някъде преди последния имаше ден, в който работата все още беше за един следобед, и точно този ден мениджърът иска да бъде отбелязан, защото всяка опция след него струва повече. Четенето на маржа ежедневно е начинът този ден да бъде открит.","open-source-aion.c5701049a8":"Докладът има собственик, а не опашка, и всеки ред в него предполага различна работа с различна спешност. Един е завършен и не изисква действие от никого. Един има четири дни оставащи, което го прави план за тази седмица, а не за днес. Един има един ден оставащ, което го прави работа за тази сутрин. Един е просрочен от две седмици, което изисква име срещу него и изречение, обясняващо разликата.","open-source-aion.26435b9406":"Всичко с краен срок може да бъде наблюдавано, докато тече, и AION отчита оставащото пространство като число със знак, а не като преминаване. Прозорец за отговор с четири дни оставащи. Период на задържане две седмици след датата, на която е трябвало да приключи. Това е оперативно отчитане, върху което някой може да действа още тази сутрин. Числото се движи всеки ден, така че докладът се чете като марж, а не като тревога.","open-source-aion.f49579b8d6":"преди да стане нарушение","open-source-aion.0e185152c8":"Четете маржа ежедневно","open-source-aion.bc09e774e9":"Активни задължения","open-source-aion.cff8079f65":"Записите отговарят на въпроси след факта. Някои задължения изискват наблюдение, докато текат","open-source-aion.127edee78d":"ПОДПИСАНО","open-source-aion.b1c1ba1af8":"СПИСЪК","open-source-aion.8d27ef68f5":"СЕДЕМ МОГАТ ДА СЕ ДВИЖАТ","open-source-aion.c84f34cb7c":"Атрибуцията е втори механизъм, а не друга колона на същия запис. Подписът се прилага върху реда на извеждане, така че кой е произвел резултата, оцелява при смяна на изпълнителя, а два идентични отговора от двама доставчици остават различими. Това важи дори когато и двата са произведени от едни и същи обявени входни данни.","open-source-aion.a76201631f":"Всеки ред в този списък посочва компонента, който се е променил, а съхраненият сертификат зад него е пълен, така че повторната проверка е изпълнение, а не реконструкция. Алтернативата, която повечето организации имат, е избор между повторно преглеждане на всичко и повторно преглеждане на нищо, и на практика този избор винаги се прави по един и същи начин.","open-source-aion.5c82441a97":"Записът","open-source-aion.10d9103c24":"Резултат, приет миналата година, е бил приет по договора от миналата година. Седем различни неща могат да се движат под него: правило за проверка, схема на сертификата, политика, правило за компилатора, договор за изпълнение, версия на модела или договор за симулация. Когато едно от тях се промени, въпросът кои минали заключения са разчитали на променената част има отговор, и отговорът е списък.","open-source-aion.1829734913":"получавате списък за преработване","open-source-aion.6d49555943":"Когато правило се промени по-късно","open-source-aion.7f325552d8":"Вашият одитен журнал, с версии","open-source-aion.d272027f73":"Локален запис се поддържа лесно. По-трудно е да го запазите смислен, когато правилата се променят","open-source-aion.05a898ec87":"БЕЗ ХОСТВАН МОДЕЛ","open-source-aion.c530254e40":"ВАШИЯТ САЙТ","open-source-aion.66b3dbbe8f":"БЕЗ ИЗХОДЯЩО ПОВИКВАНЕ","open-source-aion.8ae7a1670e":"За служител по защита на данните, който отговаря на кратък списък от въпроси за този път и само за този път: няма обработващ, който да добавите в регистър, няма прехвърляне, което да обосновавате, няма доставчик на модел във веригата и нищо наше, което да е недостъпно по време на ваш инцидент или да се промени под вас според чужд график за пускане. Версията, която имате, е версията, която работи и догодина. Този отговор е еднакъв, независимо дали сайтът е свързан или изолиран от мрежата.","open-source-aion.60ad7ae15b":"Два пътя могат да пресичат граница и и двата са ваши за конфигуриране. Клъстерът работи върху адреси, които задавате сами. Външен доказател, ако искате такъв в процеса, е програма, която инсталирате, и тя работи като локален процес на вашата машина.","open-source-aion.2f6a307ba7":"За операторите","open-source-aion.dbc08c41b9":"Стандартната версия на AION няма изходящ клиент. Проверката на доказателство, преводът на изискване, наблюдението на сигнал и изпълнението на търсенето се случват на машината, на която сте ги стартирали, във вашата собствена граница, на хардуер, който контролирате. Във веригата няма хостван модел и няма път до такъв. Същата версия работи в изолирана от мрежата стая, както и в свързана, защото нищо по стандартния път не се нуждае от мрежа, за да завърши.","open-source-aion.90c790a231":"и нищо не се обажда навън","open-source-aion.4b9230d5db":"Всичко работи на място","open-source-aion.fe7f7fc61a":"Къде се случва работата","open-source-aion.ed461cacdf":"Доказателство за правилата е едно нещо. Къде се изпълнява работата е следващият въпрос, който хората задават","open-source-aion.640d41197b":"ЕДНО ИЗПЪЛНЕНО","open-source-aion.29ff0fb82f":"СЕДЕМ ТВЪРДЕНИЯ","open-source-aion.431d64456a":"Това е твърдение за набора от правила, а не извадка от минали случаи. Тестването на хиляда приложения показва хиляда приложения; проверката за ненамеса покрива всяка двойка, която правилата позволяват, като използва самокомпозиция, насочена към свойство достижимост и k-индукция, като абстракцията се стеснява, където двойка покаже, че е била твърде широка. Когато не се изпълни, това, което се връща, не е статистика. Това са две приложения, идентични във всяко публично поле, различаващи се в това, за което попитахте, с два различни резултата, отпечатани един до друг. Това е констатация, върху която служител по съответствието може да действа още същата сутрин.","open-source-aion.e5e1cd5506":"Вземете въпроса, който регулаторите и жалбоподателите задават най-често, с различни думи: промени ли това поле резултата? На него се отговаря като свойство върху две изпълнения. Свържете всички публични входове, оставете въпросното поле свободно от всяка страна и изискайте видимият резултат да съвпада. Ако винаги съвпада, резултатът не зависи от това поле.","open-source-aion.227872d789":"Едно от тях, разработено","open-source-aion.5f92fd5ed1":"Сертификатът е интересен само заради изречението, което ви позволява да кажете. Този двоичен файл съответства на тази графика на изходния код. Това натоварване работи при тези възможности. Това действие имаше необходимото одобрение. Този оптимум отговаря на тази граница. Тази траектория спази тези инварианти. Това заключение следва от тези ограничения. Този изход идва от точно този модел и набор от параметри.","open-source-aion.418a3bc2fc":"пред регулатор","open-source-aion.7a7af31402":"Седем твърдения, които можете","open-source-aion.a13c1cf72d":"Какво всъщност можете да докажете","open-source-aion.20467ce964":"Един случай е за едно приложение. Някои въпроси са за две от тях едновременно","open-source-aion.dde18d1e41":"КОЙ ГО ПРИТЕЖАВА","open-source-aion.f3b603a5b2":"В СТОЙНОСТИ","open-source-aion.53d2799375":"СЛУЧАЯТ","open-source-aion.f18bb15530":"И двете са констатации и и двете имат собственик. Нито една не е достъпна от преминаване или провал. Контрапримерът ви казва коя от двете държите.","open-source-aion.d83e9c1af9":"Контрапримерът също така прекратява спорове, които иначе продължават седмици, защото не е нечие мнение дали правилото е твърде строго. Това е случай, изобразен в реалните стойности, върху които правилото работи. Или случаят е възможен някъде във вашия бизнес, в който случай правилото е правилно, а системата е грешна, или случаят не може да се случи, в който случай спецификацията пропуска ограничение, което всички са приели за даденост и никой не е записал.","open-source-aion.7455444aea":"Когато правило не се изпълни, AION връща конкретната ситуация, която го нарушава, написана като проза: кои стойности, от какъв вид и кои условия нарушават. Инженер може да я възпроизведе, а мениджър може да я оцени, и за първи път двамата спорят за един и същ случай.","open-source-aion.7d4873637b":"като случая, който го е нарушил","open-source-aion.aeb268fac7":"Нарушено правило се връща","open-source-aion.b5951203ea":"Какво ви дава един провал","open-source-aion.8a9a27b8f7":"Което оставя изреченията, които могат да означават две неща, и за тях се пита","open-source-aion.e1814a04c0":"ПРОВЕРИМО","open-source-aion.20e7dea6cd":"ПРОСТО ЧЕТЕНЕ","open-source-aion.295ea7bb80":"АНГЛИЙСКИЯТ ЗАПАЗЕН","open-source-aion.a4abbaea33":"Преводът е библиотека от модели, а не модел, така че едно и също изречение винаги води до едно и също четене, и прегледът не трябва да се повтаря, защото инструментът е променил решението си между едно тримесечие и следващото. Втори рецензент, който чете същото изречение, стига до същото условие, което прави прегледа преносим.","open-source-aion.f3689055f1":"Всяко условие идва с едно изречение на прост английски, което казва какво кодира, и с количествата, върху които работи, всяко назовано с вида стойност, която съдържа, и собствен ред за описание. Така прегледът може да бъде направен от човека, който притежава изискването, а не само от този, който притежава нотацията.","open-source-aion.cac3da045e":"Как се държи","open-source-aion.c6b765e4cc":"Изискванията се пишат от хора, които разбират бизнеса, и се превръщат в условия от хора, които разбират нотацията, а двете версии после се разминават с години. AION ги държи заедно: вие пишете изискването като изречение на английски, а условието, създадено от него, носи вашето изречение със себе си. Проверяващият чете и двете заедно, така че разминаването се вижда на страницата, а не в инцидент.","open-source-aion.589a38f560":"на човека, който попита","open-source-aion.5d212c3d75":"Правилото остава четимо","open-source-aion.5373332e20":"Кой може да види какво е проверено","open-source-aion.5f882ec681":"Една референция е полезна само ако правилото, към което сочи, може да се чете от вашите хора","open-source-aion.bca8d6442c":"ДЕЙСТВИЕ","open-source-aion.705bc98c49":"НАЗОВАВА ПРАВИЛОТО","open-source-aion.ab9f5d57e4":"НАЗОВАВА СТЪПКАТА","open-source-aion.b4ba975800":"Разделянето на тези две неща е това, което изобщо позволява отказът да бъде изпратен на доставчик, защото обвинението е единственото нещо, което не можете тихо да оттеглите от взаимоотношенията с доставчик.","open-source-aion.7a47f854de":"Тази форма е това, върху което одитор или мениджър на доставчици може да действа, защото превръща разногласието в референция. AION също разделя две неизправности, които идват под една дума. Или стъпката не се реконструира, което е дефект в доказателството и констатация срещу този, който го е създал, или стъпката използва правило, което този проверяващ не носи, което е въпрос на обхват за вас, а не констатация срещу някого.","open-source-aion.d9469b7dda":"Неизправност, която гласи „проверката не е успешна“, не може да бъде възложена, оспорена или поправена, и тя пристига като спор, а не като констатация. AION връща местоположение и причина: коя стъпка, в кой файл, кое правило е твърдяло, че прилага, и какво липсва, когато стъпката е била изчислена отново. Отказът може да се върне на екипа, който го е създал, с възпроизводим адрес. Ако доказателството не може да бъде реконструирано, отговорността е на създателя; ако на проверяващия липсва посоченото правило, това е решение за обхвата. Това са различни опашки и различни коригиращи действия.","open-source-aion.ccc6a09991":"със стъпката и причината","open-source-aion.3619f211ef":"Неуспешна проверка се връща","open-source-aion.29801085dc":"Резултатът, който трябва да е използваем","open-source-aion.57c6ba11fc":"Седем производителя поддържат собствен резултат. AION стандартизира обвивката и маршрутизирането за своите доказателства.","open-source-aion.f37804f36b":"ЕДНА ОБВИВКА","open-source-aion.8a3b4bf313":"СЕДЕМ ПРОИЗВОДИТЕЛЯ","open-source-aion.479f1de8ea":"Споделената обвивка дава на организацията един регистър, един модел на съвместимост и едно засегнато множество, когато правило се промени. Всяко семейство сертификати запазва собствен проверяващ и правила за отказ. Ново семейство се присъединява, като регистрира тези правила и своя проверяващ; AION не става производител. Регистърът е частта, която расте.","open-source-aion.5b958e86c7":"Решаваща програма може да издава логически, оптимизационни или темпорални сертификати. Twin и FMI произвеждат различни резултати, но споделят семейството за симулация и FMI. Производителят казва какво е създадено; семейството сертификати казва как се проверява твърдението му. Двете се записват отделно, така че нито едно не може да се изведе от другото.","open-source-aion.57e1cc2701":"Какво променя една обвивка","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin и FMI са седем производителя на различни резултати, а не седем семейства сертификати. AION дава на техните доказателства една обвивка и маршрутизира всеки сертификат към проверяващия, специфичен за семейството. Обвивката носи производителя, семейството, схемата и декларираните входни данни, докато проверяващият за семейството запазва техническото значение. Доставчик може да промени своята реализация, без да променя границата на доказателствата на организацията; само промяна на семейството или схемата разширява прегледа за съвместимост.","open-source-aion.65a41e884e":"една обвивка за доказателствата","open-source-aion.837663a52a":"Седем производителя и","open-source-aion.647e0f46ec":"Седем производителя","open-source-aion.af6010147d":"Един доставчик е една връзка. Интересният въпрос е докъде стига това","open-source-aion.35ecafecfb":"ВАШАТА МАШИНА","open-source-aion.0676f9f8de":"ТРИ НЕЩА","open-source-aion.dfc87eabb4":"Това премества разговора от терена, където доставчиците се чувстват удобно. Вече не ги молите да ви убедят и не плащате, за да възпроизведете тяхната среда. След като държите трите неща, проверката е ваша, за да я повтаряте когато пожелаете, на какъвто хардуер пожелаете, включително седмицата след края на договора.","open-source-aion.7677ed77e3":"Струва си да сме точни за артефакта, защото той не винаги е файл. В зависимост от семейството може да е файл, архив, поток, подписан пакет, двойка следи, свидетел, разписка за изпълнение или структурирана деривация. Каквото и да е, независимо от формата, то е нещо, което проверяващ може да прочете без присъствието на производителя.","open-source-aion.a29def781f":"Какво всъщност е сертификат","open-source-aion.fdca1fef67":"Сертификатът не е лог и не е обобщение. Той е доказателството, което работата е оставила, и това, което доставчикът предава, са три неща: твърдението, декларираните входни данни и договорът, срещу който е създаден, и сертификатът, който системата е произвела. Не техния лиценз, не тяхната версия, не тяхната машина. Тези три вървят заедно и проверката им не изисква нищо повече от доставчика.","open-source-aion.b054d236cd":"а не техния софтуер","open-source-aion.53e1575f60":"Вие проверявате сертификата","open-source-aion.5e40f4ba8a":"Промяната на позицията","open-source-aion.b9e2767b28":"Има път, който не е нито да им вярвате, нито да стартирате отново техния софтуер","open-source-aion.7d87348ad6":"ВАШЕТО ИМЕ ВЪРХУ НЕГО","open-source-aion.48a5aca907":"ТЯХНАТА СИСТЕМА","open-source-aion.32c3cafa08":"Това е позицията, която одиторът гледа, когато пита как сте се уверили, включително според правилата за доказателства като тези в Закона за ИИ на ЕС. AION я променя, като дава на всеки от тези резултати сертификат, който можете да проверите, без да възпроизвеждате доставчика и без достъп до нищо, което те смятат за свое. Проверката се изпълнява на вашата собствена машина, само срещу сертификата.","open-source-aion.ac90e72b2c":"Обичайните пътища навън и двата водят до едно и също място. Можете да поискате техните доказателства, които са документ, който са написали за собствения си софтуер. Или можете да поискате сами да възпроизведете тяхната система, което изисква техния лиценз, тяхната версия и тяхната среда, и пак ви оставя да разчитате на нещото, което е произвело отговора.","open-source-aion.fc63c534d2":"Решаваща програма казва, че графикът е осъществим. ИИ система достига до регулирано заключение. Агентна система извършва операция от ваше име. Компилатор произвежда критичен за безопасността артефакт. Среда за изпълнение изпълнява контролирано натоварване. Симулация валидира проектно решение. Цифров близнак съобщава, че работно състояние е безопасно. Във всеки от тези случаи работата се е случила някъде другаде, а последствията падат върху вас.","open-source-aion.c9672e2ac8":"вашето име стои върху отговора","open-source-aion.925d7b4a2d":"Тяхната система го е произвела","open-source-aion.47b025f850":"Къде е отговорността","open-source-aion.905aee629b":"Работата, причина, която можете да прочетете, и същото правило за всеки, когото засяга","open-source-aion.4d0ee37058":"ДАТА","open-source-aion.6ccb4a6f6a":"СЪЩАТА ПРИЧИНА","open-source-aion.84adcc762b":"СЪЩАТА ПРОВЕРКА","open-source-aion.56c6f422d8":"Това е писмо, което някой може да напише. Вместо да кажете, че системата е решила, можете да цитирате правилото, да посочите датата, да посочите версията и да попитате човека, който го е написал, дали това е имал предвид.","open-source-aion.073cdea47b":"Това има стойност само ако можете да го видите, така че това, което ви остава, са три неща, които можете да използвате. Правилото, на обикновен език, който можете да прочетете на глас. Причината, поради която се е приложило към вас, цитирайки това правило обратно с вашата ситуация в него. И датата, на която е проверена работата. Този запис посочва какво го е проверило и срещу коя версия на правилата е проверено.","open-source-aion.a50f912efb":"Какво можете да правите с него","open-source-aion.1d94c73b03":"Подайте същата работа на AION два пъти и проверката излиза по същия начин, в понеделник и в петък, за вас и за човека зад вас на опашката. Не е така, че всички получават същия отговор, защото хората носят различни ситуации. Въпросът е, че самата проверка не се отклонява и никой не тълкува вашия случай на място. Година по-късно същата работа се проверява от същите писмени правила, така че отговор, който сте получили, все още може да бъде обяснен.","open-source-aion.fba7a52bf4":"в понеделник и в петък","open-source-aion.77a3327a99":"Проверено по същия начин","open-source-aion.cebde51ae2":"Какво ви остава","open-source-aion.a566f0cb1b":"Времето е един вид правило. Повечето от тях са обикновени, прилагани към всички","open-source-aion.29231cd04d":"НАВРЕМЕ","open-source-aion.d89f7642e7":"НАБЛЮДАВАНО","open-source-aion.5d491ce50f":"ОСТАВАЩИ ДНИ","open-source-aion.c50722f442":"Същото четене работи и след датата, както и преди нея. Четиринадесет дни назад е факт, за който някой може да бъде попитан, с приложена дата, вместо червен знак, който е дошъл без предупреждение.","open-source-aion.0b1cbd5f8a":"Пропуск не ви казва нищо, докато не спре да бъде пропуск, а тогава евтините варианти са изчезнали. Числото ви казва къде сте: двадесет и два дни оставащи е бележка в дневник, четири дни оставащи е тази седмица, един ден оставащ е тази сутрин.","open-source-aion.af41b675b0":"Какво ви дава това","open-source-aion.2ff91b62ec":"Правилата с часовник в тях са тези, които хващат хората неподготвени. Отговор, дължим в рамките на тридесет дни, прозорец за възстановяване, период, след който нещо трябва да бъде изтрито. AION ги наблюдава, докато текат, и съобщава колко място остава днес, като брой дни.","open-source-aion.94dc6c2b80":"дълго преди последния","open-source-aion.6bdbc0422a":"Можете да видите оставащите дни","open-source-aion.37f768721f":"Срокове, които ви засягат","open-source-aion.e3c2d4b24a":"Работата на място също означава, че може да следи часовника вместо вас","open-source-aion.4ace2cc9bc":"БЕЗ АКАУНТ","open-source-aion.c5c3055a7b":"НИЩО НЕ Е ИЗПРАТЕНО","open-source-aion.a5b9137c2b":"ОСТАВА ТУК","open-source-aion.874bab5372":"Ако изобщо има връзка, тя е такава, която някой умишлено е настроил между собствените си машини, и е изключена, докато не я включи. Вашето изречение се чете от писмени правила, в същата стая като вас, и отговорът идва с прекъсната линия. Нищо не е напуснало машината, за да го произведе, и нищо не е изпратено.","open-source-aion.4a03f17947":"Без акаунт, без регистрация и без външна услуга, която трябва да работи, да е надеждна или да съществува догодина, за да получите отговор.","open-source-aion.f10eb79b5b":"Какво означава това за вас","open-source-aion.c17d4e01b4":"Много инструменти отговарят на въпрос за вас, като изпращат вашите данни навън и чакат отговор. Вашата информация е пътувала до компания, която не сте избрали, вероятно до държава, чието име никога няма да чуете. AION върши работата там, където вече е. Нищо не се изпраща, защото няма с какво да го изпрати.","open-source-aion.9e50609149":"на машината, на която сте","open-source-aion.ca67037369":"Отговорът се изчислява","open-source-aion.7df600af96":"Къде отиват вашите данни","open-source-aion.399483042a":"Да бъдеш попитан е едната половина. Другата половина е какво ви казват, когато отговорът е не","open-source-aion.0b5b7048ea":"ВИЕ ИЗБИРАТЕ","open-source-aion.f12c755afa":"ТО ВИ ПИТА","open-source-aion.300453f44e":"ДВЕ ЗНАЧЕНИЯ","open-source-aion.6debd2c487":"Което звучи като малка учтивост. Това е разликата между правило, на което сте се съгласили, и правило, което някой е предположил от ваше име, набързо, в ден, в който не сте били там. Предположението е обичайният начин, по който се прави това, и никой никога не е информиран, че се е случило. Питането струва момент и премахва предположението от записа.","open-source-aion.6f02dd9d43":"AION спира и пита. Цитира думите, за които не е сигурен, обратно към вас, излага двете четения на прост език, поставя въпрос с вашата собствена фраза вътре и чака. Вие избирате. Нищо не се решава, докато въпросът е отворен.","open-source-aion.0ccfcd0de4":"Какво се променя","open-source-aion.b3124516ab":"„Анулирайте, ако закъснението е повече от един час.“ Дали закъснение от седемдесет и пет минути е повече от един час, или часовете се броят цели, така че седемдесет и пет минути е един час и един час не е повече от един? И двете четения са обикновен английски. Те не са съгласни точно за един случай и този случай ще се появи.","open-source-aion.4449c95cf9":"означава две неща, пита","open-source-aion.75ca04ac1b":"Ако вашето изречение може","open-source-aion.2297deb89a":"Когато вашето изречение е неясно","open-source-aion.32cf0852b8":"Едно изречение може да означава и две неща едновременно и това си струва да спреш за миг","open-source-aion.b5d2541ad8":"БЕЗ ЖАРГОН","open-source-aion.3b7c198e57":"ТО СЕ ЗАВРЪЩА","open-source-aion.c4cc4b9845":"С ВАШИТЕ ДУМИ","open-source-aion.5c9a5c3396":"И когато същото изречение бъде прочетено отново, то произвежда точно същото правило, защото нищо в AION не се учи, не се отклонява и не му хрумва нещо по-добро междувременно. Правило, с което веднъж си се съгласил, си остава правилото, с което си се съгласил, а човекът, който го получава, чете твоето изречение, а не нечие резюме за него. Нищо по пътя не го превръща в чужди думи.","open-source-aion.ba41f25c15":"От запазването на изречението следват две неща. Можеш да разбереш дали е било разбрано в деня, в който си го написал, като го прочетеш, вместо да разбереш година по-късно от някакъв инцидент.","open-source-aion.c19473d784":"Напиши правилото с обикновени думи и AION запазва тези думи. Което звучи като малка учтивост, докато не дойде денят, в който има значение: месеци по-късно, когато нещо бъде спряно заради това правило, изречението, което си написал, се завръща в началото на обяснението, с думите, които си избрал.","open-source-aion.4c0e51d183":"би го казал на глас","open-source-aion.dcf65c0f8a":"Напиши правилото така, както","open-source-aion.e1a651b90e":"Да кажеш какво искаш","open-source-aion.beda6f7681":"За да пресметнеш отново една сметка, тя трябва да е записана. Същото важи и за правилото, а твоето може да бъде изречение","open-source-aion.ef6371cd2e":"ТО СПИРА","open-source-aion.47ce22a1f7":"СТЪПКА ПО СТЪПКА","open-source-aion.9195df51f1":"ВТОРО ЧЕТЕНЕ","open-source-aion.b66352de76":"Спирането е важната половина. Всеки може да се съгласи с теб. Нещо, което ще спре и ще посочи реда, си струва да го имаш, а такова има много малко.","open-source-aion.e04fafc8fc":"AION пресмята колоната отново. Не за сметки, а за по-трудния вид работа, която машините вършат, когато решават, че нещо е позволено, безопасно или невъзможно, когато строят нещо, когато изпълняват нещо от твое име или когато изчисляват какво би се случило, преди някой да го опита. То чете изчисленията, които първата машина е записала, изпълнява всяка стъпка отново само за себе си и спира на първата, която не може да получи.","open-source-aion.b55b759c73":"Когато една сметка изглежда грешна, не спориш дали общата сума е вярна. Сам пресмяташ колоната отново. Ако получиш същото число, сумата остава. Ако спреш на четвъртия ред, защото не излиза, можеш да кажеш точно кой ред е, и спорът приключва с едно изречение.","open-source-aion.59141b0dfa":"вместо да вярва на думата ти","open-source-aion.fa22d5033b":"Някой пресмята сметката отново","open-source-aion.333a6c87f2":"промяната поражда засегнато множество и опашка, а не тихо претълкуване на миналото","open-source-aion.0eecb96558":"са пет факта","open-source-aion.59e22ed738":"произведен, подписан, проверен, приет и все още съвместим","open-source-aion.d78c662e5b":"проверено, не предположено","open-source-aion.5b44284acd":"все още съвместим с","open-source-aion.cc4bc74f90":"с версия на договора","open-source-aion.3bb51eeea5":"приет под","open-source-aion.72954f75cf":"с версия на проверяващия","open-source-aion.3741770a87":"проверен от","open-source-aion.7fc7c8aef9":"върху хеш на реда на извеждане","open-source-aion.d2a7817a72":"подписан от","open-source-aion.9d7c5e8097":"с версия","open-source-aion.8fffa5fcb8":"произведен от","open-source-aion.756e62f03a":"Един резултат, пет факта","open-source-aion.2b8be4ecd3":"Приписването работи със собствен механизъм: подпис Ed25519 върху хеш BLAKE3 на реда на извеждане, с монотонен nonce и времеви печат, проверим срещу публичния ключ на производителя. Приемането работи с друг, носещ идентичността и версията на проверяващия и версията на договора, която е предоставил. Когато нещо отдолу се промени, правило за проверка, схема на сертификат, политика, правило за компилатор, договор за изпълнение или версия на модел, сертификатите, които са обявили зависимост от него, образуват засегнато множество и се поставят на опашка за повторна проверка, като промененият компонент е посочен.","open-source-aion.6b8169d142":"Присъдата сама по себе си е дума без автор. Пет факта, които обикновено се сливат в един, тук са разделени: кой е произвел резултата, кой го е подписал, какво го е проверило, под кой договор е приет и дали все още е съвместим с правилата такива, каквито са днес. Това са пет различни въпроса и четири от тях оцеляват при смяна на доставчика.","open-source-aion.2cd4b335f4":"Проверяващ го проверява.","open-source-aion.d15fbc9566":"Нищо не е проверено.","open-source-aion.481d0fc02c":"Целият аргумент","open-source-aion.ca75c84634":"Всеки сертификат тук завършва като един запис, а записът държи фактите си разделени","open-source-aion.3ecc9abb23":"РАЗШИРЯЕМ","open-source-aion.8112bd91bc":"ИЗОЛИРАН ОТ МРЕЖАТА","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Когато една единствена проверка е наистина твърде голяма за една машина, работата се разделя на кубове между машини със споделяне на клаузи между тях, а съставен резултат се приема само след проверка на покритието: два куба не могат да поправят едно и също множество от литерали, а това, което отчитат, трябва да се събере до цялото пространство, а не до почти цялото. Съединение, което не достига с едно, е отказ, което е същата дисциплина като навсякъде другаде в продукта. Освен това регистър на проверяващите и API за разширения са начинът, по който семейство сертификати, което никой тук не е написал, се проверява тук.","open-source-aion.04cd68c7fb":"Само две неща могат да преминат границата и и двете са конфигурирани от теб. Клъстерът работи върху адреси, които ти задаваш. Външен производител е програма, която инсталираш и стартираш като локален процес. Няма хостван модел никъде във веригата и няма наша услуга, която да е недостъпна по време на твоя инцидент или да се промени под теб по чужд график за пускане. Изолирана от мрежата среда проверява точно както свързана, защото проверката никога не е имала нужда от производителя на първо място.","open-source-aion.ac1913e46c":"Два пътя навън, и двата са твои","open-source-aion.c2193fefe2":"Проверката е изчисление като всяко друго и къде се изпълнява е твое решение. AION излиза на 1 септември 2026 г.: след като хранилището стане публично, свържи библиотеката, изпълни командата или вдигни услугата в собствената си граница. Стандартната компилация не носи изходящ клиент, така че проверката на сертификат не изисква акаунт, доставчик или път извън машината, на която е започнала.","open-source-aion.72d09c5994":"услуга или анклав","open-source-aion.f8ac38e647":"Библиотека, команда","open-source-aion.604918db00":"Къде се извършва проверката","open-source-aion.c07ebfbab5":"Архивът стои неподвижно. Последният въпрос е къде всъщност се изпълнява всичко това","open-source-aion.d34941b7ce":"ИНДЕКСИРАНО","open-source-aion.79ae623ce9":"АДРЕСИРАНО ПО СЪДЪРЖАНИЕ","open-source-aion.0f7d1ea9ca":"Частта, която трябва да бъде изградена, а не предположена, е индексът. Когато правило за проверка, схема за сертификат, политика, правило за компилатор, договор за изпълнение или версия на модел се промени, сертификатите, чиято валидност е зависела от променения компонент, се намират чрез търсене, а не чрез сканиране на всичко и надяване. Зависимостите са декларирани в обвивката, така че засегнатото множество е заявка, а опашката за повторна проверка е нейният резултат, като промененият компонент е посочен срещу всеки запис. Алтернативата, която повечето организации всъщност имат, е избор между повторно проверяване на всичко и повторно проверяване на нищо.","open-source-aion.144711734a":"Съхранението е полезно само ако читател, който се е преместил, може да го отвори, така че всеки запис носи подписа на производителя, идентичността и версията на проверяващия, който го е приел, версията на договора, под която е приет, и зависимостите, на които се опира. Тест за съвместимост се изпълнява при връщане.","open-source-aion.22f96be502":"Засегнатото множество е реален индекс","open-source-aion.a1b04ec691":"Сертификатите, които си струва да се пазят, са тези, за които ще те питат години по-късно. AION съхранява приет сертификат компактно и по адрес на съдържанието: идентификаторите се държат като разлики, повтарящите се модели се кодират с дължина на серията, идентичните поддоказателства се хешират и съхраняват веднъж, а цялото нещо се адресира по съдържанието си, а не по мястото, където някой го е подал. Адресът на съдържанието е това, което позволява на читател, който се е преместил, да намери същия сертификат отново и да го провери втори път, години след изпълнението, което го е създало.","open-source-aion.c017c017d7":"и остава проверим отново","open-source-aion.2e10b84b57":"Сертификатът остава малък","open-source-aion.9263a81467":"Съхраняване на това, което е проверено","open-source-aion.1f029bacad":"Шест семейства, и всяко от тях завършва в същия запис","open-source-aion.1deb4d4a29":"ТРАЕКТОРИЯ","open-source-aion.f8d5b44c34":"ИНВАРИАНТИ","open-source-aion.52dd7acef9":"СЪОТВЕТСТВИЕ","open-source-aion.24d7374cb9":"Разделянето им е това, което прави първите две стойностни. Уверение, което тихо подразбира третото, е това, което се проваля пред регулатор, а сертификат, който назовава собствената си граница, е този, който оцелява на срещата.","open-source-aion.0e4ffe42fa":"Три различни въпроса се задават за симулация, и честността за това кои две са отговорими тук е целият професионален смисъл на раздела. Съответствие на изпълнението пита дали декларираният модел, параметри и конфигурация наистина са произвели тази траектория, и това е проверимо. Проверка на математически свойства пита дали заявените инварианти се запазват по време на изпълнението, и това също е проверимо, като при неуспех се връща следата, а не присъда. Физическа валидност пита дали моделът представя реалния свят, и никой сертификат не установява това. Тя принадлежи на собственика на модела, и му принадлежи завинаги.","open-source-aion.bb70d13ca4":"Линията, за която този раздел е внимателен","open-source-aion.ac558913f9":"Резултат от симулация се използва за вземане на решения дълго след като изпълнението е изчезнало. Сертификатът носи идентичността на модела и FMU, набора от параметри, началното състояние, конфигурацията на решавателя, последователността от времеви стъпки или събития, преходите на състоянието, извършените проверки на инварианти, статуса на сходимост или прекратяване, хеша на получената траектория и следа от контрапример, където свойство се проваля.","open-source-aion.1c9f5f0f21":"отговаря точно на две от тях","open-source-aion.242c47d00a":"Три въпроса, и това","open-source-aion.a635f9edf3":"Twin и FMI, сертифицирани","open-source-aion.43f8bc442f":"Изпълнението е едно изпълнение на едно нещо. Симулацията прави милиони от тях наведнъж","open-source-aion.d3a968f797":"ИДЕНТИЧНОСТ НА ИЗХОДА","open-source-aion.d79014995c":"УДОСТОВЕРЕНО","open-source-aion.2fbbf64505":"ВЪЗМОЖНОСТИ","open-source-aion.51fd9d7843":"Детерминизмът е това, което прави останалото проверимо. Тъй като преходите са детерминистични при даден модул, входове и разрешения, проверяващ може да ги проследи без да изпълнява отново работното натоварване в оригиналната му среда, и две изпълнения, които твърдят една и съща идентичност на изхода от едни и същи входове, или са съгласни, или посочват прехода, където са спрели да бъдат съгласни. Това е удостоверяване на изпълнението на практика: какво е работило, под каква власт, проверимо без да се изпълнява отново.","open-source-aion.0d0fd79859":"Повечето въпроси, зададени за работно натоварване след факта, са всъщност въпроси за неговата власт. Какво може да достигне това нещо, докато работи, и дали е достигнало нещо друго. Сертификат, който носи разрешенията за възможности заедно с преходите, отговаря на това без никой да чете лог, и отговаря на някой, който не управлява средата за изпълнение.","open-source-aion.890c61e134":"Защо наборът от възможности е интересното поле","open-source-aion.1331fa2052":"Статус на изход казва, че работно натоварване е завършило. Сертификатът за изпълнение казва какво е завършило: идентичността на работното натоварване и модула, версията на средата за изпълнение, разрешенията за възможности, които е държало, входовете, които е получило, детерминистичните преходи на състоянието, през които е преминало, ограниченията на ресурсите, в които е работило, идентичността на изхода, който е произвело, и дали е завършило или е попаднало в капан. Всяко от тях е поле, от което може да се отговори на по-късен въпрос, без да се връщаме към машината, която го е изпълнила.","open-source-aion.65576ef482":"под какви възможности","open-source-aion.74a9894f4f":"Какво е работило, на какво, и","open-source-aion.eabc461dcf":"Selvedge, сертифициран","open-source-aion.b4792818f1":"Компилиран артефакт все още трябва да се изпълни някъде, и това изпълнение също е твърдение","open-source-aion.414cbcc9ec":"ПРОИЗХОД","open-source-aion.24466ece94":"ИЗТОЧНИК КЪМ АРТЕФАКТ","open-source-aion.c81d361198":"Тази точност е това, което прави артефакта полезен надолу по веригата. В регулирана среда въпросът рядко е дали компилаторът е добър. Въпросът е дали този двоичен файл съответства на този изходен граф при тази конфигурация на оптимизация, което е въпрос с отговор, и отговорът пътува с артефакта, а не живее в системата за изграждане, която го е произвела. Това означава провенианс на изграждането на практика: твърдение за този артефакт, проверимо без системата за изграждане, която го е създала.","open-source-aion.6c1fd4df2b":"Декларацията е дисциплината. Сертификатът не твърди, че всяка оптимизация е била правилна като едно недиференцирано твърдение, защото това твърдение не е нито проверимо, нито вярно за който и да е реален компилатор. Той посочва точно кои свойства за запазване или еквивалентност установява през кои трансформации, и проверяващият проверява точно тях и не докладва за нищо друго.","open-source-aion.fd5ed4a1d8":"Именувани твърдения, а не едно общо","open-source-aion.82a76c947a":"Компилаторът ви дава артефакт и изходен статус. Сертификатът за компилация носи това, за което се твърди, че е артефактът: идентичността на източника или графа, от който произлиза, версията на компилатора и оптимизацията, приложената последователност от трансформации, запазването на типа и формата през тези трансформации, избраните ядра, идентичността на произведения артефакт и проверките за еквивалентност или инвариантност, които сертификатът декларира.","open-source-aion.06efebf0f5":"за източника, от който е дошъл","open-source-aion.3f208ecc5e":"Двоичният файл също е твърдение","open-source-aion.716710e273":"Kera, сертифициран","open-source-aion.89572e64cc":"Организация може да бъде сертифицирана. Също и компилаторът, който е изградил това, на което тя работи","open-source-aion.502114d554":"РАЗПИСКИ","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"АВТОРИТЕТ","open-source-aion.965738574a":"Стойността се проявява, когато операцията е оспорена. Проследяването на работния процес е разказът на организацията за самата себе си. Сертификат, приет от независим проверяващ, под именувана версия на договора, е различен клас доказателство, и разликата е точно тази, заради която съществува AION.","open-source-aion.f4652935ed":"Това е сертификат за управлявана операция, а не за това какво е мислил агент. Той урежда въпросите, които някой наистина ще бъде попитан: дали авторитетът е съществувал в момента, в който действието е задействано, дали портата, която е трябвало да удържи, е удържала, дали одобрението е било прикрепено към действието, а не към съобщение около него, и дали преходите на състоянието, които записът твърди, са тези, които договорът позволява. Всички те са машинно проверими и нито едно от тях не изисква достъп до модел.","open-source-aion.be15814346":"Какво установява и какво не","open-source-aion.38d3c11f27":"Завършеният работен процес е твърдение като всяко друго. Организационният сертификат установява управляваната операция, която действително се е случила: целта и версията на политиката, под която е работила, формираната организация, разрешените роли и авторитет, изпълнените задачи и техните преходи, преминатите порти на политиката, прикрепените одобрения, извършените действия и записаните разписки.","open-source-aion.65a8805f19":"да е следвал своя договор","open-source-aion.f827cfbcbf":"Операция може да бъде доказана","open-source-aion.07fba05892":"Nexus, сертифициран","open-source-aion.c6fd961235":"Разсъждението е един производител. Организация от агенти е по-трудно нещо за сертифициране","open-source-aion.2764d46fd5":"БЕЗ ИЗВИКВАНЕ НА МОДЕЛ","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Англоезичният фронтенд за изисквания също принадлежи тук, защото сертификатът за разсъждение е толкова преглеждаем, колкото е ограничението в началото му. Детерминирана библиотека от шаблони връща формални условия, класирани по колко тригерни фрази съвпадат, всяко носещо своето ясно четене и количествата, върху които работи, и където изречение наистина носи повече от едно четене, тя повдига неяснотата с именувания въпрос, вместо да я урежда мълчаливо.","open-source-aion.c4d7d27503":"Отдолу стоят производители от двата вида и те се приемат през същата граница. AION решава булева структура, аритметика с разлики, битвекторни думи и равенство с неинтерпретирани функции самостоятелно, чрез пълно търсене, управлявано от конфликти, с два наблюдавани литерала, евристика за активност, подредена в купчина, геометрични рестарти и изтриване на клаузи, базирано на активност. При неудовлетворим отговор връща ядро, което посочва кои от вашите собствени ограничения са се сблъсквали, вместо да описва търсенето, което ги е открило. Външен решавател работи като собствен процес и връща доказателство, и нищо освен този файл не преминава между двете. Всяко средство, което издава доказателство във формат, за който AION има проверяващ, отговаря на условията, включително cvc5, и границата е форматът, а не доставчикът.","open-source-aion.5264c1875d":"Производители, родни и външни","open-source-aion.09b6611fc2":"Loom разсъждава. Това, което AION проверява, е артефактът, който разсъждението оставя след себе си: ограниченията, които са били активни, правилата, които са били приложени, подпроблемите, които са отишли при решавател, сертификатите, които тези решаватели са върнали, откритите противоречия, границите, които са затворили решение, и твърдението, което най-накрая е било изказано. Явни изчислителни артефакти и декларирани изводи, проверени като такива.","open-source-aion.2224f4889f":"изводът, на който се основава","open-source-aion.1aceefa727":"Заключение пристига с","open-source-aion.40e8df9cbd":"Loom и решавателите под него","open-source-aion.cbac360b09":"Булевите и аритметичните стъпки са едно семейство. Разсъждението е мястото, където стекът започва","open-source-aion.9786d05f5a":"ФЪЗВАН","open-source-aion.a9bb80378b":"ПРЕИЗВЕДЕН","open-source-aion.0204e8b30c":"ПРАВИЛО ПО ПРАВИЛО","open-source-aion.a43c278b96":"На ниво клауза всяко добавяне се извежда отново от първи принципи: приемете новата клауза за невярна, разпространявайте клаузите, които нейните подсказки цитират, и изисквайте конфликта, който тези подсказки обещават. Когато самото разпространение не го наложи, добавянето преминава към по-трудното условие върху посочения pivot литерал срещу всяка клауза, с която този pivot би могъл да резолвира, така че стъпка не може да бъде приета само като се посочи pivot, който клаузата не съдържа. Формулата и доказателството се четат ред по ред, така че доказателство, по-голямо от паметта на машината, все пак се проверява от край до край. Собственият пакет на AION е враждебен към AION: подсказка, цитираща стъпката, която трябва да оправдае, две стъпки, които се опират една на друга, pivot, който е заявен, но липсва, две клаузи под един идентификатор, крайният маркер, използван като идентификатор, изтриване на клауза, която никога не е добавена, и същата клауза, изтрита два пъти. Всеки четец, който докосва файл, написан от някой друг, се тества срещу зареден корпус.","open-source-aion.13a29c20f0":"Три условия изпреварват проверката на правилата при всяка стъпка, във фиксиран ред: дали стъпката цитира себе си, дали всяко число, което цитира, присъства, и дали някое от тях е номерирано над стъпката, която го цитира. Преди всичките четири, файлът се сканира веднъж за повтарящ се номер на стъпка. Само доказателство, чиято всяка стъпка премине всичко това, достига до последното условие, което е дали файлът завършва с противоречие. Извод, който свърши с все още стоящи литерали, е преминал всичко останало и пак се отказва.","open-source-aion.f626b7a7da":"Под повърхността","open-source-aion.1a95f2e67d":"Клаузалните доказателства в семейството LRAT, което е SAT, и доказателствата по правила във формата Alethe, който е SMT, са семейството с най-дълга история на хора, опитващи се да го победят, което го прави правилното за показване. AION изпраща всяка стъпка към рутината, която реализира нейното правило, и име на правило без нищо зад него прекратява четенето, вместо да премине тихо, като номерът на стъпката и правилото се отпечатват.","open-source-aion.8294eed416":"и непознато правило го спира","open-source-aion.9959b32cda":"Всяка стъпка отговаря на четири теста","open-source-aion.3821e115bc":"Семейството с противници","open-source-aion.c415bc49f1":"Най-старото семейство е това с най-много противници, така че е първото, което трябва да се разгледа","open-source-aion.06d55361b1":"ВЕРСИОНИРАНИ","open-source-aion.bca8de5f5a":"ДЕВЕТ СЕМЕЙСТВА","open-source-aion.187b58774c":"Семействата се версионират отделно по същата причина. Набор от правила може да се затегне в логическото семейство, без да смущава семейството за симулация, и засегнатият сертификатен набор за тази промяна е точно записите, които са декларирали версията, която се променя. Днешните девет са логика и изпълнимост, оптимизация, темпорални и хиперсвойства, разсъждение, организационни, компилация, изпълнение по време на работа, симулация и FMI, и цялост на съхранението.","open-source-aion.ca4a7a3c63":"Регистрирането на семейство е как система, която не е съществувала, когато AION е написан, става проверима от него. Обвивката вече е същата, слоят за съхранение и опашката за повторна проверка вече работят, и това, което ново семейство трябва да достави, е верификатор и деклариран набор от правила. Софтуер на трети страни, който реализира сертификатен договор, влиза през същата врата като всичко наше.","open-source-aion.6581749da9":"Защо е регистър, а не списък","open-source-aion.c453f0b87d":"Сертификатно семейство е именуван, версиониран договор, а не файлов формат. Всяко декларира своята идентичност и версия, типа на претенцията, която установява, входовете, които изисква, как доказателството или свидетелството е представено, алгоритъма за проверка, набора от правила, който верификаторът приема, метаданните за зависимости и съвместимост, своето четимо от човек представяне, ако има такова, и своя собствена таксономия за отказ.","open-source-aion.29a8090d97":"и наборът е разширяем","open-source-aion.7dd9783a82":"Девет семейства, един регистър","open-source-aion.f4c0c73854":"Регистърът","open-source-aion.2b6d7305db":"Независима проверка трябва да знае какъв вид сертификат държи","open-source-aion.b4dee9d399":"БЕЗ ПОВТАРЯНЕ","open-source-aion.1ae37e9b3a":"БЕЗ ЛИЦЕНЗ","open-source-aion.082414b331":"ОГРАНИЧЕНА ПРОВЕРКА","open-source-aion.85bcd01276":"В нито един от тези случаи верификаторът не се нуждае от търсенето, евристиките, скритото състояние, извикванията на модел или средата за изпълнение на производителя. Това прави независимата проверка достъпна, а не само желана.","open-source-aion.73dc1e45ec":"Асиметрията има същата форма във всяка област и си струва да се види четири пъти. Търсене, управлявано от конфликт, може да работи с часове в пространство, което никой не може да изброи; доказателството за клаузи, което издава, се следва ред по ред. Компилатор може да извърши стотици оптимизационни проходи с евристики, които никой извън екипа не разбира; сертификатът записва претенциите за запазване, които трябва да издържат през тях. Симулация може да работи милиони стъпки; сертификатът предоставя контролните точки, преходите, инвариантите и следата, които правят резултата проверим. Операция на Nexus може да координира много агенти; сертификатът установява авторитет, преходи на състояние, одобрения и разписки за действия.","open-source-aion.3bcb80f6d9":"Какво всеки производител запазва за себе си","open-source-aion.ceb0061493":"Системата, която е произвела резултата, не получава последната дума за това дали нейният сертификат издържа. AION проверява ограничен артефакт, вместо да повтаря скъпото изчисление, поради което проверката може да работи на лаптоп срещу работа, която е отнела на клъстер уикенд, и защо не се нуждае нито от лиценза на производителя, нито от неговата машина. Сертификатът предоставя контролните точки, по които проверяващият върви, така че цената на проверката следва размера на артефакта, а не размера на търсенето зад него.","open-source-aion.69524cecfe":"и това е целият трик","open-source-aion.ee21bac231":"Проверката не е преправяне","open-source-aion.396e9b624d":"Архитектурното разделение","open-source-aion.504a1b0a8d":"Един плик казва какво е пристигнало. Следващият въпрос е кой има право да го отвори","open-source-aion.a9ea7a518b":"ЕДИН ПЛИК","open-source-aion.d7e877b15b":"ОСЕМ ПОЛЕТА","open-source-aion.34c043fc06":"Полето за зависимости е това, което хората подценяват. Сертификат, който разчита на друг сертификат, го посочва по име, така че отказ или промяна в схемата се разпространява през множеството, което е разчитало на него, вместо да спре до първия запис, който някой случайно погледне. Точно това превръща купчината от приети резултати в нещо, на което можете да зададете въпрос.","open-source-aion.7dc6226fd7":"Поставете информацията за маршрутизиране вътре в полезния товар и всяко ново семейство сертификати се превръща в нова интеграция за всички надолу по веригата. Оставете я отвън и слоят за съхранение, проследяването на съвместимостта, опашката за повторна проверка и одитният запис се пишат веднъж и работят за семейства, които не са съществували, когато са били създадени.","open-source-aion.48eb1ab2b4":"Защо разделението си заслужава","open-source-aion.419ad6edc1":"Компилационен сертификат и доказателство за клауза нямат нищо общо отвътре, но пристигат в един и същи плик. Осем полета: твърдението, входните данни, срещу които е направено, производителят, версията на договора, типът на сертификата, полезният товар на сертификата, зависимостите и подписът. Всичко специфично за семейството стои вътре в полезния товар, а всичко, от което проверяващият се нуждае, за да маршрутизира, версионира и записва нещото, стои извън него.","open-source-aion.03a195fded":"и осем полета вътре в него","open-source-aion.9895a4db76":"Всяко семейство, един плик","open-source-aion.33164fb254":"Общият плик","open-source-aion.315fae6edd":"Осем вида системи, осем вида твърдения и един плик, в който всички пътуват","open-source-aion.661f13bc63":"ПРОВЕРЕНО","open-source-aion.ea0dae37f4":"СЕРТИФИКАТ","open-source-aion.f07b84d4d2":"ТВЪРДЕНИЕ","open-source-aion.1edfca7587":"AION е тази втора програма. Тя взема сертификат, произведен от непознат, реконструира какво твърди той, и когато твърдение не може да бъде реконструирано, назовава елемента, назовава правилото и спира дотук. Отказ, който сочи към ред 40, е нещо, което една дума никога не може да бъде.","open-source-aion.4428102723":"Формалните методи се спряха на тази договореност преди десетилетия по една причина. Производителят записва своята работа, а втора, много по-малка програма чете тази работа обратно. Втората програма е тази, която си струва да се изгради внимателно, защото е достатъчно малка, за да бъде разбрана от край до край. Това, което AION прави, е да извади тази договореност от света на решаващите програми и да я направи договор за всичко останало: разсъждение, операции на агенти, компилация, изпълнение, симулация.","open-source-aion.51edeceac1":"unsat. compiled. completed. safe. optimal. policy passed. simulation converged. workflow approved. Осем системи, осем думи и нито една от тях не носи причината, поради която е вярна. Изчисленията с доказателства са алтернативата: производителят запазва скъпата работа и издава сертификат заедно с резултата, а нещо, което няма интерес от отговора, проверява този сертификат.","open-source-aion.d3571e9e01":"докато някой не го направи отново","open-source-aion.03d9c22d95":"Резултатът е само твърдение","open-source-aion.dfc28595b4":"Защо съществува второ четене","open-source-aion.3c6178c9cd":"На кого принадлежи докладът","open-source-aion.42c21bbe27":"Какво решава даден случай","open-source-aion.4d05bcfcbf":"Какво ви позволява един отказ","open-source-aion.4c0a0d8ef3":"Двата обичайни изхода","open-source-aion.e097afe170":"Какво следва от запазването му","open-source-aion.c9681d6875":"Какво всъщност прави","open-source-aion.1ee58a7b8d":"Откъде идва договореността","open-source-aion.eec3b038bd":"приписване","open-source-aion.65279e1ecf":"проверка","oss-aion-adoption-paths.733a87e5fb":"Тествайте един път на решение","oss-aion-adoption-paths.34dfd13db9":"Изпълнете примерен сертификат, преди да интегрирате AION в действащ път на решение.","oss-aion-adoption-paths.3f1d1c0d24":"Разгледайте включения примерен сертификат.","oss-aion-adoption-paths.a5339faf54":"Изпълнете включените примерни доказателства като проверка.","oss-aion-adoption-paths.b38db2875a":"Проверете същия сертификат с aion check и независим съвместим верификатор.","oss-aion-adoption-paths.0e42c62826":"Вашият екип за оценка","oss-aion-adoption-paths.ca15f8db66":"Вградете го в система","oss-aion-adoption-paths.e8219f1ea8":"Вашият съществуващ софтуерен екип свързва библиотеката, така че системите, които вече използвате, да могат да предават сертификат с всяко решение.","oss-aion-adoption-paths.91e2e7e34b":"Вашите инженери добавят AION към система, която вече управлявате.","oss-aion-adoption-paths.96e8012ed9":"Всяко решение тогава носи проверим сертификат.","oss-aion-adoption-paths.6e56d00bc7":"Никакъв нов доставчик не стои в пътя на това решение.","oss-aion-adoption-paths.b0e0c85d36":"Вашият инженерен екип","oss-aion-adoption-paths.4637a51566":"Използвайте го при одит","oss-aion-adoption-paths.03b3d20015":"Сертификат, създаден по-рано, може да бъде проверен отново по всяко време с инструмента от командния ред, на вашия собствен хардуер, офлайн.","oss-aion-adoption-paths.8b6e7ae424":"Запазете сертификата, създаден при вземането на решението.","oss-aion-adoption-paths.ab48bfd890":"Проверете го отново по-късно с инструмента от командния ред, офлайн.","oss-aion-adoption-paths.6fe516ffcf":"Предайте същия запис на регулатор или одитор.","oss-aion-adoption-paths.4e64c95d9e":"Вашият екип по съответствие","oss-aion-adoption-paths.6b5eb5323e":"Започнете с един път на решение","oss-aion-adoption-paths.1635f113ec":"Три начина за приемане","oss-aion-adoption-paths.5eef32f959":"Кой го управлява","oss-aion-adoption-paths.29a9e7fa74":"Сертификатът е идентичен, независимо кой път изберете.","oss-aion-adoption-paths.3e4f1a5e1b":"Една библиотека, един инструмент от командния ред","oss-aion-adoption-paths.tag.d59fec26d9":"Преди интеграция","oss-aion-adoption-paths.tag.391b31405f":"За вашите инженери","oss-aion-adoption-paths.tag.6fd7b4f249":"За съответствие","oss-aion-archive-parts.cea57012da":"не е компресиран след прочитане","oss-aion-archive-parts.10f2f8d11a":"компресиран за рафта","oss-aion-archive-parts.0468a5b797":"АРХИВ","oss-aion-archive-parts.bce5035461":"и едно поле, което ги надживява","oss-aion-archive-parts.bd678f55fe":"Четири хода върху един сертификат","oss-aion-archive-parts.44e396b17f":"Кой верификатор го е приел и по коя версия на договора.","oss-aion-archive-parts.5348eece0f":"Верификаторът и договорът са запазени","oss-aion-archive-parts.53229277ab":"Идентични поддоказателства, съхранявани веднъж и цитирани след това чрез хеш.","oss-aion-archive-parts.0f6513214f":"Поддоказателствата са хеширани","oss-aion-archive-parts.76a7786a63":"Повтарящ се модел, съхраняван веднъж, с дължината, за която се повтаря.","oss-aion-archive-parts.9e1a0f7aac":"Повторенията са свити","oss-aion-archive-parts.d6f5880b44":"Всеки идентификатор се съхранява като разстоянието му от последния.","oss-aion-archive-parts.6b78716e70":"Идентификаторите като разлики","oss-aion-archived-proof.5808299e06":"погледнато нагоре, не пометено за","oss-aion-archived-proof.39241dfc0d":"Останалото остана затворено, защото индексът вече знаеше, че не са засегнати.","oss-aion-archived-proof.d84b2eb85d":"Девет декларирани зависимости, два раздела изтеглени, пет сертификата посочени.","oss-aion-archived-proof.c9269e3e61":"седем раздела останаха затворени","oss-aion-archived-proof.6f13975269":"все още съвместим","oss-aion-archived-proof.8ec798a819":"правило r7","oss-aion-archived-proof.4b50837e2e":"на опашка за повторно четене","oss-aion-archived-proof.2a858a12ec":"правило r7 заменено във verifier 2.5.0","oss-aion-archived-proof.0b58a007b4":"известие за промяна","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"същият сертификат","oss-aion-archived-proof.4b37dd07e6":"както е архивирано","oss-aion-archived-proof.39c9f8bf3a":"две поддоказателства, една форма","oss-aion-archived-proof.8c28e2d0a9":"един блок, запазен веднъж","oss-aion-archived-proof.e75bd8054c":"идентификатори като празнини","oss-aion-archived-proof.9bfe0da4af":"един дълъг файл","oss-aion-archived-proof.46dc2748fa":"както е произведено","oss-aion-archived-proof.b6a0714797":"илюстративни идентификатори","oss-aion-archived-proof.16bb6017da":"две от пет на опашка","oss-aion-archived-proof.884fa4a4de":"Един сертификат, два пъти","oss-aion-archived-proof.11ed0e1dd4":"политика p9","oss-aion-archived-proof.1f776189b1":"схема 2","oss-aion-archived-proof.ec690c70cd":"сертификат d20c9b","oss-aion-archived-proof.a96a7e2f89":"сертификат 1a55f0","oss-aion-archived-proof.b504f66e53":"модел m1","oss-aion-archived-proof.fd6c33ce54":"рантайм договор 3.1","oss-aion-archived-proof.ff651ff51f":"компилаторно правило c1","oss-aion-archived-proof.d00ec63b0b":"сертификат b4e187","oss-aion-archived-proof.e20acd4672":"сертификат 3c90de","oss-aion-archived-proof.6d50cc6c2e":"сертификат 7f21ab","oss-aion-archived-proof.5dd9b11122":"политика p2","oss-aion-archived-proof.70d70366cf":"схема 4","oss-aion-archived-proof.d61ceadbdb":"договор","oss-aion-archived-proof.e15436a2bb":"верификатор","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Защо молбата ми беше отказана от машина?","oss-aion-asked-questions.answer.refused":"AION показва точното място, където проверката е спряла, и защо, вместо една необяснена дума.","oss-aion-asked-questions.question.check":"Мога ли сам да проверя автоматизирано решение?","oss-aion-asked-questions.answer.check":"Да. AION преизчислява всяка стъпка отново, на машината, на която сте, без акаунт и без нищо да се изпраща.","oss-aion-asked-questions.question.sent":"Дали информацията ми се изпраща някъде?","oss-aion-asked-questions.answer.sent":"Не. Стандартната версия няма с какво да я изпрати. Работата се случва там, където вече сте.","oss-aion-asked-questions.chrome.path":"Въпроси, които отказът наистина повдига","oss-aion-asked-questions.chrome.status":"отговорени открито","oss-aion-asked-questions.readout":"Това са трите въпроса, на които тази страница е създадена да отговори, открито, без акаунт и без нищо да се изпраща.","oss-aion-asked-questions.band":"Зададен веднъж, отговорен открито","oss-aion-asked-you.ef80b73d6b":"вместо изненада по-късно","oss-aion-asked-you.7e066a9db0":"въпрос сега","oss-aion-asked-you.fb041ecc2d":"Изчаквания","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"и какво следва","oss-aion-asked-you.fb5efec5ec":"Какво пита","oss-aion-asked-you.ed223cb507":"Със собствената ви фраза вътре, а не с формуляр за попълване.","oss-aion-asked-you.47ba586268":"Поставя въпрос","oss-aion-asked-you.16bb2c320d":"С прости думи, не като избор между символи.","oss-aion-asked-you.590f0368a8":"Представя и двете четения","oss-aion-asked-you.c0fedb51ee":"Частта от изречението ви, за която не е сигурно, с ваши думи.","oss-aion-asked-you.945cd96360":"Цитира думите обратно","oss-aion-asymmetry.109e612009":"доказателствата пътуват","oss-aion-asymmetry.54086b1730":"работата остава при производителя","oss-aion-asymmetry.77e82797f7":"АСИМЕТРИЯ","oss-aion-asymmetry.7f5d144dcb":"на производител","oss-aion-asymmetry.d1abed327f":"Какво не се възпроизвежда","oss-aion-asymmetry.816e835f60":"Пълномощия, преходи, одобрения, разписки.","oss-aion-asymmetry.4f83e60cbc":"Много агенти, координиращи.","oss-aion-asymmetry.d946c1fc52":"Агентна система","oss-aion-asymmetry.d978ba491a":"Контролни точки, преходи и инварианти.","oss-aion-asymmetry.b081bda78f":"Милиони стъпки на интеграция.","oss-aion-asymmetry.8e34943c35":"Симулация","oss-aion-asymmetry.db98a95880":"Твърденията за запазване през тях.","oss-aion-asymmetry.ce4dee4e4f":"Стотици преминавания и техните евристики.","oss-aion-asymmetry.341a20e237":"Компилатор","oss-aion-asymmetry.d50aca2923":"Извод, следван ред по ред.","oss-aion-asymmetry.c0644e2b00":"Търсене в пространство, което никой не изброява.","oss-aion-asymmetry.2212b12df6":"Решаващо устройство","oss-aion-audit-flow.0d368d5958":"Взема се решение","oss-aion-audit-flow.723d4b8215":"AI достига до отговор във вашата система.","oss-aion-audit-flow.60616f24a0":"Сертификатът се съхранява","oss-aion-audit-flow.319012d052":"Разсъждението се записва като преносим запис.","oss-aion-audit-flow.b6e0507002":"Той се проверява отново","oss-aion-audit-flow.060bdf8393":"Всеки може да пусне проверката офлайн, на собствената си машина.","oss-aion-audit-flow.549ee9a7f2":"Одиторът го приема","oss-aion-audit-flow.45d8142b03":"Доказателство, което те проверяват, а не обещание, което трябва да приемат.","oss-aion-audit-flow.29a5795456":"Изпращате логове и се надявате да бъдат приети.","oss-aion-audit-flow.691576c10d":"Предавате сертификат, който одиторът проверява сам.","oss-aion-audit-flow.4f25ce109b":"Обяснението е обвързано с един доставчик.","oss-aion-audit-flow.17092b76ad":"Стандартните формати за доказателства запазват сертификата проверим извън първоначалния доставчик и среда.","oss-aion-audit-flow.4cb1b63499":"Записът се проверява отново върху инфраструктура, която не контролирате.","oss-aion-audit-flow.c0baf00a21":"Записът се проверява отново офлайн, на хардуер, който контролирате.","oss-aion-audit-flow.1574ac4dc4":"От решение до прието доказателство","oss-aion-audit-flow.0fc25779d4":"Без проверимо доказателство","oss-aion-audit-flow.4b32d8f574":"С AION","oss-aion-audit-flow.effbb773a5":"По време на одит представяте доказателства, а не уверения.","oss-aion-audit-flow.630840198f":"Независима проверка","oss-aion-broken-case.b2d44d537d":"две части работа","oss-aion-broken-case.21a5e37384":"Там наистина пише, че сега някой трябва да избере едно.","oss-aion-broken-case.446dd52366":"Случаят не уточнява в коя от тези две ситуации се намирате.","oss-aion-broken-case.1592f95dfc":"който притежава спецификацията","oss-aion-broken-case.5350b811e8":"Всички знаеха това и никой никога не го записа, затова случаят изобщо можеше да бъде открит. Така че работата е да се запише липсващото ограничение.","oss-aion-broken-case.7e1ad0c117":"тук не може да има повторен опит при нулев баланс","oss-aion-broken-case.e2acc6be4b":"възможно ли е това тук?","oss-aion-broken-case.70cf0e9d6e":"екипът, който го управлява","oss-aion-broken-case.f4418abec4":"Значи правилото е правилно, а системата греши. Работата е промяна в системата.","oss-aion-broken-case.7ebf5ee2c1":"повторни опити при три с нулев баланс е обикновен понеделник","oss-aion-broken-case.818db6fde5":"пакетният режим позволява най-много два повторни опита","oss-aion-broken-case.9ad82bcd1a":"без повторен опит, докато балансът е нула","oss-aion-broken-case.db09c40b94":"условия, които нарушава","oss-aion-broken-case.1a01155586":"Спецификацията не издържа. Ето ситуация, в която не издържа, описана подробно.","oss-aion-broken-case.bb5f480b82":"случаят, както се връща","oss-aion-broken-case.8ba48b3c8c":"илюстративен случай","oss-aion-broken-case.2a0ea29615":"един случай, двама собственици","oss-aion-broken-case.0efd66fc70":"Случаят, който го счупи","oss-aion-broken-case.fd12863535":"не","oss-aion-broken-case.fb360f9c09":"да","oss-aion-broken-case.e7aef2e893":"режимът е пакетен (тип: текст)","oss-aion-broken-case.dcfad8c5bf":"балансът е 0 (тип: цяло число)","oss-aion-broken-case.bbf98b54e9":"повторните опити са 3 (тип: цяло число)","oss-aion-business-glyph.9c8c22f54d":"Проектирано за одитируемост","oss-aion-business-glyph.afd7103781":"Вашата инфраструктура","oss-aion-business-glyph.ea722c81af":"Европейски","oss-aion-business-glyph.870c4d024a":"Преносими формати","oss-aion-business-glyph.81c093497b":"Затворено от сертификата","oss-aion-business-glyph.862ee3b17a":"Излагане","oss-aion-business-glyph.6b5eb5323e":"Приложено доказателство","oss-aion-business-glyph.b7a3f27883":"Рискът е премахнат","oss-aion-business-glyph.7ba75e0ac6":"Проверка на сертификата години по-късно","oss-aion-business-glyph.9f89ecaff5":"Оригиналната сесия я няма","oss-aion-business-glyph.33620369b5":"Архивът","oss-aion-business-glyph.7a71b6b89e":"На хардуер, който контролирате","oss-aion-business-glyph.e94a6d4bba":"Обяснено на чужд хардуер","oss-aion-business-glyph.3eaad00bc0":"Данните","oss-aion-business-glyph.e20fee7c23":"Отделен проверяващ","oss-aion-business-glyph.9e3ee5bddf":"Оригиналният модел все още е необходим","oss-aion-business-glyph.5cb182685f":"Проверяващият","oss-aion-business-glyph.c5d37b3ae0":"Сертификат, който одиторът проверява","oss-aion-business-glyph.6c4186cc8c":"Логове, които се надявате да бъдат приети","oss-aion-business-glyph.d51b35c242":"Одитът","oss-aion-cadence-banners.independent.eyebrow":"AION / независима проверка","oss-aion-cadence-banners.independent.lead":"Доверете се на плика","oss-aion-cadence-banners.independent.accent":"след като друг проверяващ го приеме","oss-aion-cadence-banners.independent.body.one":"Сертификатът е полезен, защото проверяващият не се нуждае от средата за изпълнение на производителя. Той получава декларираното правило, входните данни, резултата и доказателствата като един ограничен плик.","oss-aion-cadence-banners.independent.body.two":"Втората реализация проверява тези доказателства срещу същия договор. Съгласието тогава е доказателство за резултата, а не повторно изпълнение на същия код.","oss-aion-cadence-banners.independent.panel":"Запис за независимо приемане","oss-aion-cadence-banners.independent.tag":"ПРОВЕРЕНО ОТДЕЛНО","oss-aion-cadence-banners.independent.item.rule.label":"Декларирано правило","oss-aion-cadence-banners.independent.item.rule.detail":"Изискването и семейството на сертификата са именувани.","oss-aion-cadence-banners.independent.item.rule.status":"НАЛИЧНО","oss-aion-cadence-banners.independent.item.input.label":"Ограничени входни данни","oss-aion-cadence-banners.independent.item.input.detail":"Стойностите, използвани от решението, пътуват с него.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Заявен резултат","oss-aion-cadence-banners.independent.item.result.detail":"Резултатът е обявен, преди да започне проверката.","oss-aion-cadence-banners.independent.item.result.status":"ДЕКЛАРИРАНО","oss-aion-cadence-banners.independent.item.verifier.label":"Отделен проверяващ","oss-aion-cadence-banners.independent.item.verifier.detail":"Различна реализация проверява същия плик.","oss-aion-cadence-banners.independent.item.verifier.status":"ПРИЕТО","oss-aion-cadence-banners.independent.verdict":"доказателството оцелява извън системата, която го е създала","oss-aion-cadence-banners.independent.footer":"проверката пресича границата на реализацията, без да губи договора","oss-aion-cadence-banners.refusal.eyebrow":"AION / договор за отказ","oss-aion-cadence-banners.refusal.lead":"Неуспешно доказателство","oss-aion-cadence-banners.refusal.accent":"трябва да посочи правилото, което не е успяло да удовлетвори","oss-aion-cadence-banners.refusal.body.one":"Точното проверяване не е размита обвивка за преминаване или отказ. Проверяващият следва декларираните преобразувания, аритметични и логически операции в ред, след което спира при първото невалидно условие.","oss-aion-cadence-banners.refusal.body.two":"Този отказ принадлежи към доказателствата. Той казва на обаждащия се кое предположение, мащаб, условие или защита е пропаднало, преди някоя по-късна стъпка да скрие причината.","oss-aion-cadence-banners.refusal.panel":"Първа неуспешна врата","oss-aion-cadence-banners.refusal.tag":"ОТКАЗАНО","oss-aion-cadence-banners.refusal.item.read.label":"Прочетете декларираните стойности","oss-aion-cadence-banners.refusal.item.read.detail":"Входовете и идентичността на правилото са фиксирани преди проверката.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Приложете декларираното преобразуване","oss-aion-cadence-banners.refusal.item.scale.detail":"Без мълчаливо връщане назад не променя аритметичния договор.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Оценете всяка врата по ред","oss-aion-cadence-banners.refusal.item.check.detail":"Първото невалидно условие остава приписваемо.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Върнете именувания отказ","oss-aion-cadence-banners.refusal.item.refuse.detail":"Обаждащият се получава неуспешното правило и неговите доказателства.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"отказът е преглеждаемо доказателство, а не празна грешка","oss-aion-cadence-banners.refusal.footer":"първото неуспешно условие остава видимо за следващия рецензент","oss-aion-cadence-banners.certificates.eyebrow":"AION / верига от сертификати","oss-aion-cadence-banners.certificates.lead":"Едно решение","oss-aion-cadence-banners.certificates.accent":"може да носи няколко вида доказателства","oss-aion-cadence-banners.certificates.body.one":"Разсъжденията, организационният авторитет, компилацията и изпълнението отговарят на различни въпроси. Ако се третират като една обща гаранция, ще се скрие къде дадено твърдение е силно и къде все още е необходима друга проверка.","oss-aion-cadence-banners.certificates.body.two":"AION държи сертификатите отделни и ги свързва към един и същ запис за решението. Рецензентът може да проследи веригата, без да обърка авторитета с аритметиката или успешното изпълнение с одобрено правило.","oss-aion-cadence-banners.certificates.panel":"Път към доказателствата за решението","oss-aion-cadence-banners.certificates.tag":"СВЪРЗАНИ","oss-aion-cadence-banners.certificates.item.reasoning.label":"Сертификат за разсъждения","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Показва защо изложеното заключение следва.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Сертификат за авторитет","oss-aion-cadence-banners.certificates.item.organisation.detail":"Посочва кой може да одобри или извърши действието.","oss-aion-cadence-banners.certificates.item.organisation.status":"ОРГАН","oss-aion-cadence-banners.certificates.item.compile.label":"Сертификат за компилация","oss-aion-cadence-banners.certificates.item.compile.detail":"Свързва източника, трансформацията и създадения артефакт.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Сертификат за изпълнение","oss-aion-cadence-banners.certificates.item.execution.detail":"Записва какво е изпълнено, къде и при какви входни данни.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"всяко твърдение запазва семейството сертификати, което действително може да го подкрепи","oss-aion-cadence-banners.certificates.footer":"свързаните доказателства остават достатъчно конкретни, за да бъдат оспорени","oss-aion-cadence-banners.recheck.eyebrow":"AION / резултат, който можете да преразгледате","oss-aion-cadence-banners.recheck.lead":"Същото правило","oss-aion-cadence-banners.recheck.accent":"може да бъде проверено отново по-късно","oss-aion-cadence-banners.recheck.body.one":"Изречението, избраното значение и срокът остават прикрепени към резултата. Можете да видите какво е решено и колко дълго решението остава валидно, без да изпращате материала навън.","oss-aion-cadence-banners.recheck.body.two":"Когато правилото или датата се променят, записът идентифицира какво се нуждае от нова проверка. Предишният отговор остава видим, вместо да бъде мълчаливо заменен.","oss-aion-cadence-banners.recheck.panel":"Какво следва проверката","oss-aion-cadence-banners.recheck.tag":"ПОВТОРИМО","oss-aion-cadence-banners.recheck.item.sentence.label":"Вашето оригинално изречение","oss-aion-cadence-banners.recheck.item.sentence.detail":"Формулировката остава до тълкуването.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"Избраното значение","oss-aion-cadence-banners.recheck.item.rule.detail":"Приложеното правило е написано ясно.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"Датата на валидност","oss-aion-cadence-banners.recheck.item.deadline.detail":"Оставащото време се вижда преди резултатът да изтече.","oss-aion-cadence-banners.recheck.item.deadline.status":"ВИДИМО","oss-aion-cadence-banners.recheck.item.result.label":"Нова проверка","oss-aion-cadence-banners.recheck.item.result.detail":"Същите доказателства могат да бъдат оценени отново.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"можете да се върнете към отговора, без да губите причината зад него","oss-aion-cadence-banners.recheck.footer":"записът съхранява думите, правилото и датата заедно","oss-aion-cadence-banners.supplier.eyebrow":"AION / доказателства от доставчика","oss-aion-cadence-banners.supplier.lead":"Отговор от доставчика","oss-aion-cadence-banners.supplier.accent":"трябва да пристигне с нещо, което можете да проверите","oss-aion-cadence-banners.supplier.body.one":"Сертификатът отделя резултата от инструмента на доставчика. Той посочва какво е проверено, кое семейство доказателства се прилага и кои входни данни и артефакти принадлежат към твърдението.","oss-aion-cadence-banners.supplier.body.two":"Вашият екип може да запази тези доказателства и да използва друг проверяващ. Прегледът вече не зависи от достъпа до оригиналната услуга или от искането към доставчика да възпроизведе изпълнението.","oss-aion-cadence-banners.supplier.panel":"Доказателства, получени с резултата","oss-aion-cadence-banners.supplier.tag":"ПРЕНОСИМО","oss-aion-cadence-banners.supplier.item.claim.label":"Твърдение на доставчика","oss-aion-cadence-banners.supplier.item.claim.detail":"Резултатът и неговият обхват са посочени изрично.","oss-aion-cadence-banners.supplier.item.claim.status":"ПОЛУЧЕНО","oss-aion-cadence-banners.supplier.item.certificate.label":"Обвивка на сертификата","oss-aion-cadence-banners.supplier.item.certificate.detail":"Доказателствата и идентификаторите пътуват с твърдението.","oss-aion-cadence-banners.supplier.item.certificate.status":"ПРИКАЧЕНО","oss-aion-cadence-banners.supplier.item.coverage.label":"Изявление за покритие","oss-aion-cadence-banners.supplier.item.coverage.detail":"Семейството на сертификата посочва какво може да установи.","oss-aion-cadence-banners.supplier.item.coverage.status":"ОГРАНИЧЕНО","oss-aion-cadence-banners.supplier.item.checker.label":"Независим проверяващ","oss-aion-cadence-banners.supplier.item.checker.detail":"Вашата страна проверява доказателствата без производителя.","oss-aion-cadence-banners.supplier.item.checker.status":"НАЛИЧНО","oss-aion-cadence-banners.supplier.verdict":"доказателствата остават полезни след края на изпълнението на доставчика","oss-aion-cadence-banners.supplier.footer":"проверим резултат е по-лесен за запазване, сравняване и оспорване","oss-aion-cadence-banners.boundary.eyebrow":"AION / контролиран преглед","oss-aion-cadence-banners.boundary.lead":"Прегледът остава вътре","oss-aion-cadence-banners.boundary.accent":"границата, която вашата организация задава","oss-aion-cadence-banners.boundary.body.one":"Случаят, правилото и сертификатът могат да бъдат проверени там, където вече се намират. Локалната проверка избягва превръщането на прегледа в друг начин за разкриване на разглеждания материал.","oss-aion-cadence-banners.boundary.body.two":"Записът все пак посочва установеното свойство и използваните доказателства. Запазването на данните на място не означава отказ от проследим одитен запис.","oss-aion-cadence-banners.boundary.panel":"Маршрут за преглед на място","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Отворете запазения случай","oss-aion-cadence-banners.boundary.item.case.detail":"Изходният материал остава в съществуващата си среда.","oss-aion-cadence-banners.boundary.item.case.status":"НА МЯСТО","oss-aion-cadence-banners.boundary.item.property.label":"Изберете твърдението за проверка","oss-aion-cadence-banners.boundary.item.property.detail":"Обхватът на сертификата остава изричен.","oss-aion-cadence-banners.boundary.item.property.status":"ОГРАНИЧЕНО","oss-aion-cadence-banners.boundary.item.perimeter.label":"Изпълнение в рамките на периметъра","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Не се изисква изходяща услуга за проверка.","oss-aion-cadence-banners.boundary.item.perimeter.status":"ОГРАНИЧЕНО","oss-aion-cadence-banners.boundary.item.record.label":"Запазете записа от прегледа","oss-aion-cadence-banners.boundary.item.record.detail":"Входните данни, проверяващият и резултатът остават проследими.","oss-aion-cadence-banners.boundary.item.record.status":"З ЗАПИСАНО","oss-aion-cadence-banners.boundary.verdict":"доказателствата могат да бъдат проверени без създаване на нов трансфер на данни","oss-aion-cadence-banners.boundary.footer":"локалното изпълнение и проверимите доказателства принадлежат към един и същ контрол","oss-aion-case-fields.ce69e76708":"случай започва решение","oss-aion-case-fields.9a83c048c3":"присъда приключва проверка","oss-aion-case-fields.afc58d4c40":"първият, който се провали, по име","oss-aion-case-fields.3bc6a69e80":"балансът трябва да е над нула преди повторен опит","oss-aion-case-fields.4e0285b28b":"условието е нарушено","oss-aion-case-fields.4e0af55321":"КОНТРАПРИМЕР","oss-aion-case-fields.344daefb37":"Един случай, изцяло","oss-aion-case-fields.62e0ec394a":"стойностите и какъв вид е всяка","oss-aion-case-fields.7f01fe787c":"пакет","oss-aion-checked-not-rerun.dd5b6cbe2b":"едно сливане, едно отсъствие","oss-aion-checked-not-rerun.846a719bdc":"Последният ред няма съответствие на никаква цена.","oss-aion-checked-not-rerun.6c26a05ac4":"Пет от седемте си отиват и две от тях се сливат.","oss-aion-checked-not-rerun.4f01efffc8":"прочетено от някой, който никога не е държал техния софтуер","oss-aion-checked-not-rerun.a70205a694":"сравнено с това от следващото тримесечие","oss-aion-checked-not-rerun.0d85e26645":"архивирано с решението, което е подкрепяло","oss-aion-checked-not-rerun.ffc7dbc2ad":"това, което държите след това","oss-aion-checked-not-rerun.d6124c1aee":"нищо отляво не произвежда това","oss-aion-checked-not-rerun.9b9252883d":"самият сертификат","oss-aion-checked-not-rerun.0bfa7a3bd8":"обявените входни данни и договорът","oss-aion-checked-not-rerun.d7f7f555ad":"твърдението","oss-aion-checked-not-rerun.527c7f544a":"три неща","oss-aion-checked-not-rerun.f8a34d2942":"да проверят техния сертификат","oss-aion-checked-not-rerun.2a20acacc2":"седем неща","oss-aion-checked-not-rerun.a94f90b8e9":"да възпроизведат тяхната система","oss-aion-checked-not-rerun.d2eae1af1f":"същата гаранция, два маршрута","oss-aion-checked-not-rerun.87f754c087":"пет зачеркнати, едно отсъстващо","oss-aion-checked-not-rerun.2a62bb8028":"какво изисква всеки маршрут","oss-aion-checked-not-rerun.35d7d25591":"дали все още важи след промяната","oss-aion-checked-not-rerun.6cd8ba818d":"върху чии данни","oss-aion-checked-not-rerun.96f39a5e7d":"срещу коя версия на набора от правила","oss-aion-checked-not-rerun.c8d59ae061":"кои условия са били проверени","oss-aion-checked-not-rerun.b028b89ea7":"тяхната помощ","oss-aion-checked-not-rerun.c03c2fce6e":"машина с подходящ размер","oss-aion-checked-not-rerun.867d12b7ad":"входните данни","oss-aion-checked-not-rerun.717e42eb01":"техният конфигурационен файл","oss-aion-checked-not-rerun.935b145c44":"съвместима операционна система","oss-aion-checked-not-rerun.fa15ad3da2":"точната версия, която са използвали","oss-aion-checked-not-rerun.5990a1ec89":"лиценз за техния софтуер","oss-aion-compile-cert.b1991b0d44":"така че един отказ сочи към едно","oss-aion-compile-cert.85edd85611":"претенциите са назовани поотделно","oss-aion-compile-cert.6e8814b9a0":"Какво излезе, по адрес на съдържанието, обвързано с всичко по-горе.","oss-aion-compile-cert.a41732e051":"Идентичност на артефакта","oss-aion-compile-cert.6d4151d7a5":"Какво влезе, по адрес на съдържанието, а не по име на файл.","oss-aion-compile-cert.7204133281":"Идентичност на източника или графа","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"и какво твърди за всяко","oss-aion-compile-cert.0bcab6c465":"Какво назовава сертификатът","oss-aion-compile-cert.027f7ee7d1":"Кои свойства установява този сертификат върху тях.","oss-aion-compile-cert.8906f98ae0":"Декларирана съхраненост","oss-aion-compile-cert.d186ea41e2":"Приложените пропуски, в реда, в който са приложени.","oss-aion-compile-cert.66ad6a206e":"Последователност на трансформациите","oss-aion-compile-cert.ebb0c953d1":"Коя компилация, при каква конфигурация за оптимизация.","oss-aion-compile-cert.691f87f640":"Компилатор и оптимизация","oss-aion-console.5d71265e50":"Проверете сертификат за доказателство. Без решаващ инструмент, без мрежа.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Проверка на доказателството: proof.alethe","oss-aion-console.1016f1bcf3":"Формат: Alethe","oss-aion-console.70142f344c":"Разбор: ОК","oss-aion-console.8455c5ceeb":"Доказателството има N стъпки","oss-aion-console.fc539fcf62":"Проверка на доказателството: УСПЕШНО","oss-aion-console.88f6db402f":"Време за проверка: Nms","oss-aion-console.4f437cea65":"Вашият проверяващ инструмент го потвърди. Изход 0. Нищо не е изпратено навън.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Прочетете сертификата","oss-aion-console.0cef7497bf":"Проверяващият инструмент отваря файла с доказателството, който сте получили. Не му трябва нищо друго: никакви тежести на модела, никакъв вход от доставчика, никакъв интернет.","oss-aion-console.830903eaf6":"Преминете през всяка стъпка","oss-aion-console.6ce1fb843f":"Всяко извеждане се преиграва спрямо предпоставките, които цитира. LRAT носи подсказки за единично разпространение, така че преминаването е линейно спрямо дължината на доказателството.","oss-aion-console.1044fbcb06":"Приемете или отхвърлете","oss-aion-console.cb4e501f7a":"Ако всяка стъпка е валидна, проверяващият инструмент отпечатва УСПЕШНО и излиза с код 0. Ако някоя стъпка не е, той посочва грешката и излиза с ненулев код. Няма междинно състояние.","oss-aion-console.b568d47f2e":"Вход","oss-aion-console.df73f614f5":"Файл с доказателство","oss-aion-console.0562f32dc5":"Зависимости","oss-aion-console.7334b0e2cf":"Няма по време на проверка","oss-aion-console.64ae43e8fe":"Разходи","oss-aion-console.660020f41a":"Линейни спрямо дължината на доказателството","oss-aion-console.5faa59d4bc":"Резултат","oss-aion-console.de76d16078":"УСПЕШНО или посочена грешка","oss-aion-console.76d6562c0a":"Проверката","oss-aion-console.edabf74eb3":"Една команда чете доказателството и","oss-aion-console.d161c0634a":"го приема или отхвърля","oss-aion-console.a997e63df7":"Проверяващият инструмент е независим от решаващия инструмент. Подайте му сертификат и вашият собствен проверяващ инструмент\n          го потвърждава или отхвърля, офлайн, без достъп до машината, която го е създала.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"офлайн проверяващ инструмент","oss-aion-console.6b5eb5323e":"Независим проверяващ инструмент","oss-aion-console.165cb4a2fd":"N стъпки и Nms са заместители: реалните числа идват от доказателството, което проверявате, а не\n              от нас. Повърхността на командата е реална, aion check анализира, преминава и отчита УСПЕШНО.","oss-aion-console.b8fae1a1a1":"AION / проверка на доказателство","oss-aion-consumer-glyph.dccc2b6aff":"Не е нужен интернет","oss-aion-consumer-glyph.22c2234e11":"Произведено в Европа","oss-aion-consumer-glyph.75f527181b":"Проверяемо по-късно","oss-aion-consumer-glyph.94651c6eb5":"Втори помощник го проверява","oss-aion-consumer-glyph.b9fefb3f5b":"Изглежда правилно","oss-aion-consumer-glyph.fb447dd18d":"Вашата разписка","oss-aion-consumer-glyph.49a8e53c77":"Машината отговаря","oss-aion-consumer-glyph.f5ad0f0059":"Да, и ето защо","oss-aion-consumer-glyph.7011b1a621":"Отговорът","oss-aion-consumer-glyph.07d0cfac8b":"Стъпка по стъпка, записано","oss-aion-consumer-glyph.5bcd26af49":"Как е постигнат","oss-aion-consumer-glyph.8afc953f7f":"Подходящо ли е за мен?","oss-aion-consumer-glyph.d79cce547d":"Въпросът","oss-aion-coverage-join.fa5284c04d":"краткото е кратко","oss-aion-coverage-join.d04fa188df":"Четиринайсет не е почти всичко, затова обединението се отказва, а не се закръгля.","oss-aion-coverage-join.0b67159da5":"Шестнайсет клетки са отчетени и съставеният резултат се приема.","oss-aion-coverage-join.7142d70e45":"съставянето отказано, покритието кратко","oss-aion-coverage-join.245fbeffee":"не е грешка от закръгляне. Област, която никой не е разгледал.","oss-aion-coverage-join.1df8f3c0e7":"14 от 16","oss-aion-coverage-join.1c1d6ac8f1":"две клетки, които никой не е разгледал","oss-aion-coverage-join.f0833f7fc6":"същото обединение, едно кубче липсва","oss-aion-coverage-join.db8d5bf534":"съставянето прието","oss-aion-coverage-join.558480e414":"16 от 16","oss-aion-coverage-join.26f1b36edc":"всяка клетка е отчетена","oss-aion-coverage-join.39cd7fa9c4":"четири кубчета","oss-aion-coverage-join.bb2dba7602":"илюстративни кубчета","oss-aion-coverage-join.a4d76ddfc7":"покритието кратко с две клетки","oss-aion-coverage-join.e4445ac125":"Една проверка на разделянето","oss-aion-coverage-join.186c8cd284":"Изграждането, което държите, не се променя под вас.","oss-aion-coverage-join.9daf9699cc":"изграждането","oss-aion-coverage-join.66506ab77b":"Не се извиква модел.","oss-aion-coverage-join.f2250926d2":"Нищо не напуска границата.","oss-aion-coverage-join.3110d06249":"какво напуска","oss-aion-coverage-join.0bd87fb406":"Няма процесор по този път.","oss-aion-coverage-join.1fa5b0500c":"не а, не б, не в","oss-aion-coverage-join.898fae3bdc":"не а, не б, в","oss-aion-coverage-join.a8f663af2d":"не а, б","oss-aion-coverage-join.bee9689def":"четири машини, един отговор","oss-aion-coverage-join.3ea0cf3ca7":"адреси, които задавате","oss-aion-coverage-join.7b9e33922c":"услуга","oss-aion-coverage-join.17819009bd":"едно извикване","oss-aion-coverage-join.2c4d8b9dd8":"команда","oss-aion-coverage-join.5a78e04d95":"свързано","oss-aion-coverage-join.985e108737":"библиотека","oss-aion-coverage-join.1d06a0d76f":"модел","oss-aion-coverage-join.8eab5a6dbb":"процесор","oss-aion-coverage-table.356f85e809":"един плик AION и договор за маршрутизиране","oss-aion-coverage-table.4f52f572dd":"седем изхода на производители","oss-aion-coverage-table.2a268cd632":"СЕДЕМ ПРОИЗВОДИТЕЛЯ","oss-aion-coverage-table.8351372237":"изход първо, проверяващ избран според семейството на сертификата","oss-aion-coverage-table.b7d5fe11a0":"Какво оставят седемте производителя","oss-aion-coverage-table.f31a7c9011":"Решаващ","oss-aion-coverage-table.a194f815cb":"Възможно, невъзможно или оптимално","oss-aion-coverage-table.7ec93e2d31":"Доказателство, модел, ядро, свидетелство или граница","oss-aion-coverage-table.651e0f73b2":"Проверяващ за семейството на решаващия","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Заключение от декларирани ограничения","oss-aion-coverage-table.9ac60dc1a8":"Извеждане на ограничения и върнати доказателства от решаващия","oss-aion-coverage-table.d5ef792d46":"Проверяващ на разсъжденията на Loom","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Завършена управлявана операция","oss-aion-coverage-table.70d43be1ea":"Правомощия, политика, одобрения, преходи и разписки","oss-aion-coverage-table.5372a8e90f":"Организационен проверяващ на Nexus","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Компилиран артефакт","oss-aion-coverage-table.1f3e5d7c89":"Граф на източника, трансформации, инварианти и идентичност на артефакта","oss-aion-coverage-table.86ca1bd031":"Проверяващ на компилацията на Kera","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Изпълнено натоварване","oss-aion-coverage-table.24f1ac9e33":"Модул, входове, предоставени права, преходи, ограничения и изход","oss-aion-coverage-table.0f9ea21c74":"Проверяващ на изпълнението на Selvedge","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Симулирана траектория","oss-aion-coverage-table.ef85239d10":"Идентичност на модела, параметри, състояние, контролни точки, инварианти и хеш на траекторията","oss-aion-coverage-table.c5b7fe3198":"Проверяващ на симулацията и FMI","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Завършено изпълнение на FMU","oss-aion-coverage-table.8f5753fba0":"Идентичност на FMU, конфигурация, стъпки, събития, сходимост и следа","oss-aion-coverage-table.4d64b5bbaf":"Проверяващ на симулацията и FMI","oss-aion-coverage-table.7d1ab3c6e0":"Доказателства:","oss-aion-coverage-table.4e5bc7d129":"Проверяващ:","oss-aion-days-left.545fa01eea":"и така пише преди последния ден","oss-aion-days-left.eaa861cef8":"същото правило, прочетено четири пъти","oss-aion-days-left.2017bddab0":"Попитайте който и да е ден и същото правило прави сметката. Нищо в четвъртото четене\n          не е по-силно от първото, само по-малко.","oss-aion-days-left.81b20537a7":"оставащо време, в дни","oss-aion-days-left.0526dbf682":"ЧАСОВНИКЪТ","oss-aion-days-left.2f29339cb6":"същият часовник, четири дни по-късно","oss-aion-days-left.47a76d1261":"Една заявка, четири четения","oss-aion-days-left.9dd1fe0fd2":"26 от 30","oss-aion-days-left.f4c6daac2a":"ден 26","oss-aion-days-left.62f21454ca":"22 от 30","oss-aion-days-left.4ad399ed8a":"ден 22","oss-aion-days-left.ae5a29afae":"16 от 30","oss-aion-days-left.195b05cbbd":"ден 16","oss-aion-days-left.d31b7d0f91":"8 от 30","oss-aion-days-left.185b76515a":"ден 8","oss-aion-days-left.2dd2bed725":"днес","oss-aion-dispute-parts.65edc28a9d":"панелът и решението принадлежат на собствения ви процес, а артефактът не се мести","oss-aion-dispute-parts.e56cf65ada":"и не е трибуналът","oss-aion-dispute-parts.37f322f735":"той предоставя доказателствата,","oss-aion-dispute-parts.7b7570d892":"решението","oss-aion-dispute-parts.52e3685580":"прозорецът","oss-aion-dispute-parts.7de929b394":"панелът","oss-aion-dispute-parts.2eba0fb6ad":"това, което собственият ви процес притежава","oss-aion-dispute-parts.ea4031d789":"кой проверяващ, коя версия","oss-aion-dispute-parts.93be71a61d":"договорът","oss-aion-dispute-parts.48b63234e3":"назован, а не обобщен","oss-aion-dispute-parts.cced6746e2":"точката на отказ","oss-aion-dispute-parts.2c9e8d06dd":"възпроизводимо от всеки","oss-aion-dispute-parts.2e02032e1d":"проверката","oss-aion-dispute-parts.804e9af218":"производител и подпис непокътнати","oss-aion-dispute-parts.69506051d5":"запазено както е прието","oss-aion-dispute-parts.6b578cc32e":"сертификатът","oss-aion-dispute-parts.21df0b2530":"Какво допринася AION","oss-aion-dispute-parts.4029dc5f44":"Той запазва сертификата такъв, какъвто е бил приет. Запазва приписването, така че кой е произвел резултата, оцелява при смяна на изпълнителя. Възпроизвежда проверката при поискване, от всеки, без производителя. Идентифицира точната точка на отказ, вместо да връща присъда. И показва кой проверяващ е приел резултата и по коя версия на договора. Панелът, прозорецът и решението принадлежат на какъвто и процес да води вашата организация. AION предоставя артефакта, за който този процес спори.","oss-aion-dispute-parts.434ae4f1d6":"Работата на AION в тази ситуация е тясна и е полезната част.","oss-aion-dispute-parts.3eb5567b60":"Работа, произведена от една страна и използвана от друга, в крайна сметка поражда разногласие дали е била добра. Това, което го решава, почти никога не е силата на спора. Това е дали съществува артефакт, който и двете страни могат да разгледат и никоя страна не може да промени, а в повечето спорове записите, които биха уредили въпроса, се държат от една от двете страни.","oss-aion-dispute-parts.2ccc6715e9":"Не по-добър аргумент.","oss-aion-dispute-parts.aa0d5ae0e6":"Спорът се нуждае от доказателства.","oss-aion-dispute-parts.b4b6237893":"Когато някой не е съгласен","oss-aion-dispute-parts.eec3b038bd":"приписване","oss-aion-dispute-parts.100ec4462d":"доказателства","oss-aion-envelope-fields.cfc233d284":"пликът никога не е","oss-aion-envelope-fields.1c80a87a33":"товарът е специфичен за семейството","oss-aion-envelope-fields.d85cb39036":"семейството, което определя проверяващия","oss-aion-envelope-fields.a975c5af10":"Тип сертификат","oss-aion-envelope-fields.4282e3d696":"именуван, никога не подразбиран","oss-aion-envelope-fields.0562f32dc5":"Зависимости","oss-aion-envelope-fields.ca2dc8737d":"коя система, коя версия","oss-aion-envelope-fields.7b7194967f":"Производител","oss-aion-envelope-fields.f33f785291":"срещу какво е направен и коя версия","oss-aion-envelope-fields.404e7d3e00":"Входове и договор","oss-aion-envelope-fields.93a29173f5":"идентификатор и товар или негов хеш","oss-aion-envelope-fields.dc4e08a408":"Искане","oss-aion-envelope-fields.78e789d605":"ДОГОВОР","oss-aion-envelope-fields.d12a9ca770":"извън товара, всяко семейство","oss-aion-envelope-fields.f18dee6041":"Пликът","oss-aion-envelope-fields.f07e5a8156":"товар","oss-aion-evidence.cbf668da60":"Дневници","oss-aion-evidence.28e06c789a":"Дневникът показва, че системата е работила. Той не показва защо е постигнат отговорът и може да бъде тихо редактиран.","oss-aion-evidence.c637aebe3a":"Непрозрачен","oss-aion-evidence.5c3fc92e3f":"Оценка на увереността","oss-aion-evidence.fd3c76543b":"Едно число, обобщаващо вътрешно състояние. Две системи могат да покажат една и съща оценка и да стигнат до противоположни заключения при едни и същи данни.","oss-aion-evidence.16f3dacf52":"Без извеждане","oss-aion-evidence.7f34e37f1b":"Самоизгенерирано обяснение","oss-aion-evidence.361b70a63e":"Написано от същия модел, който е взел решението. Той оценява собствената си работа, така че не може да служи като независимо доказателство.","oss-aion-evidence.782acc59ce":"Циклично","oss-aion-evidence.477416bf24":"Доверете се на доставчика","oss-aion-evidence.1e84c62138":"Когато регулатор, пациент или съд попита „покажете работата си“, обещание на ниво услуга не е отговор, който те могат да проверят.","oss-aion-evidence.76afe0e09f":"Неверифицируем","oss-aion-evidence.06f2d5f1a8":"Сертификат, а не твърдение","oss-aion-evidence.cdcc6f712c":"AION издава сертификат за доказателство заедно с отговора. Сертификатът изброява всяка стъпка на разсъждение в реда, в който е направена.","oss-aion-evidence.6d1c5f470b":"Проверено от друг","oss-aion-evidence.cc65178dc5":"Отделен проверяващ преминава през стъпките и ги приема или отхвърля. Страната, която задава въпроса, го изпълнява сама.","oss-aion-evidence.412a3b1e5e":"Може да се изпълни отново по-късно","oss-aion-evidence.9082c552d2":"Същият сертификат се проверява по същия начин следващия месец, на друга машина, без достъп до оригиналната система.","oss-aion-evidence.1206578b48":"покажете работата си","oss-aion-evidence.494beafd71":"въпросът за одита","oss-aion-evidence.bba8b0753d":"доказателство срещу твърдение","oss-aion-evidence.00e2ca4c85":"Когато решение на ИИ достигне до регулатор, пациент или случай на безопасност, някой пита","oss-aion-evidence.1defdb9d85":"как е стигнало до този отговор.","oss-aion-evidence.290a698043":"Повечето организации не могат да дадат отговор,\n          който питащият да може да провери сам.","oss-aion-evidence.56f6624482":"Не е доказателство","oss-aion-evidence.a295517f40":"Какво се предлага днес","oss-aion-evidence.7ea014de7b":"Доказателство","oss-aion-evidence.4cb1cd3e53":"Какво предоставя AION","oss-aion-evidence.2a36a263da":"Доказателството не се твърди. Доказателството се проверява.","oss-aion-evidence.e0a4c0a385":"Независимата проверка е единственият отговор, който одиторът може да приеме.","oss-aion-exact-sum.21aaad8129":"отрицателен множител се отказва преди да се вземе сумата, при първата проверка","oss-aion-exact-sum.3b267c2a81":"без вътрешна плаваща запетая в тази верига","oss-aion-exact-sum.1a43ebe28c":"така системата е опровергана","oss-aion-exact-sum.452308dbcd":"оставаща константа","oss-aion-exact-sum.35add33a7a":"какво остава","oss-aion-exact-sum.df326a819b":"членовете с y се съкращават","oss-aion-exact-sum.dae482d4b2":"членовете с x се съкращават","oss-aion-exact-sum.c36d183406":"съберете мащабираните неравенства","oss-aion-exact-sum.79e4c9d3fa":"мащабирайте го","oss-aion-exact-sum.c3c4b24b20":"двете неравенства, всичко от едната страна","oss-aion-exact-sum.b6b4c73115":"Сумата, изцяло","oss-aion-exact-sum.c1c66bf52c":"Условията се проверяват по ред и всяко е самостоятелен отказ. Отрицателен\n            множител се отказва преди да се вземе каквато и да е сума, защото мащабирането с\n            отрицателно число обръща неравенството. Сума, в която оцелява променлив член, се\n            отказва с името на оцелелия член. Сума, чиято оставаща константа не е положителна,\n            се отказва, защото не доказва нищо. Коефициент над границата за големина предизвиква\n            препълване, а не завъртане. Нищо в тази верига не е толеранс.","oss-aion-exact-sum.6efbacfc5b":"Аритметично опровержение е набор от множители. Запишете всяко неравенство с\n            всичко от едната страна на знака, мащабирайте го, съберете мащабираните неравенства\n            и ако всеки променлив член се съкрати и каквото остане е положително число, за което\n            се твърди, че е най-много нула, това не може да е вярно, значи и системата, от която\n            произлиза, не може. AION приема тези множители на границата и ги преобразува в\n            обявено адаптивно целочислено/фиксирана запетая представяне преди проверката.\n            Той съхранява, натрупва и изчислява без вътрешни стойности с плаваща запетая и няма\n            резервен вариант с плаваща запетая. Дробта остава отпечатана тук, защото прави\n            противоречието четливо; проверката се управлява от обявеното ѝ преобразуване и мащаб.","oss-aion-exact-sum.31934abfaa":"Неговото преобразуване обявява мащаба.","oss-aion-exact-sum.a3caf489e5":"Една трета не е 0.333.","oss-aion-exact-sum.15e6a906dd":"Обявена адаптивна аритметика с фиксирана запетая","oss-aion-exact-sum.108a35964a":"сумата казва 11/6 <= 0, което е невярно,","oss-aion-exact-sum.6045546490":"y - x + 1/3 <= 0","oss-aion-exact-sum.a9171dcc84":"x - y + 3/2 <= 0","oss-aion-exact-sum.0df9336e46":"3y - 3x + 1 <= 0","oss-aion-exact-sum.022fb6347f":"2x - 2y + 3 <= 0","oss-aion-exact-sum.fb360f9c09":"да","oss-aion-exact-sum.c4c6c57253":"положително","oss-aion-exact-sum.b55e22fe78":"точно","oss-aion-exec-cert.6a230011ab":"нещо друго го проверява","oss-aion-exec-cert.2c14724b1b":"средата за изпълнение го е създала","oss-aion-exec-cert.b07722ef0c":"ограничението","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"модул за извеждане","oss-aion-exec-cert.a7b63abc02":"Какво съдържа сертификатът","oss-aion-exec-cert.e1bbfaa783":"Самоличността на получения резултат и дали е бил уловен.","oss-aion-exec-cert.59871c9494":"Резултат и състояние","oss-aion-exec-cert.ffb779a5c3":"Ограниченията, в които е работил, като граници, а не като наблюдения.","oss-aion-exec-cert.ffbc724f07":"Обхват на ресурсите","oss-aion-exec-cert.273c1da325":"Детерминиран, при даден модул, входни данни и разрешения.","oss-aion-exec-cert.acee491c99":"Преходи на състоянието","oss-aion-exec-cert.eab885bbb2":"Какво му е било позволено да достигне, обявено преди да се изпълни.","oss-aion-exec-cert.dc009dc166":"Предоставени разрешения","oss-aion-exec-cert.6f3eb29822":"Кой модул, по адрес на съдържанието, при коя версия на средата за изпълнение.","oss-aion-exec-cert.c201b4ae89":"Самоличност на модула","oss-aion-executed-under.6b6dab207c":"Какво позволява сертификатът","oss-aion-executed-under.1fcfedc78a":"до какво може да достигне","oss-aion-executed-under.0338c5441d":"Въпросът след факта е авторитетът, а сертификатът го носи.","oss-aion-executed-under.bc70ed4db9":"Четири разрешения са дадени, а три са отказани.","oss-aion-executed-under.6f9d76b8c0":"Преходите са детерминирани при даден модул, входове и разрешения, така че всичко това беше следвано, без да се изпълнява натоварването.","oss-aion-executed-under.e044b5f419":"Идентичността, която сертификатът декларира, не е идентичността, която преходите произвеждат, така че изпълнението се отказва на изхода. Всичко преди него беше реконструирано точно.","oss-aion-executed-under.7f0cc64ae8":"детерминирани преходи","oss-aion-executed-under.5fa4050afc":"набор от възможности, деклариран преди изпълнението","oss-aion-executed-under.844e9ed357":"часовник, наблюдението не е зададено","oss-aion-executed-under.b3ccbb4041":"ограничение на паметта 512 MiB","oss-aion-executed-under.1fe892a96f":"един сокет, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"четене на /var/lib/claims","oss-aion-executed-under.7a02a68db0":"не е държано","oss-aion-executed-under.685706abcf":"изходната идентичност се различава","oss-aion-executed-under.6287ff317a":"произведена","oss-aion-executed-under.0baff051a0":"декларирана","oss-aion-executed-under.1029d67644":"изход","oss-aion-executed-under.fbd34a2b6e":"модул","oss-aion-executed-under.910e029098":"илюстративен","oss-aion-executed-under.df6fe4f714":"способността да се запази след изпълнението","oss-aion-executed-under.b51590997b":"всеки друг адрес","oss-aion-executed-under.e4e545e3b7":"всичко останало във файловата система","oss-aion-fact-strip.0dc9622797":"Всяка фигура води началото си от хранилището AION.","oss-aion-fact-strip.b7feece146":"AION в числа","oss-aion-fact-strip.fedec331ff":"Библиотека, CLI и бенчмарк в едно работно пространство","oss-aion-fact-strip.13a24daf03":"Имплементация","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Двоична, целочислена и адаптивна фиксирана запетая; без вътрешна плаваща запетая","oss-aion-fact-strip.5688a0448c":"Аритметично ядро","oss-aion-fact-strip.0cae74747c":"Точно","oss-aion-fact-strip.379c055f01":"Линейно по дължина на доказателството, офлайн, без решаващо устройство","oss-aion-fact-strip.04ce84fb6e":"Разходи за верификация","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe и унифицирана междинна форма","oss-aion-fact-strip.e6c67de15e":"Формати на доказателства","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Логически теории","oss-aion-failure-notice.d8164c5dd8":"констатация, а не спор","oss-aion-failure-notice.159098bbba":"Другият започва спор, който никой не може да приключи.","oss-aion-failure-notice.814fc5cd4f":"Един от тях може да бъде изпратен на доставчик във вторник следобед.","oss-aion-failure-notice.2e6ea3eaa5":"не може да бъде присвоен, не може да бъде оценен, не може да бъде оспорен точно","oss-aion-failure-notice.e896d6344f":"проверката не бе успешна","oss-aion-failure-notice.587270a2e4":"къде отива всяко поле","oss-aion-failure-notice.ba0f0eb3fe":"предпоставката не е налице","oss-aion-failure-notice.0c2a7f4aef":"стъпка 415","oss-aion-failure-notice.55daa4a2ea":"последните четири стъпки гласят","oss-aion-failure-notice.ca548ed152":"17 март 2026 г.","oss-aion-failure-notice.3c05b129e2":"не е издадено решение","oss-aion-failure-notice.aa943932a5":"уведомление за отказ","oss-aion-failure-notice.28fb3d519e":"реконструиран","oss-aion-failure-notice.bd370d1b6f":"стъпка","oss-aion-failure-notice.910e029098":"илюстративен","oss-aion-failure-notice.e6b658331e":"и никой не е обвинен","oss-aion-failure-notice.94002635cd":"вие, ако е въпрос за обхват","oss-aion-failure-notice.7ab178c9a0":"видът","oss-aion-failure-notice.0d967ff8f3":"допълва липсващата предпоставка","oss-aion-failure-notice.b54c9b7359":"който е създал стъпката","oss-aion-failure-notice.94a94ba774":"причината","oss-aion-failure-notice.ba3167e426":"потвърждава какво трябва да прави тази стъпка","oss-aion-failure-notice.32ec97b69b":"собственикът на вашия набор от правила","oss-aion-failure-notice.b543dc38fd":"правилото","oss-aion-failure-notice.ad866c4aef":"отваря файла на стъпка 415","oss-aion-failure-notice.06fddd86f6":"екипът за проверка на доставчика","oss-aion-failure-notice.aecf66bfac":"местоположението","oss-aion-failure-notice.1d7794c5e2":"не е издадено решение за това доказателство","oss-aion-failure-notice.f4475dac73":"последица","oss-aion-failure-notice.566c7d73a0":"стъпката цитира предпоставка, която не е налице във файла","oss-aion-failure-notice.7947e92e3c":"причина","oss-aion-failure-notice.5dfa011717":"правило, резолюция","oss-aion-failure-notice.64463af8a3":"414 приети","oss-aion-failure-notice.c21ce4fb88":"прочетени стъпки","oss-aion-failure-notice.2bf60a2164":"анализът на конфликтите с доставчика за мартенския набор от правила","oss-aion-failure-notice.335ce16b3f":"тема","oss-aion-family-board.ca8f6715c8":"версионирано отделно","oss-aion-family-board.e794ff76c1":"контур, очакващ проверяващ","oss-aion-family-board.0f2e82af82":"Девет семейства споделят една обвивка и нищо друго. Десетото е","oss-aion-family-board.ca6c6dda8e":"проверяващ и деклариран набор от правила","oss-aion-family-board.c53186083e":"десетото","oss-aion-family-board.0020359543":"невалиден преход, надвишен грант, несъответствие на изхода,\n              непълна следа","oss-aion-family-board.187225126d":"таксономия на отказите","oss-aion-family-board.fac6c7230f":"възпроизвеждане на преходите спрямо декларираните\n              лимити и набор от правила","oss-aion-family-board.155e6164fc":"алгоритъм за проверка","oss-aion-family-board.924f583920":"детерминирана последователност от преходи с идентичности на входа и\n              изхода","oss-aion-family-board.c0e6022509":"представяне на доказателството","oss-aion-family-board.927f6ddf1e":"това натоварване е изпълнено под тези грантове и е достигнало този изход","oss-aion-family-board.79bf5b0ee6":"тип на твърдението","oss-aion-family-board.131097a25c":"Изпълнение по време на работа, v2","oss-aion-family-board.50b24e4d4c":"една плоча, отворена","oss-aion-family-board.803aa98470":"че записаният запис е приетият","oss-aion-family-board.3e71ceb1ca":"Целост на съхранението","oss-aion-family-board.f8603f4710":"че декларираният модел е произвел това изпълнение","oss-aion-family-board.ccc3c9b41d":"Симулация и FMI","oss-aion-family-board.d0c6b470a4":"че е изпълнено в рамките на дадените му грантове","oss-aion-family-board.dc37599f99":"Изпълнение по време на работа","oss-aion-family-board.4f059da0be":"че артефактът запазва източника","oss-aion-family-board.aad755de42":"Компилация","oss-aion-family-board.69ce9b9c4f":"че управляваната операция е извършена","oss-aion-family-board.ed87ca5ca0":"Организационно","oss-aion-family-board.0dbf90d179":"че декларираната деривация възстановява","oss-aion-family-board.e272c597fd":"Разсъждение","oss-aion-family-board.e79949ba43":"че свойство важи за всички изпълнения, не само за едно","oss-aion-family-board.bdb5a28846":"Времево и хиперсвойство","oss-aion-family-board.b83c805a0a":"че нищо по-добро не съществува в рамките на границите","oss-aion-family-board.c794704381":"Оптимизация","oss-aion-family-board.ede1ae7e54":"че никое присвояване не удовлетворява множеството","oss-aion-family-board.a04ce90d06":"Логика и изпълнимост","oss-aion-family-board.b98b54298f":"девет регистрирани, един контур","oss-aion-family-board.6253e9d668":"Семейният съвет","oss-aion-family-board.910e029098":"илюстративен","oss-aion-family-registry.6e32650bab":"и версия на всички тях","oss-aion-family-registry.dcd1f1fdc9":"четири декларации на семейство","oss-aion-family-registry.3bc3fe987d":"Грешките, които това семейство може да върне, всяка с местоположение.","oss-aion-family-registry.d129426d71":"Таксономия на отказите","oss-aion-family-registry.d4504f5b41":"Какво изпълнява проверяващият и наборът от правила, които приема.","oss-aion-family-registry.52ab770040":"Алгоритъм за проверка","oss-aion-family-registry.4c9dd89c88":"Как се носи доказателството, изводът или следата.","oss-aion-family-registry.016fecd943":"Представяне на доказателството","oss-aion-family-registry.ab1e33179a":"Какво установява това семейство и какво умишлено не установява.","oss-aion-family-registry.8a547220fc":"Тип на твърдението","oss-aion-family-registry.37094b3cc5":"преди да може да бъде проверено","oss-aion-family-registry.b14e18379b":"РЕГИСТЪР","oss-aion-family-registry.b3e4281358":"Какво декларира едно семейство","oss-aion-family-registry.7efea8ff96":"непълно","oss-aion-family-registry.995fee1f1a":"неподдържано","oss-aion-family-registry.81f344a768":"невалидно","oss-aion-foreign-proof.4c43cb0de1":"без лиценз, без среда","oss-aion-foreign-proof.9406c96fa7":"четири тънки линии между тях","oss-aion-foreign-proof.9fefe2d67f":"Четири вида работа от едната страна, четири четими обекта от другата, и","oss-aion-foreign-proof.57802c0b4e":"Верификаторът никога не е изпълнявал лявата страна и не е длъжен.","oss-aion-foreign-proof.1dfc94b110":"една разписка","oss-aion-foreign-proof.cff5f15fed":"два прехода","oss-aion-foreign-proof.d58f13fb52":"проверка на правомощията","oss-aion-foreign-proof.24ef006723":"правомощия и разписки","oss-aion-foreign-proof.933912faec":"агенти, координиращи","oss-aion-foreign-proof.2ae1de46da":"състоянието остава в рамките на обявената обвивка","oss-aion-foreign-proof.ed96565674":"контролни точки и инвариант","oss-aion-foreign-proof.0ae689c7bd":"стъпки за интеграция","oss-aion-foreign-proof.f9020659b6":"избор на ядро","oss-aion-foreign-proof.3e77a07952":"твърдения за запазване","oss-aion-foreign-proof.2bb64b9b5b":"оптимизационни проходи","oss-aion-foreign-proof.c8b39aa910":"извеждане на клаузи","oss-aion-foreign-proof.4da89bbc52":"търсене на решавателя","oss-aion-foreign-proof.51339ff0ea":"доказателството, на вашата машина","oss-aion-foreign-proof.4f45bf808d":"работата, върху производителя","oss-aion-foreign-proof.c369931988":"четири реда, нищо друго","oss-aion-foreign-proof.ec0b7e2c43":"Какво пресича границата","oss-aion-foreign-proof.44d74dd33f":"форми","oss-aion-foreign-proof.e7b1fff700":"типове","oss-aion-foreign-proof.910e029098":"илюстративен","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT и Alethe проверяват в линейно време офлайн. DRAT се проверява, после се съкращава до LRAT.\n            Unified преобразува без загуби между тях.","oss-aion-formats.14a628e6d3":"Проверено от","oss-aion-formats.dda6ac27b9":"Проверка","oss-aion-formats.34556fa12c":"Карта на формата","oss-aion-formats.e6c67de15e":"Формати на доказателства","oss-aion-formats.8a5e29e5bb":"преобразуване без загуби","oss-aion-formats.ddb7c01560":"един източник, четири форми","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# обединено междинно доказателство","oss-aion-formats.0d3311a5dc":"конвертор на aion-proofs","oss-aion-formats.1f5124d90b":"Конвертирано при експорт","oss-aion-formats.8c21b7e1f1":"Вътрешното представяне, което преобразува без загуби между останалите.","oss-aion-formats.ebb8e8cf49":"Междинна форма","oss-aion-formats.287fda8114":"Обединено","oss-aion-formats.6d56822b09":"(h1 h2))","oss-aion-formats.87d27a2d97":"t3 (cl Q) ","oss-aion-formats.6d3a4ab6e5":"(=> P Q))","oss-aion-formats.ec18650019":"cvc5, Carcara","oss-aion-formats.0cdb7c9a36":"Линейно време, офлайн","oss-aion-formats.f6f7b642b0":"Общностният формат на SMT-LIB от линията cvc5 и veriT.","oss-aion-formats.4aa5db37af":"SMT доказателство","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat редове за добавяне и изтриване","oss-aion-formats.f3ba7f38e9":"drat-trim в LRAT","oss-aion-formats.36f33c83a6":"Проверено, после съкратено","oss-aion-formats.4745aebc97":"Клаузално добавяне и изтриване. Проверките на формата съкращават до LRAT.","oss-aion-formats.154df3dc2f":"SAT сертификат","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" изведена празна клауза","oss-aion-formats.6fd630d612":" lrat с подсказки за единично разпространение","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Индустриални резолюционни доказателства за пропозиционалното ядро.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"файл, който никога не се затваря","oss-aion-four-gates.0ff8f0eb5a":"и още един накрая","oss-aion-four-gates.a1ebd8379f":"преди стъпка 1","oss-aion-four-gates.b161dbb47d":"Файлът се сканира за повтарящ се номер на стъпка най-напред.","oss-aion-four-gates.21e412d2d0":"Две стъпки, един номер","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"и един преди всички тях","oss-aion-four-gates.e74bdcd46a":"Четири теста, в този ред","oss-aion-four-gates.fef891bb33":"стъпка 15","oss-aion-four-gates.cc90eb3e73":"Няма правило за името. Четенето спира, а не прескача.","oss-aion-four-gates.787e8a8577":"Правилото е неизвестно","oss-aion-four-gates.e70c55582f":"стъпка 52","oss-aion-four-gates.59446cbcf9":"Предпоставка, която присъства, но е номерирана над стъпката, която я цитира.","oss-aion-four-gates.f1604fe1aa":"Цитирано извън ред","oss-aion-four-gates.a42f56e597":"стъпка 44","oss-aion-four-gates.371b9613cc":"Цитиран номер, който го няма никъде във файла.","oss-aion-four-gates.1d1369a316":"Предпоставката отсъства","oss-aion-four-gates.e1391a7c80":"стъпка 31","oss-aion-four-gates.9a7512e955":"Стъпка, която стои на собственото си заключение. Пита се първо, за всяка стъпка.","oss-aion-four-gates.7f30dfcc04":"Цитира себе си","oss-aion-governed-operation.b0582e8559":"Една операция, проверена","oss-aion-governed-operation.8af7f1d469":"управлявана, после проверена","oss-aion-governed-operation.ada470c3d7":"Веригата и нейната проверка са две различни власти.","oss-aion-governed-operation.90fba649e4":"Четири елемента възстановени, а петият спира четенето.","oss-aion-governed-operation.ea8356461f":"не в този сертификат: какво е мислел някой агент","oss-aion-governed-operation.2f68c232b4":"Версията на политиката, която сертификатът декларира, не носи условието, което тази порта\n                твърди, че е приложила. Операцията е отказана на този елемент и не се издава присъда\n                за цялото.","oss-aion-governed-operation.be51277bfd":"не е достигнато","oss-aion-governed-operation.57b160e317":"преминаването на проверяващия, на собствената му власт","oss-aion-governed-operation.26f017e3e6":"прието, реф. 4471-b","oss-aion-governed-operation.34c3c00446":"разписката е записана","oss-aion-governed-operation.159338740e":"инструкция за плащане, счетоводна система","oss-aion-governed-operation.80f6148b56":"действието е извършено","oss-aion-governed-operation.458c8c203d":"към действието, не към съобщение до него","oss-aion-governed-operation.1b4dcda6ba":"одобрението е приложено","oss-aion-governed-operation.303418bf06":"над 50 000 изисква втори одобряващ","oss-aion-governed-operation.faf1f5eb4b":"политическа порта","oss-aion-governed-operation.557df801be":"преходи на задачи","oss-aion-governed-operation.b1c842256e":"служител по искове","oss-aion-governed-operation.59bef6c3e5":"властта е разрешена","oss-aion-governed-operation.0639a9efd0":"четири агента, неравен обхват","oss-aion-governed-operation.8e44be8724":"организацията е формирана","oss-aion-governed-operation.139146ad26":"политика v4.2","oss-aion-governed-operation.8524f08438":"уреждане на исковете на доставчиците за тримесечието","oss-aion-governed-operation.cab7375bdf":"операцията, както я е извършил Nexus","oss-aion-governed-operation.82c8154dca":"отказано на портата","oss-aion-governed-operation.a503bc1da2":"отказано","oss-aion-governed-operation.28fb3d519e":"възстановено","oss-aion-governed-operation.45807bf2ec":"уредено","oss-aion-governed-operation.fb92f3f834":"оценено","oss-aion-governed-operation.590abaace4":"отворено","oss-aion-governed-operation.d2dc873868":"обективно","oss-aion-governed-operation.910e029098":"илюстративно","oss-aion-harness-fields.d5ad303466":"и число, което можете да цитирате","oss-aion-harness-fields.5a31ca3c0f":"вашият корпус, вашият хардуер","oss-aion-harness-fields.58664673b0":"Отпечатано върху целия корпус в края на изпълнението.","oss-aion-harness-fields.6197b910db":"Точен брой","oss-aion-harness-fields.175226a475":"В сравнение със статуса, записан в самия файл.","oss-aion-harness-fields.d787e678da":"Отговор спрямо статуса","oss-aion-harness-fields.b5ec587356":"Самото търсене, за всеки екземпляр, не осреднено.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Време за решаване","oss-aion-harness-fields.bec737ff93":"Колко време е отнело четенето на файла, отделено от решаването.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Време за анализ","oss-aion-harness-fields.20e5752f58":"Върховата стойност, така че планът за капацитет да има число.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Пикова резидентна памет","oss-aion-harness-fields.b660370132":"един файл от вашия корпус","oss-aion-harness-fields.ec845d015d":"за всеки екземпляр, след това общо","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Какво записва едно изпълнение","oss-aion-harness-fields.b3cbdd75cb":"опроверган","oss-aion-harness-fields.48a3661d84":"статус","oss-aion-harness-fields.25dc282b5a":"отговор","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Решаване...","oss-aion-hero-glyph.3d08723a54":"Резултат: SAT","oss-aion-hero-glyph.9e1279af1f":"Модел:","oss-aion-hero-glyph.45dcf6e46f":"  x = 1","oss-aion-hero-glyph.81ef4e711c":"  y = 3","oss-aion-hero-glyph.70f4daaa7f":"Време: 4ms","oss-aion-hero-glyph.138243f0f4":"Резултат: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Доказателство: 128 стъпки","oss-aion-hero-glyph.41294a8dc8":"Доказателството е записано в: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Проверка на доказателството: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Разбор: OK","oss-aion-hero-glyph.27d28e3ca9":"Доказателството има 128 стъпки","oss-aion-hero-glyph.1ba94dea63":"Статистика на доказателството:","oss-aion-hero-glyph.e1b3c4d7c5":"  Общо стъпки: 128","oss-aion-hero-glyph.e30b86fef9":"  Стъпки на резолюция: 71","oss-aion-hero-glyph.8215376faf":"  Аритметични стъпки: 24","oss-aion-hero-glyph.552f29f0b5":"  Максимален размер на клауза: 6","oss-aion-hero-glyph.fc539fcf62":"Проверка на доказателството: УСПЕШНА","oss-aion-hero-glyph.1e4bdfb80c":"Време за проверка: 2ms","oss-aion-hero-glyph.adf0423d63":"aion-cli v0.1.0","oss-aion-hero-glyph.e01fa717ba":"Офлайн","oss-aion-hero-glyph.9ce3bd4224":"OK","oss-aion-hero-glyph.46d61005d2":"echo $?","oss-aion-hero-glyph.bb7a461c7e":"CDCL + теория","oss-aion-hero-glyph.6ba46a924e":"адаптивна неподвижна точка","oss-aion-hero-glyph.a9f24b1b66":"проверка за линейно време","oss-aion-hero-glyph.6b5eb5323e":"Сертификатът е приложен","oss-aion-how-to-check.c799cc998b":"Резултат: това е правилно.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"Първата машина предава своята разписка на отделен помощник, който я проверява","oss-aion-how-to-check.d026bcfccb":"Резултатът е ясен: разписката излиза вярна или не. Няма „може би“.","oss-aion-how-to-check.d0c84a5a37":"Проверката става точно там, където си. Нищо не се изпраща настрани и не е нужен уебсайт.","oss-aion-how-to-check.623151a710":"Помощникът, който проверява, не е машината, която е отговорила. Той не може просто да се съгласи със себе си.","oss-aion-how-to-check.87e974a415":"я прочита и проверява","oss-aion-how-to-check.3c487e646c":"Втори помощник","oss-aion-how-to-check.78829f8a37":"стъпките, записани","oss-aion-how-to-check.9b7b265fbb":"Разписката","oss-aion-how-to-check.f58fd2cb80":"дава отговор и разписка","oss-aion-how-to-check.50e90303d4":"Първата машина","oss-aion-integration.b1873dbd42":"Един двигател, без външна услуга. Свържете крейта, фиксирайте версия и проверявайте сертификатите в същата среда.","oss-aion-integration.5f2e7d7c25":"Един и същ доказателствен сертификат от всяка повърхност. Заявка на входа, проверим сертификат на изхода.","oss-aion-integration.a4db3ae8b6":"Как го извиквате","oss-aion-integration.4ec6d609ab":"Започнете с един път на решение","oss-aion-integration.559461e293":"библиотека, CLI, бенчмарк","oss-aion-integration.0228a4c724":"Всеки може да провери сертификат с aion check или с независим LRAT или Alethe чекър на собствената си машина.","oss-aion-integration.dda6ac27b9":"Проверете","oss-aion-integration.4d2c6036eb":"Поставете aion-cli зад собствена услуга. Доказателственият сертификат е договорът, който услугата връща.","oss-aion-integration.c3447e7954":"Обвийте","oss-aion-integration.f9109d0f04":"Добавете крейта към съществуващо Rust приложение и издавайте сертификати вградено с отговорите, които то вече произвежда.","oss-aion-integration.ad02e14e28":"Вградете","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Специализиран бенчмарк бинари се доставя в работното пространство. Измерете решаването и проверката на собствен хардуер, вместо да се доверявате на цифра от доставчика.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Управлявайте AION от шел или CI задача. solve изпълнява заявка, check проверява доказателствен сертификат офлайн, а prove издава такъв. Същият доказателствен изход като библиотеката.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Свържете AION като крейт и извиквайте директно решавателя и емитера на доказателства. Ядрото, теориите и форматите за доказателства са изцяло в процеса, без нужда от услуга.","oss-aion-integration.8319d9b3b9":"Rust библиотека","oss-aion-live-margins.df15dfd304":"едно от тях е действие","oss-aion-live-margins.96576608a5":"три от тях са показания","oss-aion-live-margins.5711ac01c1":"ПРОСЛЕДЕНО","oss-aion-live-margins.f719aa9511":"изминало спрямо разрешеното","oss-aion-live-margins.a344938438":"Четири задължения","oss-aion-live-margins.19e5ecc09e":"същия ден, на събитието","oss-aion-live-margins.828697f103":"Запис за прехвърляне","oss-aion-live-margins.222af170d9":"44 дни от 30, все още отворено","oss-aion-live-margins.a441e09d1a":"Прозорец за съхранение","oss-aion-live-margins.30e04c8f23":"2 дни от 3","oss-aion-live-margins.20d6944505":"Уведомление за нарушение","oss-aion-live-margins.9b9419d2e2":"26 дни от 30","oss-aion-live-margins.6e7d6c760b":"Отговор на субекта","oss-aion-nothing-outbound.45b9d8acdc":"без изходящ клиент","oss-aion-nothing-outbound.5b16b5db9a":"Всеки път започва и завършва в рамките на линия, която вие сте начертали.","oss-aion-nothing-outbound.59a0768496":"Нищо на този лист не излиза извън контура.","oss-aion-nothing-outbound.71c31d8219":"локален процес на тази машина","oss-aion-nothing-outbound.605f85e28f":"външен доказващ","oss-aion-nothing-outbound.150bc2359d":"една подмрежа, зададена от вас","oss-aion-nothing-outbound.5193678a39":"адреси на клъстера","oss-aion-nothing-outbound.49c4e670b3":"вашата мрежа","oss-aion-nothing-outbound.273ca4c134":"това, което конфигурирате","oss-aion-nothing-outbound.7f8d7aeedb":"пет реда","oss-aion-nothing-outbound.bcec1ac359":"това, което този път добавя към вашия регистър","oss-aion-nothing-outbound.4553aa0c94":"локалното хранилище","oss-aion-nothing-outbound.93d65d8ef8":"архивът","oss-aion-nothing-outbound.760cfc52ce":"проверяващият","oss-aion-nothing-outbound.6621d172f5":"четеният набор от правила","oss-aion-nothing-outbound.565f3cfc6a":"проверяваният сертификат","oss-aion-nothing-outbound.284f61c8db":"вашият сайт, вашият хардуер","oss-aion-nothing-outbound.f368a04bb8":"една граница, и тя е ваша","oss-aion-nothing-outbound.5c795b7e7d":"нито един път не излиза","oss-aion-nothing-outbound.4f98b1412d":"Нищо не излиза извън периметъра","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"Изданието, което държите, не се променя под вас.","oss-aion-nothing-outbound.07b9a651d1":"График за пускане от доставчик, който да следите","oss-aion-nothing-outbound.8fa0bea3f8":"Нито една наша услуга не е на пътя.","oss-aion-nothing-outbound.11449c8bd3":"Зависимост за наличност, която да запишете","oss-aion-nothing-outbound.66506ab77b":"Не се извиква никакъв модел.","oss-aion-nothing-outbound.af474ee96b":"Доставчик на модел, който да оцените","oss-aion-nothing-outbound.f2250926d2":"Нищо не излиза извън границата.","oss-aion-nothing-outbound.e80e5b3403":"Трансграничен трансфер, който да обосновете","oss-aion-nothing-outbound.0bd87fb406":"Никакъв процесор на този път.","oss-aion-nothing-outbound.9494490634":"Процесор, който да добавите","oss-aion-obligation-calendar.366609b500":"поле, не паника","oss-aion-obligation-calendar.3c8532b3c7":"Правилото в средата е мястото, където евтиното решение вече не беше налично.","oss-aion-obligation-calendar.949b1361f5":"И двете стойности са показания, които всеки може да вземе тази сутрин.","oss-aion-obligation-calendar.7758d9c282":"изисква се действие","oss-aion-obligation-calendar.4ebebe0b7c":"-14 дни","oss-aion-obligation-calendar.6937bf485d":"започнало преди този месец","oss-aion-obligation-calendar.37ed878825":"прозорец за задържане","oss-aion-obligation-calendar.3974c3ac47":"+4 дни","oss-aion-obligation-calendar.aa69fdaab6":"отворено, разрешени 30 дни","oss-aion-obligation-calendar.c6727ea40c":"отговор на темата","oss-aion-obligation-calendar.51269d14af":"последният ден, в който това все още беше работа за следобед","oss-aion-obligation-calendar.96a8ebf797":"примерни дати","oss-aion-obligation-calendar.fdcce3f37e":"едно е след срока си","oss-aion-obligation-calendar.11ddafb2cc":"Един месец задължения","oss-aion-obligation-calendar.a2620cbc10":"ден","oss-aion-one-contract-six.d3926ca64d":"един регистър, един засегнат набор","oss-aion-one-contract-six.c4d72c2328":"Техните доказателства следват една обвивка на AION.","oss-aion-one-contract-six.a7e545052a":"Резултатите на производителите остават различни.","oss-aion-one-contract-six.5cbf78425a":"едно правило се променя, проверете отново засегнатите записи","oss-aion-one-contract-six.f5c6772ad7":"една опашка за повторна проверка","oss-aion-one-contract-six.d3516bd6ea":"един регистър и запис за съхранение","oss-aion-one-contract-six.2ec012da6f":"една обвивка на AION","oss-aion-one-contract-six.2c653cc8fa":"същите седем производители, чрез една обвивка на AION","oss-aion-one-contract-six.725c682066":"различни резултати, специфични за семейството проверяващи","oss-aion-one-contract-six.cddf74f2cf":"седем резултата на производители","oss-aion-one-contract-six.f063fe5bcd":"седем резултата отгоре, една обвивка отдолу","oss-aion-one-contract-six.c34e6d1a39":"седем производители, една обвивка за доказателства","oss-aion-one-contract-six.910e029098":"илюстративен","oss-aion-one-contract-six.67bb73569c":"сертификат за симулация","oss-aion-one-contract-six.7966a9fa49":"сертификат за компилация","oss-aion-one-contract-six.1111f590cc":"организационен сертификат","oss-aion-one-contract-six.293194c28e":"сертификат за разсъждение","oss-aion-one-contract-six.8aa194122c":"запис за логическо доказателство","oss-aion-one-contract-six.30870de828":"идентичност на модела, параметри, състояние, контролни точки, инварианти и хеш на траекторията","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"модул, входни данни, предоставени права, преходи, ограничения и изход","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"изходен граф, трансформации, инварианти и идентичност на артефакта","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"правомощия, политики, одобрения, преходи и разписки","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"извеждане на ограничения и върнати доказателства от решаващия модул","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"доказателство, модел, ядро, свидетел или граница","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Изпълнимо, неизпълнимо или оптимално","oss-aion-one-contract-six.8f7924f6f5":"Специфичен за семейството верификатор на решаващия модул","oss-aion-one-contract-six.2e9d2d4990":"Заключение от декларирани ограничения","oss-aion-one-contract-six.0e7a123b77":"Верификатор на разсъжденията на Loom","oss-aion-one-contract-six.3c1a0d119e":"Завършена управлявана операция","oss-aion-one-contract-six.6c2ed5435d":"Организационен верификатор на Nexus","oss-aion-one-contract-six.07b127b70d":"Компилиран артефакт","oss-aion-one-contract-six.4f9018da9e":"Верификатор за компилация на Kera","oss-aion-one-contract-six.1f42a0b0ce":"Изпълнено натоварване","oss-aion-one-contract-six.5a3c8f1f84":"Верификатор за изпълнение на Selvedge","oss-aion-one-contract-six.8879cc2e8a":"Симулирана траектория","oss-aion-one-contract-six.0d72478caf":"Верификатор за симулация и FMI","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Завършено FMU изпълнение","oss-aion-one-contract-six.8f5753fba0":"FMU идентичност, конфигурация, стъпки, събития, сходимост и следа","oss-aion-one-contract-six.4d64b5bbaf":"Верификатор за симулация и FMI","oss-aion-one-contract-six.6f99b37c1c":"Твърдение","oss-aion-one-contract-six.4cb3ee8fa2":"Доказателство","oss-aion-one-contract-six.0f3253d8d8":"Верификатор","oss-aion-one-envelope.3b24a9a880":"осем полета, с версии","oss-aion-one-envelope.a348113c09":"кой\n          верификатор го чете.","oss-aion-one-envelope.08ace6c26e":"едно поле решава","oss-aion-one-envelope.396e2145f9":"Четири вида доказателства, един отвор и","oss-aion-one-envelope.dc1a7be459":"почиваше на второто","oss-aion-one-envelope.ddc01a5859":"твърдение за траектория","oss-aion-one-envelope.7f211a50e2":"набор от параметри","oss-aion-one-envelope.8f2aa45103":"идентичност на модела","oss-aion-one-envelope.23e75e07fb":"избран от полето за тип на сертификата, а не от този, който го е изпратил","oss-aion-one-envelope.4e4dc30b71":"кой верификатор го чете","oss-aion-one-envelope.c8c687f0ff":"същият отвор, всеки път","oss-aion-one-envelope.b5a871e570":"купчина разписки","oss-aion-one-envelope.f90f47de4d":"поредица от преходи","oss-aion-one-envelope.3116f117c0":"таблица за преминаване","oss-aion-one-envelope.134483f4a2":"доказателство с клаузи","oss-aion-one-envelope.93a8ee0c5f":"какво влиза","oss-aion-one-envelope.582a139a7d":"маршрутизирано по тип","oss-aion-one-envelope.6b9805fe87":"Един плик, четири полезни товара","oss-aion-one-envelope.3dde401523":"изпълнение по време на работа","oss-aion-one-envelope.708563c595":"ed25519, проверено","oss-aion-one-envelope.f2e0576c5b":"две, посочени по-долу","oss-aion-one-envelope.f7b7603261":"запечатано, 41 kB","oss-aion-one-envelope.15aae6195c":"полезен товар на сертификата","oss-aion-one-envelope.6732222b05":"тип на сертификата","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"версия на договора","oss-aion-one-envelope.b578b9727d":"без двойно таксуване за периода 2026-06","oss-aion-one-envelope.a503bc1da2":"отказано","oss-aion-one-envelope.51c817ab85":"прието","oss-aion-one-envelope.495117c360":"зависимости","oss-aion-one-envelope.910e029098":"илюстративно","oss-aion-one-field-apart.e704601d64":"оста, а не извадка","oss-aion-one-field-apart.5c256bca81":"Резултатът се промени с нея, и това е констатация, а не статистика.","oss-aion-one-field-apart.7a1e726c2f":"Две заявления, идентични по всички публични полета, различаващи се само с едно число.","oss-aion-one-field-apart.084f6c9ebe":"всяка двойка, която правилата допускат","oss-aion-one-field-apart.ddaee9368d":"хиляда тествани случая","oss-aion-one-field-apart.4c4ccacd1b":"двойка, която можете да поставите във файл","oss-aion-one-field-apart.6fddc6a6d1":"група B,","oss-aion-one-field-apart.dbf68713b1":"същата линия, стъпаловидна","oss-aion-one-field-apart.8c6c701170":"случаят, който не минава","oss-aion-one-field-apart.0f9dcd24f1":"резултатът не зависеше от това поле","oss-aion-one-field-apart.154b3f8e44":"група B, 3 оферти","oss-aion-one-field-apart.4392f1d89c":"една линия, без стъпка","oss-aion-one-field-apart.02de2da27e":"случаят, който издържа","oss-aion-one-field-apart.b7de103af7":"брутна заплата, оставена свободна от двете страни","oss-aion-one-field-apart.c86b5b3346":"равенство от двете страни","oss-aion-one-field-apart.54bb687f85":"примерни заявления","oss-aion-one-field-apart.b69108366c":"резултатът прави стъпка при двойката","oss-aion-one-field-apart.e79b0df746":"Разлика от едно поле","oss-aion-one-field-apart.e1fef06921":"оферти","oss-aion-one-field-apart.8699f2b04f":"постоянна","oss-aion-one-field-apart.06e3125012":"заетост","oss-aion-one-field-apart.305fa62f02":"30 до 39","oss-aion-one-field-apart.c6a0c81b25":"възрастова група","oss-aion-one-field-apart.61a7508ed1":"основен","oss-aion-one-field-apart.38a007151a":"продукт","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"регион","oss-aion-one-word.95fa084cc9":"един от тях AION проверява","oss-aion-one-word.ce157273ec":"три от тези, в които вярвате","oss-aion-one-word.a04376ab99":"и какво можете да правите с него","oss-aion-one-word.1a5b0d2471":"ПРОПАСТТА","oss-aion-one-word.69dc71b6f9":"С какво пристига резултатът","oss-aion-one-word.8d40d2bfcc":"Типизирани твърдения, всяко от които назовава правило, преход или предпоставка.","oss-aion-one-word.2f8acfe792":"Сертификат","oss-aion-one-word.b04dce1dd0":"Колко време отне да се убедим. Сигурността не е въпросът.","oss-aion-one-word.7eb987f893":"Продължителност","oss-aion-one-word.8388e9c8ba":"Какво е направила системата. Не защо следва заключението.","oss-aion-one-word.40d0f0d4b5":"Дневник","oss-aion-one-word.e7597ba59a":"unsat, компилирано, безопасно, одобрено. Няма какво да оспорите.","oss-aion-one-word.ae976ad8e9":"Една дума","oss-aion-org-cert.dd25bad09c":"и всяко едно е проверено","oss-aion-org-cert.e8add8f2b8":"организация, роли, задачи и одобрения запълват празнините","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"от целта до разписката","oss-aion-org-cert.0a629276bf":"Осем елемента във веригата","oss-aion-org-cert.51e6694762":"Какво реално е направено навън и какво се е върнало.","oss-aion-org-cert.4f0a23ec14":"Действия и разписки","oss-aion-org-cert.b249df120c":"Всяка граница, през която е преминала работата, и какво я е освободило.","oss-aion-org-cert.5eaad4eb5f":"Преминати порти","oss-aion-org-cert.aba30ac5b8":"Коя роля какво е притежавала в момента, в който е било опитано действието.","oss-aion-org-cert.145ae750ce":"Разрешени правомощия","oss-aion-org-cert.f8a4dc9c6b":"Какво е било опитвано и под коя версия на политиката.","oss-aion-org-cert.63fbd2b7ee":"Цел и политика","oss-aion-pipeline.b07bbe8800":"Пропозиционално ядро","oss-aion-pipeline.81f811c968":"Търсене, управлявано от конфликти, с усвояване на клаузи върху булевия скелет. То решава, разпространява, среща конфликт, усвоява клауза и прави обратен скок. Двоичните, целочислените и адаптивните стойности с фиксирана запетая лежат в основата на процедурата за вземане на решения; в аритметичното ядро не се съхраняват, натрупват или използват стойности с плаваща запетая като резервен вариант.","oss-aion-pipeline.dc0dd5bc07":"решения и усвоени клаузи","oss-aion-pipeline.0c5ad3c30f":"Теоретични добавки","oss-aion-pipeline.f3a7990ab0":"Ядрото предава частично присвояване на теоретичния слой. Аритметиката, битовите вектори, масивите и низовете разсъждават в своите собствени области и връщат разпространения и конфликти. Външният вход с плаваща запетая се декодира на границата в двоични полета или в обявен мащаб с фиксирана запетая, преди да се включи в проверката. Ядрото помещава тези механизми за разсъждаване; темпоралните и програмните теории живеят в съпътстващи крейтове.","oss-aion-pipeline.9d1b00d225":"теоретични леми и конфликти","oss-aion-pipeline.fa6a461dcc":"Емитер на доказателства","oss-aion-pipeline.b3ca95c05c":"Всяка стъпка, която двигателят предприема, всяка резолюция и всяка теоретична лема, се записва от емитера на доказателства в момента, в който се случва. Резултатът е подредено извеждане, което отделен проверяващ може да преиграе спрямо неговите предпоставки.","oss-aion-pipeline.17ac98f8af":"подредено извеждане","oss-aion-pipeline.26d98dc390":"Експорт на формат","oss-aion-pipeline.a79251f54d":"Изводът е записан като LRAT, DRAT или Alethe, или се запазва в обединената междинна форма. LRAT носи подсказки за единично разпространение, което прави офлайн проверката линейна спрямо дължината на доказателството.","oss-aion-pipeline.8c3cee1cd3":"преносим сертификат","oss-aion-pipeline.77ec79ed26":"решение за сертификат","oss-aion-pipeline.c320454a47":"CDCL + теория + емитер","oss-aion-pipeline.a618b4be8d":"Заявка","oss-aion-pipeline.10de46b3b3":"Сертификат","oss-aion-pipeline.62923220ae":"Цяло число / фиксирана запетая.","oss-aion-pipeline.4961117925":"Без стойности с плаваща запетая в ядрото.","oss-aion-pipeline.591118af56":"Верига от резолюции.","oss-aion-pipeline.39dfacd414":"Всяка стъпка цитира предпоставките, от които зависи, в ред.","oss-aion-pipeline.7fc7b98317":"Независим от проверяващия.","oss-aion-pipeline.f0bef425b5":"Сертификатът се възпроизвежда без решаващия модул.","oss-aion-pipeline.a73bc5ed23":"Архитектура, CDCL ядро, теорийни плъгини, емитер на доказателства","oss-aion-plain-card.7e190a46ae":"Машина дава отговор","oss-aion-plain-card.b8941c136d":"Компютър сам изчислява нещо за теб. Просто трябва да му вярваш на думата.","oss-aion-plain-card.1232ecf314":"Той също пише разписка","oss-aion-plain-card.af7230bfb9":"AION кара машината да отпечата малка разписка до отговора. Разписката показва всяка стъпка, която е довела до него.","oss-aion-plain-card.262d1681dd":"Всеки може да провери разписката","oss-aion-plain-card.7d35d2e097":"Твоят собствен помощник чете разписката и казва: да, това излиза, или не, това е грешно. Изобщо не трябва да вярва на първата машина.","oss-aion-plain-card.e8146bafb5":"AION, с прости думи","oss-aion-plain-card.0b081a8ef4":"Разписката е включена","oss-aion-plain-card.a32564404b":"Представи си платена разписка. Когато купиш нещо, получаваш лист хартия, който доказва, че\n          магазинът ти е взел точната сума. Можеш да покажеш тази разписка на всеки и той може да я\n          провери сам.","oss-aion-plain-card.d5d9b99b9c":"AION прави същото за компютъра.","oss-aion-plain-card.2cc68d964c":"Когато машина даде\n          отговор, AION ти подава разписка, която показва, че отговорът е верен, и всеки може да я провери.","oss-aion-plain-card.374c644917":"Никога не трябва просто да вярваш на машината. Разписката доказва.","oss-aion-plain-refusal.7d7fc8edd4":"Същото обяснение важи за вас и за всеки, който го преглежда, защото е едно\n            обяснение","oss-aion-plain-refusal.40c2416b25":"случай, който можете да прочетете, а не кръст, който не можете","oss-aion-plain-refusal.f795b42ea6":"Свободното място на тази карта се възстановява изцяло на 1 август, след два дни.","oss-aion-plain-refusal.3ae2a82129":"когато това се случи","oss-aion-plain-refusal.a6012020ae":"Или 150 евро повече свободно място на картата, или плащане от 90 евро или по-малко.","oss-aion-plain-refusal.74b2c9301b":"какво би го променило","oss-aion-plain-refusal.e88b1876e6":"90 евро не покриват 240 евро, така че плащането и оставащото място не могат да съществуват едновременно.","oss-aion-plain-refusal.d649363397":"коя част го нарушава","oss-aion-plain-refusal.ec7a8f0a8d":"Плащането беше 240 евро. Свободното място на картата днес беше 90 евро.","oss-aion-plain-refusal.fcd45ae097":"вашата ситуация","oss-aion-plain-refusal.e51b51ac5a":"Плащане преминава само ако свободното място на картата днес го покрива.","oss-aion-plain-refusal.93823841cb":"какво гласи правилото","oss-aion-plain-refusal.9bc7984374":"Защо не е минало","oss-aion-plain-refusal.549840f998":"Когато правило е нарушено, AION описва ситуацията, която го е нарушила, с обикновени изречения, в които са включени числата. Плащането е било за толкова, остатъкът по картата днес е бил по-малко от това, и заедно тези два факта нарушават правилото. Можете да го прочетете, да не сте съгласни с него точно, или да промените единственото нещо, което трябва да се промени. Кръстче в квадратче не ви дава нищо от това, и не е по-кратко, само по-празно.","oss-aion-plain-refusal.3b50831d8a":"Автоматизирано решение, което ви отказва, е по-лошо от това, взето от човек, защото обикновено няма какво да попитате. Отказът пристига завършен. Това, което получавате, е резултатът и, ако имате късмет, референтен номер, а пътят до действително обяснение е жалба, която отнема седмици и стига до някой, който също не е бил замесен.","oss-aion-plain-refusal.ada63e5c2f":"Работен случай е.","oss-aion-plain-refusal.462f7e9213":"„Не е разрешено“ не е причина.","oss-aion-plain-refusal.5abdfa9cd6":"Разликата","oss-aion-plain-refusal.68c46e84d7":"обикновен","oss-aion-reasoning-cert.0f1fb3d007":"и всеки елемент е проверен","oss-aion-reasoning-cert.98ec75a261":"границите и крайното твърдение допълват седемте","oss-aion-reasoning-cert.433b925481":"Какво беше изключено и предпоставките, които го изключиха.","oss-aion-reasoning-cert.13382efd7c":"Противоречия","oss-aion-reasoning-cert.e856a27527":"Подпроблемът, който излезе, и доказателството, което се върна.","oss-aion-reasoning-cert.92324f5363":"Сертификати на решаващия модул","oss-aion-reasoning-cert.fe451714e4":"Всеки по име, в реда, в който е приложен.","oss-aion-reasoning-cert.e0d40a5309":"Приложения на правила","oss-aion-reasoning-cert.e0753c6513":"Какво е било в сила, в коя версия, когато работата е изпълнена.","oss-aion-reasoning-cert.b9366c0dbf":"Активни ограничения","oss-aion-reasoning-cert.a04ed61a81":"решаващият модул","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"седем елемента","oss-aion-reasoning-cert.eb64d71581":"Какво носи един сертификат за разсъждение","oss-aion-reasoning-chain.126806353c":"обявено, после проверено","oss-aion-reasoning-chain.751e90e830":"Всяко от тях е артефакт, оставен от разсъждението, и всяко се чете.","oss-aion-reasoning-chain.bc96941170":"Четири ограничения, две прилагания на правила, едно преминаване на решавателя и едно противоречие.","oss-aion-reasoning-chain.57fa7b904f":"Тук се проверява изводът, който системата е обявила, елемент по елемент.","oss-aion-reasoning-chain.e0aa3695ac":"ядро 01 02 04, а 03 не е в него","oss-aion-reasoning-chain.e3338dab26":"двойното таксуване е изключено","oss-aion-reasoning-chain.a43e177c4c":"04 възстановяването обръща","oss-aion-reasoning-chain.becc703d80":"обединено таксуване","oss-aion-reasoning-chain.398df239b3":"от 01 и 02","oss-aion-reasoning-chain.373c5eb4cc":"чете се стъпка по стъпка, затваря се","oss-aion-reasoning-chain.45f358826b":"върнато от доказвача, в Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"битов вектор и равенство, нищо друго не пресича","oss-aion-reasoning-chain.34fcd5c8c7":"подпроблема, запечатана","oss-aion-reasoning-chain.8c7f764922":"при брой повторни опити, от 02 и 03","oss-aion-reasoning-chain.7c960fefa4":"три повдигнати в ядрото, едно останало на мястото си","oss-aion-reasoning-chain.eeacd6e80f":"активни ограничения, с думите на отговорния човек, който ги е написал","oss-aion-reasoning-chain.0ee0bb12eb":"Тази конфигурация не може да доведе до двойно таксуване в рамките на един отчетен период.","oss-aion-reasoning-chain.c0644670d0":"твърдението, което Loom прави","oss-aion-reasoning-chain.9616861141":"илюстративно твърдение и версии","oss-aion-reasoning-chain.e4f7c8c782":"ядрото назовава три, изчиства едно","oss-aion-reasoning-chain.43c7dffedb":"Едно заключение, отворено","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"от 8 и 9","oss-aion-reasoning-chain.3d26486c4c":"от 8","oss-aion-reasoning-chain.5a6d9bdd37":"от 3 и 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Възстановяването отменя плащането, което посочва.","oss-aion-reasoning-chain.4c449f834c":"Периодът на фактуриране приключва в полунощ на последния ден.","oss-aion-reasoning-chain.a663638447":"Повторният опит никога не води до второ плащане.","oss-aion-reasoning-chain.0d43228516":"Плащане се начислява веднъж за всяка завършена доставка.","oss-aion-reassure.38a3bd59d5":"Идеята е проста: никога не вярвай на машината на думата. Запази причина, която втори проверяващ може да тества.","oss-aion-reassure.0ccc7397a4":"Не. Разписката може да бъде проверена точно там, където си, без нищо да се изпраща през интернет.","oss-aion-reassure.5bea629f3e":"Изпраща ли се отговорът ми някъде?","oss-aion-reassure.af397dc934":"Тя е изградена в Европа. Отделен проверяващ, не машината, която е създала отговора, проверява всяка разписка.","oss-aion-reassure.7de6360d68":"Откъде идва?","oss-aion-reassure.a93d9edbec":"Не. Не трябва сам да изграждаш нищо от това. Магазинът, болницата или офисът го използва вместо теб. Просто получаваш по-ясен отговор.","oss-aion-reassure.39af3a44b7":"Трябва ли да съм умел с компютрите?","oss-aion-reassure.bdbcd6057e":"Да. Разписката може да бъде проверена отново без оригиналния модел, сесия, акаунт или интернет връзка.","oss-aion-reassure.aa1b0d7005":"Може ли да бъде проверена по-късно?","oss-aion-receipt.36889df54f":"Никога не го правите сами. Когато магазин или офис го използва вместо вас, това е бележката,\n          която могат да ви дадат.","oss-aion-receipt.46fbbfb5be":"Всеки може да я прочете и да провери, че всичко е точно.","oss-aion-receipt.9c258dd430":"и трябва да му вярвате. С AION\n            машината също ви дава малката бележка отляво. Тя показва въпроса, стъпките и\n            отговора.","oss-aion-receipt.013700f8eb":"Обикновена машина просто казва","oss-aion-receipt.12df5bb228":"Ваша за запазване","oss-aion-receipt.7b8544fad0":"Проверено","oss-aion-receipt.def2581739":"Разписка за отговор","oss-aion-receipt.6e17da21e4":"Примерна разписка за отговор","oss-aion-receipt.f2688d32ea":"Попитайте отново и ще получите същия отговор и същата бележка, на всеки компютър.","oss-aion-receipt.2379231efe":"Еднакво всеки път","oss-aion-receipt.a4b884c0e4":"Вашият собствен помощник проверява бележката точно там, където сте, без нищо да се изпраща настрани.","oss-aion-receipt.930888ee28":"Без интернет","oss-aion-receipt.7a019cc1d2":"Причината е написана на бележката, а не скрита в машината. Можете да я запазите или да я покажете.","oss-aion-receipt.47b716baec":"В писмена форма","oss-aion-receipt.92ed516e5b":"Да, и ето защо.","oss-aion-receipt.7011b1a621":"Отговорът","oss-aion-receipt.8ab9465666":"Вашият случай беше съпоставен с него.","oss-aion-receipt.16bb8dfc44":"Стъпка втора","oss-aion-receipt.d3ca88b9f3":"Правилото беше прочетено изцяло.","oss-aion-receipt.e97cc54395":"Стъпка първа","oss-aion-receipt.afd2793ce0":"Имам ли право на това възстановяване?","oss-aion-receipt.d79cce547d":"Въпросът","oss-aion-recheck-list.09d5defeae":"два реда, две имена","oss-aion-recheck-list.fd3e1afd0e":"или, много по-често, изобщо нищо.","oss-aion-recheck-list.459f160ffa":"Без версията зад всеки ред, същото известие води до повторен преглед на\n          всичко,","oss-aion-recheck-list.cade8a80df":"списъка и кой го притежава","oss-aion-recheck-list.6f13975269":"все още съвместим","oss-aion-recheck-list.48f8969999":"изисква се повторно четене","oss-aion-recheck-list.af0f44d357":", променено в","oss-aion-recheck-list.4202e0844e":"Правилото за границата на оптималност се тълкува по-строго. Граница, посочена точно на лимита,\n              вече не се приема като под него.","oss-aion-recheck-list.1c26bb5963":"публикувано на 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Checker v7.0","oss-aion-recheck-list.9ffcf8f72b":"примерни записи","oss-aion-recheck-list.dc490c03ae":"две от пет маркирани","oss-aion-recheck-list.7316018edf":"Засегнатите записи","oss-aion-recheck-list.2237af7cd3":"правилото за граница на оптималност","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Оптимален маршрут, депо север","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Изграждане на фърмуер, шлюз 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Оценка на съгласие, кампания 44","oss-aion-recheck-list.3c54a1df45":"вътрешно","oss-aion-recheck-list.b8d251e8cd":"Пакетно изчисление на цени","oss-aion-recheck-list.dce56394a1":"План на графика, седмица 12","oss-aion-recheck-list.48a3661d84":"статус","oss-aion-recheck-list.29e5b9a8e6":"проверка","oss-aion-recheck-list.51c817ab85":"приет","oss-aion-recheck-list.e2979e7595":"доставчик","oss-aion-recheck-list.335ce16b3f":"тема","oss-aion-recheck-list.796a88413e":"J. Okonkwo, операции","oss-aion-recheck-list.90916dd844":"Проверете отново, след това потвърдете посочената граница с доставчика.","oss-aion-recheck-list.00e67572db":"M. de Vries, защита на данните","oss-aion-recheck-list.e4faeae968":"Проверете отново съхранения сертификат спрямо v7.0.","oss-aion-record-fields.8580937ae7":"всеки един произвежда свой собствен засегнат набор","oss-aion-record-fields.632f62dd8b":"схема на сертификат завършва седемте","oss-aion-record-fields.7039b2f0bd":"където е сега","oss-aion-record-fields.74b489c3d1":"където беше","oss-aion-record-fields.5d5dc3b7c3":"УСТОЙЧИВ","oss-aion-record-fields.c2a1a83804":"и това не са само правила за доказателство","oss-aion-record-fields.12b83ffb63":"Какво може да се промени отдолу","oss-aion-record-fields.91b3cb991a":"по-нова версия на модела","oss-aion-record-fields.e1ab670f61":"Договор за модел или симулация","oss-aion-record-fields.da15b4cbb5":"самото твърдение се премести","oss-aion-record-fields.26e4976c38":"Договор за компилатор или среда за изпълнение","oss-aion-record-fields.cb2c2e30b7":"изчистено под друго","oss-aion-record-fields.43e275dea3":"Политика","oss-aion-record-fields.521a7a8570":"се чете по различен начин сега","oss-aion-record-fields.58fd9f572c":"Правило за проверка","oss-aion-refusal-fields.432aa8565f":"справка, която някой може да проследи","oss-aion-refusal-fields.36a85f9074":"не червен кръст","oss-aion-refusal-fields.fe71871083":"ИЗВЕСТИЕ","oss-aion-refusal-fields.4f84be92c8":"за да може някой да действа по него","oss-aion-refusal-fields.fa31a3ca39":"Какво съдържа отказът","oss-aion-refusal-fields.5647a1c020":"реши чия констатация е","oss-aion-refusal-fields.11c0add347":"Дефект в доказателството или правило, което не прилагаме. Не е едно и също.","oss-aion-refusal-fields.a74aa40f65":"Видът","oss-aion-refusal-fields.d3144a7994":"виж какво не е било там","oss-aion-refusal-fields.060958d8fd":"Какво е липсвало или е било грешно, когато е било преработено.","oss-aion-refusal-fields.a7dc07c061":"Причината","oss-aion-refusal-fields.3b21710b2e":"провери какво е трябвало да направи","oss-aion-refusal-fields.f80b017fdb":"Какво се твърди, че прави стъпката.","oss-aion-refusal-fields.0056e788fc":"Правилото","oss-aion-refusal-fields.89abf35df5":"отворете го на този ред","oss-aion-refusal-fields.3dac51b71a":"Коя стъпка, по номер, в кой файл.","oss-aion-refusal-fields.2fb8438f32":"Местоположението","oss-aion-reviewable.e0cb1b89aa":"не само авторът","oss-aion-reviewable.f29c4ff9dd":"собственикът го преглежда","oss-aion-reviewable.c6465865b0":"вашето изречение","oss-aion-reviewable.ed6912ad70":"ПРЕГЛЕД","oss-aion-reviewable.5867cc6bd5":"без изучаване на нотация","oss-aion-reviewable.8f8dec6da0":"Какво вижда рецензентът","oss-aion-reviewable.da8643122f":"Име, дата и версия на потвърденото изречение.","oss-aion-reviewable.7c92afb7f9":"Подписано потвърждение","oss-aion-reviewable.340e6b4675":"Повторният преглед чете същото, защото нищо не е взело проба от модел.","oss-aion-reviewable.b08be2b959":"Едно и също всеки път","oss-aion-reviewable.d3a2628a1c":"Всяко количество е назовано, с вида стойност, която съдържа.","oss-aion-reviewable.2587914ff8":"Върху какво работи","oss-aion-reviewable.f0a2aa51a4":"Едно изречение, което казва какво кодира цялото условие.","oss-aion-reviewable.5a47a1dcaf":"Обикновено четене","oss-aion-reviewable.aee2d461c7":"Непроменено, в началото, както са го написали.","oss-aion-reviewable.7488358db7":"Тяхното собствено изречение","oss-aion-risk-ledger.1a0f2538e1":"Пет оперативни експозиции, заменени с един сертификат, който друг проверяващ може да провери.","oss-aion-risk-ledger.4b32d8f574":"С AION","oss-aion-risk-ledger.2e34d48ba3":"Обичайният начин","oss-aion-risk-ledger.d1d7499182":"ПРЕТЕГЛЕНИ ЕДНА ДО ДРУГА","oss-aion-risk-ledger.02c7234156":"Възпроизведи разсъжденията офлайн и се увери сам.","oss-aion-risk-ledger.b5058e1c76":"Вярвай на доставчика на думата, че отговорът е бил верен.","oss-aion-risk-ledger.d2e183faa1":"Колко да му се доверим","oss-aion-risk-ledger.96f0603563":"Сертификатът се проверява без нито едно от тях.","oss-aion-risk-ledger.04312971f3":"Оригиналният модел, сесията на решаващия инструмент и услугата трябва все още да са налични.","oss-aion-risk-ledger.2df1215b19":"От какво зависи проверката","oss-aion-risk-ledger.8ddd34c358":"Работи на собствен хардуер, в юрисдикция, която одобряваш.","oss-aion-risk-ledger.c3fe4a906f":"Решенията се обясняват на сървъри, които не контролираш.","oss-aion-risk-ledger.242ebe0c39":"Къде се намират данните","oss-aion-risk-ledger.75eb05728b":"Стандартните формати за доказателства остават независимо проверими.","oss-aion-risk-ledger.46d3f9eccd":"Обяснението изчезва заедно с оригиналната услуга.","oss-aion-risk-ledger.8ea6189e84":"Когато средата за изпълнение се промени","oss-aion-risk-ledger.21ff58d6a7":"Предавате сертификат, който одиторът може сам да провери.","oss-aion-risk-ledger.934929b924":"Изпращате лог файлове и се надявате, че ще бъдат приети като доказателство.","oss-aion-risk-ledger.8632e0b3b5":"Когато одиторът попита","oss-aion-rule-refusal.c354dff2de":"няма присъда след 15","oss-aion-rule-refusal.0fc2b67ff7":"при първата стъпка се проваля","oss-aion-rule-refusal.d7cb461a4b":"Четири теста в определен ред и четенето спира","oss-aion-rule-refusal.ad9deadf27":"един идентификатор на клауза, използван за две клаузи","oss-aion-rule-refusal.ffc05ba511":"ос, обявена върху литерал, който клаузата не съдържа","oss-aion-rule-refusal.5af32fb7c4":"подсказка, цитираща стъпката, която трябва да обоснове","oss-aion-rule-refusal.fbf5522f0e":"закрепена от враждебния пакет","oss-aion-rule-refusal.d3b27b8f89":"не се затвори","oss-aion-rule-refusal.0f04e9ee60":"литерали, все още стоящи на последната клауза","oss-aion-rule-refusal.90f9cbf1cb":"край на файла","oss-aion-rule-refusal.196a925493":"индекс на предпоставка, от 1 до 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, правило по правило","oss-aion-rule-refusal.b14e7fc954":"спряно на 15","oss-aion-rule-refusal.ce0ed8058b":"Едно доказателство, прочетено от началото","oss-aion-rule-refusal.af0cbd46a2":"цитирано извън ред","oss-aion-rule-refusal.165a394589":"от 61 и 20","oss-aion-rule-refusal.dd39474e4f":"липсва предпоставка","oss-aion-rule-refusal.6edfd31763":"от 88","oss-aion-rule-refusal.d18b697772":"цитира себе си","oss-aion-rule-refusal.5c7bf112ac":"от 31 и 18","oss-aion-rule-refusal.64b0295aa0":"неподкрепено правило","oss-aion-rule-refusal.5e2428fc82":"от 14","oss-aion-rule-refusal.a7e8697338":"от 12 и 13","oss-aion-rule-refusal.ba08b53848":"от 4","oss-aion-rule-refusal.2a1be725ca":"12 резолюция","oss-aion-rule-refusal.54a0121f57":"от 4 и 9","oss-aion-rule-refusal.8ffe1b4177":"известно правило","oss-aion-rule-refusal.ebed34abd2":"под собственото си","oss-aion-rule-refusal.d182b65e15":"налице предпоставка","oss-aion-rule-refusal.a503bc1da2":"отказано","oss-aion-rule-refusal.3a21295d81":"магазин","oss-aion-same-except-one.279e6c9e96":"едно е обработено по-долу","oss-aion-same-except-one.87ca0e7356":"граници, изводи и произход на модела допълват седемте","oss-aion-same-except-one.72b459f8cc":"СВОЙСТВА","oss-aion-same-except-one.25119f6e70":"и семейството, което носи всяко","oss-aion-same-except-one.ed6552be04":"Твърдения, които можете да правите","oss-aion-same-except-one.633255fe41":"Тази траектория спази тези инварианти.","oss-aion-same-except-one.6b403d2a35":"Това действие имаше необходимото одобрение.","oss-aion-same-except-one.ac5d8ada02":"Това натоварване работи при тези възможности.","oss-aion-same-except-one.5e8efc64f2":"Този двоичен файл съответства на тази графика на изходния код.","oss-aion-same-except-one.81c0e8e986":"симулация","oss-aion-same-except-one.92fe1455a7":"организационен","oss-aion-same-except-one.1e21474598":"изпълнение","oss-aion-same-except-one.023646ce84":"компилация","oss-aion-same-rule-parts.3326352b94":"тези три го надживяват","oss-aion-same-rule-parts.b33174d833":"отговорът е един ред","oss-aion-same-rule-parts.490fbefa4b":"предай същата работа два пъти и проверката излиза същата","oss-aion-same-rule-parts.ce173fc797":"Задържано за втора проверка.","oss-aion-same-rule-parts.60c6fa6f09":"отговорът","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"след като отговорът пристигне","oss-aion-same-rule-parts.3fea5c7183":"Три неща, които запазваш","oss-aion-same-rule-parts.f460809c86":"Кога е проверена работата и от какво е проверена.","oss-aion-same-rule-parts.1f26226511":"записът","oss-aion-same-rule-parts.f3488c72aa":"Датата","oss-aion-same-rule-parts.7e9a6ac9d7":"Правилото, цитирано обратно, с твоята собствена ситуация вътре в него.","oss-aion-same-rule-parts.fa1f96a2cc":"отпечатано с отговора","oss-aion-same-rule-parts.a7dc07c061":"Причината","oss-aion-same-rule-parts.51240e4e03":"Обикновени думи, запазени, за да можете да я прочетете на глас на всекиго.","oss-aion-same-rule-parts.f901c543a0":"както някой го е написал","oss-aion-same-rule-parts.0056e788fc":"Правилото","oss-aion-same-rule-thrice.8716c9d2d1":"цитируемо от всички трима","oss-aion-same-rule-thrice.56daaad027":"Никой не тълкува случая на никого на място.","oss-aion-same-rule-thrice.fe8d9a24bc":"Три имена, три дати, една причина дума по дума.","oss-aion-same-rule-thrice.2d4e5d243a":"същите думи и в трите писма","oss-aion-same-rule-thrice.36c5f05f0e":"Заявката ми беше задържана, защото всяка заявка от сметка, която някога е била на минус,\n              се задържа за втора проверка. Това ли искахте да прави?","oss-aion-same-rule-thrice.47b69ccfd4":"каквото и да е от тримата може да напише","oss-aion-same-rule-thrice.5441126254":"причината, с вашите цифри","oss-aion-same-rule-thrice.e026ce35f8":"правилото, с думи","oss-aion-same-rule-thrice.c6b6fdf0c8":"Заявката ви е задържана","oss-aion-same-rule-thrice.4af8028f5b":"Това се отразява на всеки, който някога е бил на минус за седмица.","oss-aion-same-rule-thrice.43d7f6edd9":"Всяка заявка от сметка, която някога е била на минус, се задържа за втора проверка.","oss-aion-same-rule-thrice.d5dff79fd0":"правилото, както го е написал отговорният човек","oss-aion-same-rule-thrice.660cf69152":"една и съща причина, три пъти","oss-aion-same-rule-thrice.2aa5baf4fa":"едно правило, трима души","oss-aion-same-rule-thrice.2969c22def":"овърдрафт за един ден през август 2024 г.","oss-aion-same-rule-thrice.db55a373e5":"2 юли","oss-aion-same-rule-thrice.7f557aff7f":"М. Хаас","oss-aion-same-rule-thrice.8a1c6f7c01":"овърдрафт за два дни през ноември 2021 г.","oss-aion-same-rule-thrice.8a343dea89":"19 юни","oss-aion-same-rule-thrice.6faee1ef44":"Дж. Окоро","oss-aion-same-rule-thrice.6eff9026e2":"овърдрафт за шест дни през март 2023 г.","oss-aion-same-rule-thrice.e46936527e":"4 юни","oss-aion-same-rule-thrice.ecdfc6f435":"А. Вермеер","oss-aion-same-rule-thrice.c818558b96":"Сметката ви е била в овърдрафт в даден момент, затова тази заявка се задържа за втора проверка.","oss-aion-same-rule-thrice.69449f994d":"реф","oss-aion-same-rule-thrice.910e029098":"илюстративен","oss-aion-second-reader.e2a4a212d5":"посочването на реда е полезната част","oss-aion-second-reader.b31aece7ea":"съгласието е лесно","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"какво прави второто четене","oss-aion-second-reader.d160172930":"Пресмятане отново","oss-aion-second-reader.0bd3d42b28":"Различна програма, без причина да предпочита отговора.","oss-aion-second-reader.2c814bb70c":"Не е първата машина","oss-aion-second-reader.b792afd627":"И казва коя стъпка, така че има какво да се посочи.","oss-aion-second-reader.4a195096b0":"Спира при първата грешка","oss-aion-second-reader.58f56fa2c3":"Пресмята отново, вместо да се доверява, че е било направено.","oss-aion-second-reader.5abf0b9df4":"Прави всяка стъпка","oss-aion-second-reader.de8f44bd3b":"Не отговорът. Стъпките, които трябваше да доведат до него.","oss-aion-second-reader.0a461499ae":"Чете решението","oss-aion-second-sum.2517e33359":"място, а не присъда","oss-aion-second-sum.1f31706279":"Това, от което се нуждаехте, беше редът, и ето го.","oss-aion-second-sum.1b06fb1625":"И двете колони достигат обща сума, и едната от тях е грешна.","oss-aion-second-sum.715f45331b":"Четенето спира на пет, вместо да продължи към шест, защото проверка, която пропуска стъпка, която не може да излезе, не е проверка.","oss-aion-second-sum.be51277bfd":"не е достигнато","oss-aion-second-sum.a90d766915":"тази стъпка не излиза","oss-aion-second-sum.b214ae4ce2":"същият ход, при работа на машина, записан","oss-aion-second-sum.e4cddfd229":"Всеки може сам да събере колоната и да стигне до същия ред. Това е цялата идея, пренесена към работа, която никой не може да види.","oss-aion-second-sum.a72b4463ba":"Двете колони съвпадат за три реда. Пръстенът обикаля реда, където се разделят, а не общата сума, защото общата сума никога не е била полезното нещо, за което да се спори.","oss-aion-second-sum.136fc39d05":"Десет цента, и е при ябълките.","oss-aion-second-sum.1104f28cf8":"за плащане","oss-aion-second-sum.51111a2b99":"магазинът, вторник","oss-aion-second-sum.e9594ccf76":"те се разделят при ябълките","oss-aion-second-sum.bb470fd83f":"същата колона, добавена два пъти","oss-aion-second-sum.0220a293b9":"искът е платен","oss-aion-second-sum.f7e5a74a1f":"това, което остава за плащане, се натрупва","oss-aion-second-sum.597b954c29":"франшизата е приспадната","oss-aion-second-sum.edccd745a8":"сумата е под лимита за този ремонт","oss-aion-second-sum.709d0bb348":"ремонтът е в списъка на покритите","oss-aion-second-sum.1396b1459a":"сметката е била отворена в деня на иска","oss-aion-second-sum.d2fc512490":"молив","oss-aion-second-sum.1c8f15dab7":"отпечатан","oss-aion-second-sum.910e029098":"илюстративен","oss-aion-second-sum.f6c1ab8181":"сапун","oss-aion-second-sum.bcef7a0462":"сирене","oss-aion-second-sum.76c2436b59":"ябълки","oss-aion-second-sum.44213f9f4d":"кафе","oss-aion-second-sum.6ff291d817":"хляб","oss-aion-second-sum.cf5dbf0ec5":"мляко","oss-aion-sentence-returns.e9a72f31df":"вашите думи, двата края","oss-aion-sentence-returns.254545287c":"Осем месеца по-късно непознат я чете, не резюме от нея.","oss-aion-sentence-returns.f0e71316de":"Един човек написа изречение и го прибра.","oss-aion-sentence-returns.4c51f16cb4":"Нищо между тези две четения не научи нищо, не промени мнението си или не\n            имаше по-добра идея.","oss-aion-sentence-returns.06152533dc":"второ таксуване към една поръчка в рамките на един месец на фактуриране не е разрешено","oss-aion-sentence-returns.fb3e6817f1":"от четенето година по-късно","oss-aion-sentence-returns.32af205ca5":"от четенето през март","oss-aion-sentence-returns.0b1eb314b5":"същото изречение, прочетено отново година по-късно","oss-aion-sentence-returns.547a49e160":"поръчка 44-8127 беше таксувана на трети ноември и отново на деветнадесети","oss-aion-sentence-returns.d3141af6d8":"това, което се е сблъскало с него","oss-aion-sentence-returns.a2d40412ef":"второ таксуване към една поръчка в рамките на един месец на фактуриране","oss-aion-sentence-returns.0ee2593cc5":"частта, която не беше изпълнена","oss-aion-sentence-returns.43015fadc4":"Никой не трябва да бъде таксуван два пъти за една и съща поръчка в един и същи месец.","oss-aion-sentence-returns.2ce9eb0823":"правилото, с думите, с които е написано","oss-aion-sentence-returns.5c4173fbcf":"9 ноември, изпратено на клиента","oss-aion-sentence-returns.96ec36f99b":"Таксуване беше спряно","oss-aion-sentence-returns.14da1cff14":"осем месеца","oss-aion-sentence-returns.b59f623fe2":"четено като","oss-aion-sentence-returns.6a250da793":"14 март, от човека, който отговаря за фактурирането","oss-aion-sentence-returns.8766d15f20":"същите думи в двата края","oss-aion-sentence-returns.33e656aa3a":"едно изречение, осем месеца разлика","oss-aion-sentence-returns.6180960e2c":"написано","oss-aion-sentence-returns.910e029098":"илюстративен","oss-aion-side-by-side-rule.1462946510":"йерархията е обърната","oss-aion-side-by-side-rule.dc685ee970":"е най-малкият набор, най-отдолу.","oss-aion-side-by-side-rule.37ba9a07a7":"Единственият ред тук, който никой не трябва да може да прочете","oss-aion-side-by-side-rule.24205c8d5e":"Тялото на този лист е това, което беше поискано.","oss-aion-side-by-side-rule.136ec48046":"версия на изречението 3","oss-aion-side-by-side-rule.5714c84617":"9 април 2026 г.","oss-aion-side-by-side-rule.fba84627ef":"Илзе Верховен, фактуриране","oss-aion-side-by-side-rule.4c1493cdf2":"условието, както е съхранено","oss-aion-side-by-side-rule.5050bceb24":"това, върху което работи","oss-aion-side-by-side-rule.70a7ded724":"Вторично начисление срещу референция, която вече е била начислена в рамките на периода на фактуриране, се отказва.","oss-aion-side-by-side-rule.decbbbcbea":"Никой клиент не може да бъде таксуван два пъти за една и съща референция в един период на фактуриране.","oss-aion-side-by-side-rule.41f5b5d765":"не се изисква обозначение","oss-aion-side-by-side-rule.fd9d8f9d79":"потвърдено от собственика","oss-aion-side-by-side-rule.dbd8504696":"лист за преглед","oss-aion-side-by-side-rule.b714510ded":"колко пъти тази референция вече е била начислена","oss-aion-side-by-side-rule.71aa03cd23":"броят на начисленията","oss-aion-side-by-side-rule.8f404d9e59":"месецът, в който попада начислението","oss-aion-side-by-side-rule.28db3c4a10":"периодът на фактуриране","oss-aion-side-by-side-rule.7bbf8d007a":"идентификаторът, срещу който се прави начислението","oss-aion-side-by-side-rule.333190a7a5":"референцията","oss-aion-silent-wrong.e516f1474a":"стъпка 40, правилото е неизвестно","oss-aion-silent-wrong.52c4b2ffb7":"къде е спряло","oss-aion-silent-wrong.bdc9060b3b":"Осем изпълнения върнаха осем думи. Само това, което е записало работата си,\n          може да каже","oss-aion-silent-wrong.dc3fb44cee":"отказът назовава граница","oss-aion-silent-wrong.d55eb7e866":"Този четец няма правило с това име на стъпка 40, затова е спрял там. Печатът\n            така и не е бил положен и не е издадена присъда.","oss-aion-silent-wrong.d04a61e19e":"какво е произвело четенето","oss-aion-silent-wrong.b31f1a6015":"алете, от стъпка 38 нататък","oss-aion-silent-wrong.74cb6750e3":"една от тях, изписана","oss-aion-silent-wrong.c9266795e0":"осем системи, осем резултата","oss-aion-silent-wrong.d7d4ae123f":"илюстративно, едно изпълнение от осем","oss-aion-silent-wrong.3c05b129e2":"не е издадена присъда","oss-aion-silent-wrong.c6dc61d79f":"Осем думи, една от тях отворена","oss-aion-silent-wrong.64494819a0":"предпоставка 40, празната клауза","oss-aion-silent-wrong.9dae957efd":"предпоставка 39","oss-aion-silent-wrong.52e787751c":"предпоставки 31 и 38","oss-aion-silent-wrong.36901d48ad":"предпоставки 12 и 31","oss-aion-silent-wrong.e00bcd7ac6":"работният процес е одобрен","oss-aion-silent-wrong.fd40251b0b":"симулацията е сходяща","oss-aion-silent-wrong.9204d100a8":"политиката е приета","oss-aion-silent-wrong.51c817ab85":"прието","oss-aion-silent-wrong.4d64c22879":"повтори","oss-aion-silent-wrong.94ec44c4f4":"вярвам","oss-aion-silent-wrong.4848901b39":"оптимално","oss-aion-silent-wrong.bf31c52c32":"безопасно","oss-aion-silent-wrong.231e564db4":"завършено","oss-aion-silent-wrong.bac2ad9d5d":"компилирано","oss-aion-silent-wrong.d203c40ac4":"неизпълнимо","oss-aion-sim-cert.d836eab67a":"физическата валидност не е","oss-aion-sim-cert.8f9800edbe":"тук се проверяват съответствието и свойствата","oss-aion-sim-cert.d982b6fdda":"дали моделът представя света, остава отговорност на собственика на модела","oss-aion-sim-cert.c27ccdf78d":"физическа валидност","oss-aion-sim-cert.99c6aa48cb":"не е отговорено никъде","oss-aion-sim-cert.e4125aa830":"заявените свойства важат по време на изпълнението или следата се връща","oss-aion-sim-cert.24fa71fdd6":"инвариантни проверки","oss-aion-sim-cert.82ffe3f79b":"обявените модел, параметри и конфигурация са произвели тази траектория","oss-aion-sim-cert.8c30aa1c6e":"съответствие на изпълнението","oss-aion-sim-cert.790f468e4d":"отговорено тук","oss-aion-sim-cert.f6bceb137b":"TWIN И FMI","oss-aion-sim-cert.cf2b82cb4f":"модел към траектория","oss-aion-sim-cert.a7b63abc02":"Какво носи сертификатът","oss-aion-sim-cert.07ecfba93e":"траектория и статус","oss-aion-sim-cert.6874c92610":"последователност от събития","oss-aion-sim-cert.e77c056cdc":"параметри и начално състояние","oss-aion-sim-cert.720a1e14e6":"идентичност на модела и FMU","oss-aion-source-to-artefact.ce10986f79":"От източника до сертификата","oss-aion-source-to-artefact.c1ce053887":"поименно, не общо","oss-aion-source-to-artefact.75a0766041":"Общо твърдение не би могло да се провали никъде.","oss-aion-source-to-artefact.b5e1e87d48":"Три твърдения са посочени поименно и това, което се проваля, посочва етапа, на който се проваля.","oss-aion-source-to-artefact.8732c432be":"Че всеки етап в последователността е верен като цяло. Никой сертификат тук не казва, че\n                компилаторът е добър, и никой от тях не е длъжен да го казва.","oss-aion-source-to-artefact.64d8424b5b":"какво не твърди","oss-aion-source-to-artefact.302df26f74":"граф на източника","oss-aion-source-to-artefact.e95689d184":"към референтната имплементация, върху обявената входна област","oss-aion-source-to-artefact.0ca9407ef6":"ядрено еквивалентен","oss-aion-source-to-artefact.5e68638068":"обявеното запазване на формата не важи на този етап за дадената входна област","oss-aion-source-to-artefact.ab2050f59e":"формите на тензорите са запазени","oss-aion-source-to-artefact.213addbd25":"при канонизиране и сливане, за всеки обявен тип","oss-aion-source-to-artefact.9deae195e3":"типовете са запазени","oss-aion-source-to-artefact.2297843111":"опт. ниво 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"твърдението за формата е отказано","oss-aion-source-to-artefact.2fa9505626":"артефакт","oss-aion-source-to-artefact.910e029098":"илюстративен","oss-aion-source-to-artefact.9f939ff8a4":"избор на ядро","oss-aion-sovereignty.0fe4587501":"Проверката остава там, където се съхраняват доказателствата: до системата, която ги генерира, в услуга за преглед или в изолиран архив.","oss-aion-sovereignty.2d7bdcb19f":"Решенията ви остават под ваш контрол.","oss-aion-sovereignty.9426b99215":"Цифров суверенитет","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe и унифицираният формат правят сертификатите независимо проверими извън първоначалната среда за изпълнение.","oss-aion-sovereignty.25c4717a63":"Преносими формати за доказателства","oss-aion-sovereignty.d99f32de40":"Проверката на доказателство работи напълно офлайн. Не разчитате на отдалечена услуга, която може да промени условията си или да изчезне.","oss-aion-sovereignty.34ebf0117d":"Без външна зависимост","oss-aion-sovereignty.44a8a39a30":"Във вашия собствен център за данни или в регион по ваш избор. Обосновката зад дадено решение не трябва да пресича граница, която не сте одобрили.","oss-aion-sovereignty.331242fd64":"Работи там, където изберете","oss-aion-sovereignty.599b928605":"AION е изграден в Европа и неговият инструмент за проверка може да остане в същите европейски граници като решенията, които проверява.","oss-aion-sovereignty.45f9bdf22b":"Европейски по произход","oss-aion-split-parts.cc0d7be136":"и енклавът не променя нищо","oss-aion-split-parts.a2fb24de32":"стандартната компилация няма изходящ клиент","oss-aion-split-parts.ffd75a18c4":"РАЗГРЪЩАНЕ","oss-aion-split-parts.91f8c088aa":"и какво е нужно на всеки от тях","oss-aion-split-parts.758bd7cc2a":"Четири начина да го стартирате","oss-aion-split-parts.400bd9a040":"Разпределено между машини и сглобено само след проверка на покритието.","oss-aion-split-parts.bb3d98dfee":"Разпределен","oss-aion-split-parts.74da65bc96":"Във вашата граница, на адреси, които сами задавате.","oss-aion-split-parts.664046e78a":"Услуга","oss-aion-split-parts.ce2ab3edc4":"Насочете го към сертификат. Нищо друго не трябва да работи.","oss-aion-split-parts.a7218c8eca":"Команда","oss-aion-split-parts.eefb3bac5d":"Вградено във вашия процес. Питайте и отговаряйте, без да се записва файл.","oss-aion-split-parts.fa66edb7bd":"Библиотека","oss-aion-stays-here.e3e08ad140":"нищо не напусна стаята","oss-aion-stays-here.18ab547f60":"Този празен лист е цялото твърдение.","oss-aion-stays-here.907d22f7f0":"Нищо не е нарисувано между кутията и трите неща до нея.","oss-aion-stays-here.001b06036c":"не е на тази снимка","oss-aion-stays-here.8c84675037":"връзка към друга машина в същата организация, изключена, докато някой не я настрои\n              нарочно","oss-aion-stays-here.e3527ba222":"Отговорът идва с линията надолу, защото линията никога не е била част от него.","oss-aion-stays-here.caf3a041c8":"Закъснението беше седемдесет и пет минути, което е повече от час, така че резервацията е\n                анулирана и цената се връща на картата, от която е платена.","oss-aion-stays-here.7296ef48e5":"какво се върна","oss-aion-stays-here.395ee2333f":"анулирането прекратява резервацията и връща цената","oss-aion-stays-here.46d2008236":"час означава шестдесет минути, без закръгляне","oss-aion-stays-here.2fd4fcb567":"закъснението се брои от часа, отпечатан на билета","oss-aion-stays-here.f5b422b60e":"писмените правила, спрямо които се чете","oss-aion-stays-here.ee04bc3b23":"Анулирай резервацията ми само ако закъснението е повече от час.","oss-aion-stays-here.af5509db2b":"какво въведе","oss-aion-stays-here.3cbd68d678":"машината пред теб","oss-aion-stays-here.531aa138ac":"отговорено без да напускаш","oss-aion-stays-here.fb23ddcc1c":"един въпрос, едно място","oss-aion-stays-here.96ccbc62ab":"думите ти не са нещо, което някой друг получава","oss-aion-stays-here.1b215d440d":"машина някъде другаде, която чете изречението ти","oss-aion-stays-here.b5a5c63d23":"не е нужно да работи нищо външно, за да дойде отговорът","oss-aion-stays-here.b5c483d9d9":"услуга, която трябва да е налична","oss-aion-stays-here.fa287ade3d":"нищо не пита кой си, защото нищо не трябва да знае","oss-aion-stays-here.d5a3ef8b78":"акаунт, в който да влезеш","oss-aion-stays-here.910e029098":"илюстративен","oss-aion-stays-here-list.56a6e8f9a7":"и няма какво да се предаде","oss-aion-stays-here-list.57eef35c96":"без чакане","oss-aion-stays-here-list.a64eab5744":"за какво чака","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"и за какво никога не чака","oss-aion-stays-here-list.13591491d9":"С какво работи","oss-aion-stays-here-list.1458464f09":"Няма за какво да се регистрирате, така че няма от какво да сте клиент.","oss-aion-stays-here-list.257fa99e08":"Без акаунт","oss-aion-stays-here-list.b165f2d684":"Изречението ви се проверява спрямо правила, в същата стая като вас.","oss-aion-stays-here-list.37a25e4e99":"Писани правила","oss-aion-stays-here-list.7ee33f1c7a":"Работата се случва там, където сте, и никой друг не трябва да работи.","oss-aion-stays-here-list.d3612f57d8":"Машината, на която сте","oss-aion-supplier-answer.6d6ddcd4c1":"едно изявление, четири празни реда","oss-aion-supplier-answer.a5d36ba87c":"Нито един от четирите въпроса не е отговорен никъде в листа.","oss-aion-supplier-answer.d09481b0a5":"Всяка дума в него е вярна и някой го е подписал.","oss-aion-supplier-answer.cec9b36162":"14 март 2026 г.","oss-aion-supplier-answer.22715d5cb9":"Конфигурацията, подадена на 12 март 2026 г., е проверена и не съдържа конфликти.","oss-aion-supplier-answer.1e0a1891e8":"реф. SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"сертификат за съответствие","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"четири без отговор","oss-aion-supplier-answer.910e029098":"илюстративен","oss-aion-supplier-answer.f86e5cfb14":"Ще остане ли валидно след промяната във вторник?","oss-aion-supplier-answer.bbe7a72e5a":"Върху чии данни и колко от тях?","oss-aion-supplier-answer.c25776701b":"Срещу коя версия на нашия набор от правила?","oss-aion-supplier-answer.84d9ed92b5":"Кои условия са били действително проверени?","oss-aion-theory-matrix.ac8d77d669":"Пропозиционална","oss-aion-theory-matrix.3d52a6d8fe":"логика","oss-aion-theory-matrix.42f3aff840":"Булева изпълнимост с конфликтно управляно клаузално обучение. Началната точка за всяка друга теория.","oss-aion-theory-matrix.6078532ab2":"Квантификатори","oss-aion-theory-matrix.02f664dd36":"Логика от първи ред с инстанциране, базирано на модели. Разсъждава за forall и exists върху поддържаните типове.","oss-aion-theory-matrix.49167dbc57":"Линейна аритметика","oss-aion-theory-matrix.45f053dc73":"Аритметика","oss-aion-theory-matrix.876aafb6c1":"Линейна целочислена аритметика и вход с реални стойности в деклариран мащаб. Вътрешно проверяващият модул използва цели числа или адаптивни стойности с фиксирана запетая.","oss-aion-theory-matrix.b618fadea3":"Нелинейна","oss-aion-theory-matrix.fd99188844":"Нелинейна целочислена аритметика и вход с реални стойности в деклариран мащаб. Проверяващият модул използва цели числа или адаптивни стойности с фиксирана запетая, но никога стойности с плаваща запетая.","oss-aion-theory-matrix.d11f66aff2":"Вход с плаваща запетая","oss-aion-theory-matrix.19080aec82":"Входът по IEEE 754 се приема само на границата, след което се декодира в двоични полета преди проверката. Вътрешно не се съхраняват, натрупват или изчисляват стойности с плаваща запетая.","oss-aion-theory-matrix.914807cdef":"Битови вектори","oss-aion-theory-matrix.e5e429bcc9":"Данни","oss-aion-theory-matrix.23c278d5ca":"Двоични думи с фиксирана ширина и семантика на препълване. За проверка на хардуер и проверка на двоични протоколи.","oss-aion-theory-matrix.b90cc9bfd2":"Масиви","oss-aion-theory-matrix.eac25fcfc6":"Теория на масивите с аксиоми за select и store. Решимите фрагменти се проследяват изрично.","oss-aion-theory-matrix.3816c4beac":"Низове","oss-aion-theory-matrix.8e5a47db7d":"Словесни уравнения, ограничения за дължина и проверка за принадлежност към регулярни изрази върху низове.","oss-aion-theory-matrix.0efe5fd2a3":"Времева","oss-aion-theory-matrix.ab14d0a7db":"Програми","oss-aion-theory-matrix.12dfdaf96a":"придружаващ crate","oss-aion-theory-matrix.dd600bd946":"Фрагменти от линейна и разклонена времева логика за разсъждения за поведението във времето.","oss-aion-theory-matrix.bb8c6ec608":"Вероятностна","oss-aion-theory-matrix.042a4dc40b":"Разсъждения за вероятностни програми, включително извод в стил на вероятностен Datalog.","oss-aion-theory-matrix.1e1837d4e8":"Конкурентна","oss-aion-theory-matrix.60e30b1d8e":"Разсъждения за конкурентни програми и за преплитанията, които техните нишки могат да произведат.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"покритие на теориите","oss-aion-theory-matrix.4329e5da7b":"11 логически домейна","oss-aion-theory-matrix.dc1baa8539":"ядро + придружаващи","oss-aion-theory-matrix.5b1e898fc0":"Теория","oss-aion-theory-matrix.cd89376f98":"Живее в","oss-aion-theory-matrix.df1e1e1732":"Единадесет теории, всеки разсъждаващ модул произвежда стъпки, които емутерът на доказателства може да запише и проверяващ модул може да възпроизведе.","oss-aion-theory-matrix.36ce8cbd4c":"PROP до CONCUR","oss-aion-three-questions.381a478392":"Два отговора, една граница","oss-aion-three-questions.b695e87b19":"два отговорени, един притежаван","oss-aion-three-questions.9f5234300d":"Третият въпрос не е наш и казването на това е, което прави първите два струващи\n          нещо.","oss-aion-three-questions.8149763299":"Съответствието се запазва, един инвариант се проваля със своята траектория.","oss-aion-three-questions.5974dafe20":"вратата е нарисувана толкова солидно, колкото стената","oss-aion-three-questions.392d2df212":"Собственикът на модела държи този въпрос и го държи постоянно. Никой сертификат тук\n                не го докосва и никой от тях не го подразбира тихо.","oss-aion-three-questions.c27ccdf78d":"физическа валидност","oss-aion-three-questions.dbbe530d6c":"представлява ли този модел реалния свят","oss-aion-three-questions.44b8fe96f9":"стъпка 1 284, p = 8.14 bar","oss-aion-three-questions.dcf63117f5":"контрапример, повдигнат и увеличен","oss-aion-three-questions.ed4bde3030":"налягането в контура остава под 8 bar","oss-aion-three-questions.4676659f50":"байпасният клапан никога не се отваря два пъти в една стъпка","oss-aion-three-questions.045757b8af":"температурата на връщане остава под 95 C","oss-aion-three-questions.24fa71fdd6":"проверки на инварианти","oss-aion-three-questions.846ee97ae5":"издържат ли посочените инварианти през целия прогон","oss-aion-three-questions.17f80cae31":"Прогонът се възпроизвежда от това, което сертификатът декларира.","oss-aion-three-questions.ba01008496":"t = 4.20","oss-aion-three-questions.ff4e31b5a8":"x0 = 2.5","oss-aion-three-questions.a74e1bd7e0":"t = 1.75","oss-aion-three-questions.63df9305f6":"толеранс 1e-6","oss-aion-three-questions.884f613dc6":"t = 0.00","oss-aion-three-questions.0c1ded1963":"стъпка 0.01 s","oss-aion-three-questions.8c30aa1c6e":"съответствие на изпълнението","oss-aion-three-questions.b3c58a82bd":"дали декларираният модел и конфигурация произведоха тази траектория","oss-aion-three-questions.5d3f336ca9":"хеш blake3:d7104c9a","oss-aion-three-questions.010d47a0a4":"chiller-loop 3.1, fmu 2.0.4","oss-aion-three-questions.3d0266b863":"модел и FMU","oss-aion-three-questions.b697dd615a":"две от три","oss-aion-three-questions.f14f15b304":"траектория","oss-aion-three-questions.f1f1425b65":"параметри","oss-aion-three-questions.910e029098":"илюстративен","oss-aion-three-readings.41d8442e84":"показанията и увереността им са на AION, изборът е ваш и той се записва","oss-aion-three-readings.42e8a93311":"три показания, едно решение, и то има автор","oss-aion-three-readings.62b4619c99":"брой, който не може да падне под нула","oss-aion-three-readings.48a15f3a18":"цяло число под пет","oss-aion-three-readings.ae3925651e":"retries цяло число, брой или произволна стойност ли е?","oss-aion-three-readings.dffe60eb6a":"въпросът е поставен","oss-aion-three-readings.fb76182a92":"пита се, не се предполага","oss-aion-three-readings.8c3f96fa33":"Retries трябва да са под пет","oss-aion-three-readings.e9be13f9ec":"AION повдига неяснотата, вместо да я разрешава. Тя назовава вида на неяснотата,\n          изброява показанията с увереността, която всяко носи, и условието, което всяко би\n          наложило, и поставя въпрос, който назовава променливата по спора. Решението все още\n          принадлежи на човек. Променя се това, че то се взема веднъж, документално, от този,\n          който отговаря за изискването, а не от този, който случайно е извършвал\n          преобразуването.","oss-aion-three-readings.f26c9b4ff8":"Под пет опита, броени цели. Или под пет,\n          където четири и половина е допустима стойност. Или брой, който също не може да падне\n          под нула. Това са три различни правила и разликата излиза наяве като инцидент\n          в крайна сметка. При обичайния начин на работа едно от тях е било избрано от този,\n          който е правил превода, в четвъртък, без да каже на никого.","oss-aion-three-readings.7b5121a8f0":"„Retries трябва да са под пет.“","oss-aion-three-readings.ffe5d68fe6":"Някой е избрал едно.","oss-aion-three-readings.55b8b0b398":"Изречението ви имаше две показания.","oss-aion-three-readings.2d1501c7e4":"Тихото решение, което никой не взе","oss-aion-three-readings.bec998cdfe":"произволно число, включително четири и половина","oss-aion-time-left.88430838dd":"нищо не е изненадало никого","oss-aion-time-left.227b19b5aa":"Стана само по-малко, пред някой, който все още можеше да действа по него.","oss-aion-time-left.ac61a8b97d":"Числото беше там на осмия ден и никога не стана по-силно.","oss-aion-time-left.0703308f0f":"На този лист няма аларма и нищо не е станало червено. Всяко от тези е едно и също изречение, прочетено в различен ден.","oss-aion-time-left.6222c927fd":"Отива при човека, който подписва закъснелите отговори, с датата върху него, и той ти отговаря.","oss-aion-time-left.4dfda36be9":"14 дни минали","oss-aion-time-left.d5f128da73":"отговорът се дължеше на шестнайсети","oss-aion-time-left.58cdff89f9":"различно искане, прочетено след датата","oss-aion-time-left.6a7651b700":"тридесет дни след като попита","oss-aion-time-left.813d27411f":"отговорът се дължи","oss-aion-time-left.d8b0301347":"поиска копие от това, което държат за теб","oss-aion-time-left.4c3d95bf6a":"искането","oss-aion-time-left.795bcac29d":"четири дни остават днес","oss-aion-time-left.56ff55acfb":"един краен срок, прочетен четири пъти","oss-aion-time-left.acafbd7541":"обади им се днес","oss-aion-time-left.148b21034f":"4 дни остават","oss-aion-time-left.f165b88925":"припомни го тази седмица","oss-aion-time-left.b85bbd50bd":"8 дни остават","oss-aion-time-left.4a8b5bac9b":"все още е наред","oss-aion-time-left.67f9059ac5":"14 дни остават","oss-aion-time-left.ca372a8fb7":"запиши го в календара","oss-aion-time-left.16f29c69b8":"22 дни остават","oss-aion-time-left.910e029098":"илюстративно","oss-aion-two-routes.89c24f999c":"другият разглежда доказателствата","oss-aion-two-routes.3a5d844ae5":"единият път ги възпроизвежда","oss-aion-two-routes.028a6cf2d7":"техният сертификат","oss-aion-two-routes.5c837ce426":"тяхната система","oss-aion-two-routes.27f65e5e47":"това, от което се нуждае","oss-aion-two-routes.d0765bbac1":"СРАВНЕТЕ","oss-aion-two-routes.91f8c088aa":"и от какво се нуждае всеки","oss-aion-two-routes.8930c1c9b8":"Два начина да сте сигурни","oss-aion-two-routes.d56d985300":"проверка","oss-aion-two-routes.e1fc5057de":"възпроизвеждане","oss-aion-two-routes.b028b89ea7":"тяхната помощ","oss-aion-two-routes.999464a52f":"не е възпроизведено","oss-aion-two-routes.9b9252883d":"самият сертификат","oss-aion-two-routes.4dc537c80f":"твърдението, входните данни и договорът","oss-aion-two-routes.ad95c10298":"тяхната точна версия и машина","oss-aion-two-routes.cfd05bd2f2":"техният лиценз","oss-aion-value-grid.6cc3364a24":"Доказателство приложено","oss-aion-value-grid.4910ee0aea":"Доказателство с всеки резултат","oss-aion-value-grid.411bf64817":"Резултатът и неговият компактен сертификат пътуват заедно, така че доказателството се създава при вземането на решението, а не се реконструира по време на прегледа.","oss-aion-value-grid.05f9c0dc34":"Проверено от друг двигател","oss-aion-value-grid.eea79d1484":"Отделен верификатор съпоставя сертификата с първоначалните предпоставки. Моделът не може да оценява собствения си отговор.","oss-aion-value-grid.cbd17d59ba":"Преносими формати","oss-aion-value-grid.5e6cba1721":"Доказателството надживява средата за изпълнение","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe и унифицираният формуляр за доказателство запазват сертификата четим, след като модел, решаваща програма или услуга са се променили.","oss-aion-value-grid.a60bdd7985":"Проверка офлайн","oss-aion-value-grid.ebfb47f4ba":"Без зависимост от живо връзка","oss-aion-value-grid.6144cbfcab":"Проверката на доказателство не изисква мрежа, акаунт или жива връзка с нас. Нещото, на което разчитате по време на одит, няма повтаряща се зависимост от доставчик.","oss-aion-value-grid.26ef011865":"Суверенитет на ЕС","oss-aion-value-grid.23672ea195":"Европейско и ваше за изпълнение","oss-aion-value-grid.26e89e1455":"Създадено в Европа и изцяло изпълнимо на хардуер, който контролирате. Вашите доказателства и решения не е нужно да напускат юрисдикция, която одобрявате.","oss-aion-value-grid.66ac329042":"Обезопасени одити","oss-aion-value-grid.9c8c22f54d":"Доказателство, което друга страна може да тества","oss-aion-value-grid.6572cc2be6":"Когато регулатор или одитор попита как е взето решение, вие предавате сертификат, който всеки може да провери, вместо да разчитате на обещание от доставчик, което не можете да тествате.","oss-aion-value-grid.6b5eb5323e":"Доказателство за решение","oss-aion-value-grid.870c4d024a":"Независима проверка","oss-aion-value-grid.93e2c4e5c4":"Започнете с един път на решение и запазете сертификата му през целия преглед.","oss-aion-value-grid.217fc9a42f":"сертификат · проверка · архив","oss-aion-what-you-got.2b69c8154b":"и всеки въпрос повдига по един","oss-aion-what-you-got.7f629c0e9f":"четири неща, които получавате","oss-aion-what-you-got.7a9727c9f8":"проверими от вас","oss-aion-what-you-got.bc1c663195":"какво получавате","oss-aion-what-you-got.0da9f51943":"НАБЛЮДАВАНО","oss-aion-what-you-got.8becd8f7be":"и какво урежда","oss-aion-what-you-got.7d3574bfa5":"Какво предава доставчикът","oss-aion-what-you-got.0306f977ae":"Коя компилация го е казала. Не какво е проверила, или как.","oss-aion-what-you-got.fd12863535":"не","oss-aion-what-you-got.7b0c210f52":"Номер на версия","oss-aion-what-you-got.f78a920a78":"Тяхното описание на собствения им процес, написано от тях.","oss-aion-what-you-got.301941b624":"техният разказ","oss-aion-what-you-got.7591a35462":"Бележка за метода","oss-aion-what-you-got.5eec058df8":"Някой стои зад думата, не зад разсъждението.","oss-aion-what-you-got.28fde2f659":"само името","oss-aion-what-you-got.7573daa505":"Подпис","oss-aion-what-you-got.94ebda1bd3":"Безопасно, осъществимо, последователно. Една дума, без работа.","oss-aion-what-you-got.c99c8e4a9b":"Заключение","oss-aion-where-it-runs.1ba0334f9f":"няма трети","oss-aion-where-it-runs.03e2311510":"вие конфигурирате двете","oss-aion-where-it-runs.076d156600":"няма какво да се конфигурира вътре","oss-aion-where-it-runs.f16ac53550":"ваше е да конфигурирате","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"и нищо друго не излиза","oss-aion-where-it-runs.6cdd4e486a":"Две конфигурируеми граници","oss-aion-where-it-runs.39616fc267":"Програма, която инсталирате, работеща като локален процес.","oss-aion-where-it-runs.00bfadf39c":"Външен доказващ","oss-aion-where-it-runs.801db3efcd":"Само адресите, които зададете, и само след като ги зададете.","oss-aion-where-it-runs.d296df3171":"Клъстер","oss-aion-where-it-runs.67204bf5d4":"няма маршрут","oss-aion-where-it-runs.91984fcc1b":"Хостиран модел","oss-aion-where-it-runs.b8b252650e":"изобщо няма клиент","oss-aion-where-it-runs.ee39579eba":"По подразбиране изграждане","oss-aion-where-it-runs.d49fe2c403":"не е инсталиран","oss-aion-where-you-meet-it.2a85ffb07a":"Мястото се променя, обещанието не: причина, която можете да прочетете, и проверка, която всеки може да извърши.","oss-aion-where-you-meet-it.9a8413cd88":"Никога няма да стартирате AION сами. Това са местата, където той може да работи тихо за вас.","oss-aion-where-you-meet-it.33fb502270":"Три ежедневни момента","oss-aion-where-you-meet-it.40e32f89eb":"Всеки, на когото имате доверие, може да провери бележката и да я потвърди.","oss-aion-where-you-meet-it.03ef5e1328":"Когато служба използва машина, за да проверява вашия случай, ви се дължи причина, която можете да прочетете и оспорите.","oss-aion-where-you-meet-it.2390278256":"Проверява се обезщетение или формуляр","oss-aion-where-you-meet-it.2e92ab22dd":"В публична служба","oss-aion-where-you-meet-it.0bd84e3a14":"Причината е записана, не е скрита в система.","oss-aion-where-you-meet-it.c4a1d64452":"Решения за пари, взети от машина, могат да се усещат като затворена врата. Разписката я отваря с ясни стъпки.","oss-aion-where-you-meet-it.e17885868a":"Изчислява се заем или възстановяване","oss-aion-where-you-meet-it.5e45cf57a0":"В банката","oss-aion-where-you-meet-it.e2c536b2b3":"Можете да поискате бележката и да я покажете на личния си лекар.","oss-aion-where-you-meet-it.0b56f170bf":"Когато машината има дума при лечението ви, трябва да можете да видите причината зад него, не само резултата.","oss-aion-where-you-meet-it.0332b7d1b7":"Компютър помага да се реши грижата ви","oss-aion-where-you-meet-it.4046c6355b":"В болницата","oss-aion-which-did-you-mean.1ff884a89e":"попитано, а не предположено","oss-aion-which-did-you-mean.2eb1c230f2":"Изборът принадлежи на този, който е написал изречението.","oss-aion-which-did-you-mean.d94da790d1":"Две обичайни четения, един случай между тях.","oss-aion-which-did-you-mean.3b4d06d361":"Не е зададен въпрос и никой не е казано на кое от двете се е спряло.","oss-aion-which-did-you-mean.93a161cede":"Часовете се броят цели. Избрано в четвъртък следобед от някой, който е трябвало да\n                пусне.","oss-aion-which-did-you-mean.4b73aced85":"в сила","oss-aion-which-did-you-mean.17e120a269":"Отмени, ако закъснението е повече от един час.","oss-aion-which-did-you-mean.ddf20b2d3c":"обичайният начин, по който това се урежда","oss-aion-which-did-you-mean.3f42a39277":"както всъщност протича","oss-aion-which-did-you-mean.1e9a34969e":"цели часове","oss-aion-which-did-you-mean.9c2a4532bb":"Когато написахте повече от един час, имахте предвид цели часове или закъснението, както\n                всъщност протича?","oss-aion-which-did-you-mean.280b34e1e5":"Влакът ви закъснява със седемдесет и пет минути и резервацията се анулира, преди да сте\n                    решили дали все още искате да пътувате.","oss-aion-which-did-you-mean.97e4112012":"Закъснението е колкото и да е всъщност. Час и четвърт е повече от един\n                    час.","oss-aion-which-did-you-mean.c5d620cfa2":"четене две","oss-aion-which-did-you-mean.466780685c":"Влакът ви закъснява със седемдесет и пет минути и нищо не се анулира. Чакате на\n                    перона за влак, който все още идва.","oss-aion-which-did-you-mean.6b67a39030":"Часовете се броят цели. Закъснение от час и четвърт се брои като един час,\n                    а един час не е повече от един час.","oss-aion-which-did-you-mean.9cf85c69a8":"четене едно","oss-aion-which-did-you-mean.ef52f97a5b":"повече от един час","oss-aion-which-did-you-mean.371c6d7efd":"Отмени, ако закъснението е","oss-aion-which-did-you-mean.887640fa01":"написахте","oss-aion-which-did-you-mean.3650db40be":"чакаме отговора ви","oss-aion-which-did-you-mean.ff312b91d2":"кое имахте предвид","oss-aion-which-did-you-mean.6f8f8e9f76":"тогава","oss-aion-which-did-you-mean.910e029098":"илюстративно","oss-aion-your-corpus.a54df5506a":"две седмици, с писмен резултат","oss-aion-your-corpus.ee646eb7cc":"Пуснете същия корпус през това, което използвате в момента, и поставете двата доклада един до\n            друг.","oss-aion-your-corpus.f2d4df122d":"Шестдесет и две от шестдесет и четири, на вашата машина, под вашия лимит.","oss-aion-your-corpus.8ff7db55b1":"този лимит","oss-aion-your-corpus.8ada74cbb4":"тази машина","oss-aion-your-corpus.b2ed177f82":"този корпус","oss-aion-your-corpus.71e1422875":"функция на","oss-aion-your-corpus.94ef1b7ae8":"от 64 верни","oss-aion-your-corpus.2ce97993d5":"все още няма присъда","oss-aion-your-corpus.90326d4307":"изминали 41 s","oss-aion-your-corpus.69bb8da1c5":"все още работи","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"не е записан отговор","oss-aion-your-corpus.72330c3954":"16 GB адресно пространство","oss-aion-your-corpus.b4f0923eae":"16 GB на изпълнение","oss-aion-your-corpus.ff367b6b79":"лимит на адресното пространство","oss-aion-your-corpus.d1ea89e714":"32 ядра, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"примерно изпълнение","oss-aion-your-corpus.e380724f89":"едно ограничено, друго все още работи","oss-aion-your-corpus.f6f66c95d6":"Вашият корпус, на място","oss-aion-your-corpus.8d95729188":"ограничено","oss-aion-your-corpus.7817c52b25":"машина","oss-aion-your-corpus.d95f464bc9":"инстанции","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"корпус","oss-aion-your-sentence-parts.8e7ed848f6":"все още можете да я прочетете","oss-aion-your-sentence-parts.78c48f428a":"вие сте я написали","oss-aion-your-sentence-parts.c569c19f0b":"Прочетете отново, дава същото правило. Нищо не се е променило междувременно.","oss-aion-your-sentence-parts.43015fadc4":"Никой не трябва да бъде таксуван два пъти за една и съща поръчка в един и същи месец.","oss-aion-your-sentence-parts.a14707f800":"Вашето изречение, непроменено","oss-aion-your-sentence-parts.2ccea15065":"година по-късно","oss-aion-your-sentence-parts.a80d4309ae":"В началото на съобщението, над частта, която не е била спазена.","oss-aion-your-sentence-parts.f33c43e8f9":"Вашето изречение, цитирано","oss-aion-your-sentence-parts.f0f795235c":"денят, в който се прилага","oss-aion-your-sentence-parts.fe74b20e8f":"Както сте го написали, с един обикновен ред, който казва как е било прочетено.","oss-aion-your-sentence-parts.358b1cbc5d":"Вашето изречение, запазено","oss-aion-your-sentence-parts.13211e2743":"денят, в който го напишете","oss-aion-your-sentence-parts.27a0362e59":"ВАШИТЕ ДУМИ","oss-aion-your-sentence-parts.d37598cc12":"в три различни дни","oss-aion-your-sentence-parts.32a5ee7a1f":"Същото изречение","page-breadcrumb.c766e66518":"Трохи","page-toc.7e439c353e":"На тази страница","section_st_a1_display-split.7c9a7c0610":"Подробности","section_st_f1_cta-dark.90e40d5043":"Започнете","spindle-extras.127edee78d":"ПОДПИСАНО","toc-rail.f5cbdf6bfb":"Съдържание"}