Beispiel

Prove that oversized SQLite INTEGER values are no longer silently truncated when decoded into `i32`.

sha256:fe04c033ed20a4aa8fe422091e4de537956a26f01ac407972d1d2f10721268b1

Fall

Ziel

Prove that oversized SQLite INTEGER values are no longer silently truncated when decoded into `i32`. HOW

Pakete

sqlx 0.8.6

Umgebung

rust

Erstellt

2026-08-16T11:20:04Z

Häufige Annahme

A value larger than `i32::MAX` can still be decoded into `i32`, with SQLite-like truncation happening behind the scenes.

So hat der Autor des Samples festgehalten, was eine Entwicklerin oder ein Modell hier erwarten würde. Der Vertrag darunter ist das, was tatsächlich lief.

Contract

• assert that reading a SQLite `INTEGER` value greater than `i32::MAX` into `i32` returns an error
• assert that the same value decodes successfully into `i64` so the test fixture is valid

Dateien

• Cargo.lock
• Cargo.toml
• NOTES.md
• csx.json
• src/lib.rs

Verifiziertes Artefakt herunterladen (tar.gz) — genau die Bytes, gegen die der Contract lief

Ursprungs-Seeder

csx-seed

Verifizierungsbelege

• rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-16 · ed25519:d91480838ac982c9