The 144-case Rust/LIL/LIT receipt and the 11,088-case same-Rust-lineage campaign are separate measured surfaces with explicit inventories and provenance.
Current guarantees
- The documentation corpus and targeted runtime tests check named examples and negative diagnostics.
- The integrated denominator is exactly 144 cases: 38 differential, 61 conformance, 7 warning, 6 resource, and 32 bounded generated cases.
- Receipts record exact inventory, runners, observations, replay, mismatch disclosure, provenance, artifact identity, delegation, capabilities, and limits.
- A separate scaled campaign stores 11,088 generated cases across native and WASM routes of the same Rust lineage, with zero natural divergence and zero infrastructure failure.
- Synthetic drifts and mutation controls demonstrate that checkers can detect selected failure classes.
Measured evidence lines
| Surface | Inventory | Strongest honest reading |
|---|---|---|
| Documentation conformance | 122 result annotations plus diagnostic/TCO/control cases | named examples match the reference interpreter |
| Integrated backend denominator | 38 differential + 61 conformance + 7 warning + 6 resource + 32 generated-bounded = 144 cases | one exact inventory reused for LIL, LIT admission, and the N-way matrix; generated seed 550633217 |
| LIL hosted backend | current contract: 85/205 primitive rows and 6/18 guest-calling rows; the 144-case released receipt records the prior 84-row boundary | Rust/LIL agrees on 61 released-receipt cases and diverges on 83; unsupported rows fail loudly |
| LIT transliteration | 84/205 primitive capability rows and 6/18 guest-calling rows; one LIT product route in the 144-case receipt | Rust/LIT agrees on 65 cases and diverges on 79; no source-independence claim |
| LIT four-host seal | Topaz interpreter, generated Rust, generated Python, and Web routes from one canonical source | internal Topaz 5.7.0 evidence closes its exact versioned check surface; these are host variants, not four implementations |
| Three-family joint receipt | 144 cases, 432 installed-backend executions, and 432 family-pair comparisons | 59 all-family agreements and 85 cases with at least one divergence; 253 pair agreements and 179 pair divergences remain explicit |
| Scaled same-lineage campaign | 11,088 stored generated cases across native and WASM Rust routes | zero natural divergence and zero infrastructure failure on that inventory; not a Rust/LIL/LIT campaign |
Boundaries
- A zero mismatch count is scoped to its stored or executed inventory only.
- The 11,088-case zero-divergence campaign is not the Rust/LIL/LIT joint receipt and does not establish implementation independence or whole-language equivalence.