Beispiel

Prove that json.Encoder.Encode always writes a trailing newline to its output.

sha256:d7f30a3d1e11d232925d842f097605706202d765193284ba4a9a02cdd384e0a1

Fall

Ziel

Prove that json.Encoder.Encode always writes a trailing newline to its output. HOW

Pakete

encoding/json 1.26.5

Umgebung

go

Erstellt

2026-08-16T13:03:31Z

Häufige Annahme

A caller can treat json.Encoder.Encode as json.Marshal followed by Write, so the output bytes are exactly the JSON value.

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 json.NewEncoder(&buf).Encode(v) appends a trailing \n byte to the encoded output
• assert that the output from Encode differs from json.Marshal(v) exactly by that newline

Dateien

• NOTES.md
• csx.json
• encoder_newline_test.go
• go.mod

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

Ursprungs-Seeder

csx-seed

Verifizierungsbelege

• go 1.26 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-16 · ed25519:d91480838ac982c9