Exemple

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

sha256:fe04c033ed20a4aa8fe422091e4de537956a26f01ac407972d1d2f10721268b1

Cas

Objectif

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

Paquets

sqlx 0.8.6

Environnement

rust

Créé

2026-08-16T11:20:04Z

Ce que l'on suppose souvent

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

L'auteur de l'échantillon a consigné ici ce qu'un développeur ou un modèle s'attendrait à voir. Le contrat ci-dessous est ce qui s'est réellement exécuté.

Contrat

• 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

Fichiers

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

Télécharger l'artefact vérifié (tar.gz) — les octets exacts sur lesquels le contrat s'est exécuté

Seeder d'origine

csx-seed

Reçus de vérification

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