Квитанция Rust/LIL/LIT на 144 случая и кампания одной линии Rust на 11 088 случаев — отдельные измеренные поверхности с явными инвентарями и происхождением.
Текущие гарантии
- Корпус документации и целевые runtime-тесты проверяют именованные примеры и отрицательную диагностику.
- Интегрированный denominator содержит ровно 144 случая: 38 differential, 61 conformance, 7 warning, 6 resource и 32 ограниченных generated-случая.
- Квитанции записывают точный инвентарь, runners, наблюдения, replay, раскрытие расхождений, происхождение, идентичность артефакта, delegation, capabilities и limits.
- Отдельная масштабированная кампания хранит 11 088 generated-случаев для native- и WASM-маршрутов одной линии Rust, с нулём естественных расхождений и нулём инфраструктурных сбоев.
- Synthetic drift и mutation controls показывают обнаружение выбранных классов отказов.
Измеренные линии свидетельств
| Поверхность | Инвентарь | Сильнейшее честное чтение |
|---|---|---|
| Conformance документации | 122 аннотации плюс diagnostic/TCO/control | именованные примеры совпадают с reference interpreter |
| Интегрированный denominator бэкендов | 38 differential + 61 conformance + 7 warning + 6 resource + 32 generated-bounded = 144 случая | один точный инвентарь для LIL, admission LIT и N-way-матрицы; generated seed 550633217 |
| Hosted-бэкенд LIL | текущий контракт: 85 из 205 primitive-строк и 6 из 18 guest-calling; выпущенная квитанция на 144 случая фиксирует прежнюю границу 84 строк | в выпущенной квитанции Rust/LIL совпадает в 61 случае и расходится в 83; неподдерживаемые строки завершаются явно |
| Транслитерация LIT | 84 из 205 строк primitive capabilities и 6 из 18 guest-calling; один product-маршрут LIT в квитанции на 144 случая | Rust/LIT совпадает в 65 случаях и расходится в 79; независимость исходника не заявляется |
| Четырёххостовая печать LIT | интерпретатор Topaz, generated Rust, generated Python и Web из одного канонического исходника | внутренние свидетельства Topaz 5.7.0 закрывают точную версионированную поверхность; это варианты host, а не четыре реализации |
| Общая квитанция трёх семейств | 144 случая, 432 выполнения установленных бэкендов и 432 сравнения пар семейств | 59 совпадений всех семейств и 85 случаев хотя бы с одним расхождением; 253 совпадения пар и 179 попарных расхождений явны |
| Масштабированная кампания одной линии | 11 088 сохранённых generated-случаев для native- и WASM-маршрутов Rust | ноль естественных расхождений и инфраструктурных сбоев на этом инвентаре; это не кампания Rust/LIL/LIT |
Границы
- Нулевое число mismatch относится только к сохранённому или выполненному инвентарю.
- Кампания с нулём расхождений на 11 088 случаях не является общей квитанцией Rust/LIL/LIT и не устанавливает независимость реализаций или эквивалентность всего языка.