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