Из чего состоит поверхность
Интегрированный инвентарь содержит ровно 144 случая.
| Семейство случаев | Количество | Что наблюдается |
|---|---|---|
| дифференциальные | 38 | понижение, выполнение и согласие именованных результатов |
| соответствие | 61 | поддерживаемые формы и процедуры |
| предупреждения | 7 | точный порядок и каналы |
| ресурсы | 6 | чистые именованные ресурсные исходы |
| сгенерированные в фиксированных пределах | 32 | фиксированное зерно и сохранённые входы |
| Всего | 144 | один общий инвентарь Rust, LIL и LIT |
Квитанция хранит точный список, исполнители, наблюдения, пределы, происхождение, артефакты, расхождения и случаи, которые нельзя сравнить. Она измеряет 432 выполнения и сообщает 59 совпадений всех семейств.
Отдельные линии свидетельств
| Линия | Что измерено сейчас | Сильнейшее честное чтение |
|---|---|---|
| примеры документации | 122 аннотации плюс диагностика, хвостовые вызовы и управление | названные примеры совпадают с эталоном |
| LIL | сейчас 205/205 и 18/18 guest-calling, а в общей выпущенной квитанции 84 строки | отдельные проверки охватывают прежнюю сходимость, точные целые, процедуры высшего порядка, вывод, а также 4 успешных и 3 отрицательных наблюдения alias с предупреждениями, где проверяются порядок, дедупликация места вызова, перекрытие имени, предупреждение перед ошибкой, разделение каналов и отсутствие запрещённого запасного пути. Историческая квитанция не меняется |
| LIT | 84/205 и 6/18 guest-calling | в квитанции Rust/LIT даёт 65/79, и независимость исходника не заявляется |
| четыре маршрута LIT | Топаз, сгенерированные Rust и Python, веб. Маршрут означает один способ запустить правило | согласие одной версии исходника на точной внутренней области измерения. Это варианты хоста, а не четыре реализации |
| три семейства | 144 случая и 432 выполнения | 59 общих совпадений, 253 совпадения пар, 179 попарных расхождений |
| одна линия Rust | 11 088 сохранённых случаев Native и WebAssembly | ноль естественных расхождений и сбоев инфраструктуры на этом инвентаре |
| Rust tree/VM | сфокусированные программы смысла и управления, dispatch всех 205 примитивов, отрицательные случаи malformed bytecode, точные identity исходника, Core IR и байткода и фиксация отсутствия запасного пути. VM означает виртуальную машину, то есть программу, которая выполняет уже скомпилированный список инструкций | явная VM совпадает с tree на этой поддерживаемой области одной линии Rust. Это не независимый свидетель, не квитанция Ваучера и не доказательство всего профиля |
Синтетический дрейф и мутационные проверки отдельно показывают, что выбранные классы повреждений обнаруживаются. Они не доказывают обнаружение любой возможной ошибки.
Сводная проверка соответствия состоит из нескольких слоёв
- Написанные вручную примеры фиксируют по одному поведению.
- Генерируемые случаи исследуют больше корректных и намеренно ошибочных программ.
- Мутационные контроли показывают, что выбранная порча контракта отвергается.
- Ресурсные случаи сохраняют завершение в фиксированных пределах как наблюдение.
- Диагностические случаи сравнивают коды, сообщения, позиции, байты и порядок предупреждений.
- Дифференциальные прогоны сравнивают один случай между допущенными семействами.
Ни один слой не заменяет остальные. Новое различие пары сначала получает
статус unclassified, и сводная проверка остаётся закрытой, пока наблюдение и основная
причина не записаны.
Частая ошибка
«Ноль расхождений» всегда относится к названному сохранённому или выполненному инвентарю. Это не утверждение об отсутствии расхождений вообще.
Текущие границы
Кампания на 11 088 случаев сравнивает две поставки одной реализации Rust. Она не является квитанцией Rust/LIL/LIT и не устанавливает независимость реализаций или эквивалентность всего языка.
Сфокусированные проверки LIL меняют только его текущее покрытие. Они не пересчитывают и не расширяют историческую квитанцию из 144 случаев.
Отчёт сравнения Rust tree/VM является диагностическим материалом. Он не входит в знаменатель бэкендов и не даёт полномочий выполнения.
Куда дальше
Матрица показывает результаты пар, а текущая и отложенная область отделяет язык от возможностей интерпретаторов с фиксированными пределами.
Байткод и Rust VM · Матрица наблюдений · Текущая и отложенная область