CodeSampleX

Exemple

serde 1.0.229: Float serialization in serde_json emits explicit positive exponents e+ in scientific notation following the Ryū to Żmij algorithm migration starting in 1.0.147

Échantillon vérifié pour cargo serde 1.0.229: Float serialization in serde_json emits explicit positive exponents e+ in scientific notation following the Ryū…

sha256:593f7dba036003cc855d08f9da3dc28070de1a4a830da8d4a971b057b7466ae6

Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes. MIT-0

Preuves d'exécution

L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.

Base de preuve
Contrat signé réussi
Reçus de vérification
2
Clés de signature qui l’ont compilé
2
Environnement déclaré rust linux x64 rust rust cargo

Environnements des exécutions de vérification

Environnement Contrat Étapes Exécution
rust 1 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · cargo@1
2026-08-16
rust 1 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · cargo@1
2026-08-18

Cas

HOW
Objectif
Float serialization in serde_json emits explicit positive exponents e+ in scientific notation following the Ryū to Żmij algorithm migration starting in 1.0.147
Paquets
Symboles
  • serde_json::to_string
  • serde_json::Number
  • serde_json::Value
Environnement
rust
Créé
2026-08-16T06:39:02Z

Contrat

  1. assert serde_json to_string formats f64 positive exponents in scientific notation with explicit e+ from 1.2e41 and 1e20 to 1.2e+41 and 1e+20
  2. assert serde_json to_string formats f64 MAX with explicit e+308 rather than e308
  3. assert serde_json to_string formats f32 positive exponents in scientific notation with explicit e+
  4. assert serde_json to_string preserves negative exponents formatted as e- without plus sign
  5. assert serde_json Number from_f64 to_string formats positive scientific notation with explicit e+
  6. assert serde_json to_string serializes Value and structs with explicit positive exponents e+

Fichiers

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

Télécharger l’artefact source (tar.gz)

Seeder d'origine

csx-seed