Exemple
google.golang.org/protobuf v1.32.0: protojson
Échantillon vérifié pour golang google.golang.org/protobuf v1.32.0: protojson. Le contrat s'est exécuté sur go 1.26 · linux debian/x64 · docker et a réussi.
sha256:ffce65174b807a06ad11075277b385403fc72b0e483c22cf5df33ff4e8f56f62
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
- 1
- Clés de signature qui l’ont compilé
- 1
Environnement déclaré
go linux 24 · ubuntu · glibc 2.39 x64 go go go
Environnements des exécutions de vérification
| Environnement | Contrat | Étapes | Exécution |
|---|---|---|---|
| go 1.26 · linux debian/x64 · docker ed25519:c1973797be207ac4 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · golang@1golang:1.26@sha256:e30143be198a… |
2026-09-01 |
Cas
HOW- Objectif
- verify google.golang.org/protobuf/encoding/protojson in pkg:golang/google.golang.org/protobuf@v1.32.0
- Symboles
-
- google.golang.org/protobuf/encoding/protojson
- Environnement
- go
- Créé
- 2026-09-01T06:07:45Z
Contrat
- protojson.Marshal and protojson.Unmarshal roundtrip message fields with camelCase naming for fields, string representation for enums, and string representation for 64-bit integers.
- protojson.MarshalOptions.UseProtoNames outputs original protobuf snake_case field names instead of camelCase.
- protojson.MarshalOptions.EmitUnpopulated includes unpopulated fields with default zero values in the resulting JSON output.
- protojson.MarshalOptions.UseEnumNumbers outputs integer numbers for enum fields instead of string enum names.
- protojson.UnmarshalOptions.DiscardUnknown ignores unknown fields in JSON payload when true and returns an error when false.
- protojson formats Google well-known types (Timestamp as RFC 3339 string, Duration as second string suffix, and Struct/Value as JSON objects).
Fichiers
- NOTES.md
- PROMPT.md
- csx.json
- go.mod
- go.sum
- protojson_test.go
- spec.json
Code source
# Protocol Buffers JSON Serialization with protojson
This sample verifies JSON encoding and decoding semantics of `google.golang.org/protobuf/encoding/protojson` pinned to version `v1.32.0`.
## Verified Behaviors
1. **Marshal and Unmarshal Roundtrip**:
- `protojson.Marshal` converts protocol buffer message fields to JSON using camelCase field names by default.
- Enums are marshaled using their string name identifiers.
- 64-bit integers (`int64`, `uint64`, `sint64`, etc.) are marshaled as strings per the proto3 JSON specification.
- `protojson.Unmarshal` parses the JSON representation back into a protocol buffer message preserving field values.
2. **MarshalOptions**:
- `UseProtoNames: true`: Formats JSON keys using original protobuf snake_case field names instead of camelCase.
- `EmitUnpopulated: true`: Emits fields with default zero values (e.g. empty strings, false, 0) in the output JSON.
- `UseEnumNumbers: true`: Emits numeric integer values for enum fields rather than string names.
- `Multiline: true` and `Indent`: Produces indented multiline JSON output.
3. **UnmarshalOptions**:
- `DiscardUnknown: true`: Discards unknown fields during unmarshaling rather than returning an error.
4. **Well-Known Types Representation**:
- `google.protobuf.Timestamp`: Serialized as an RFC 3339 formatted string (e.g. `"2026-09-01T06:00:00Z"`).
- `google.protobuf.Duration`: Serialized as a seconds string with trailing `"s"` (e.g. `"90s"`).
- `google.protobuf.Struct`: Serialized directly as a native JSON object.
Clean-room public code sample — generation instructions
Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.
A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.
Goal: verify google.golang.org/protobuf/encoding/protojson in pkg:golang/google.golang.org/protobuf@v1.32.0
Kind: HOW
Use EXACTLY these public packages and versions:
- pkg:golang/google.golang.org/protobuf@v1.32.0
Demonstrate these symbols/APIs:
- google.golang.org/protobuf/encoding/protojson
Rules:
- One focused purpose; the smallest project that proves the goal.
- Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
- Pin every dependency with a lockfile so resolution is reproducible.
- No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
- No personal names, emails, company names, or project identifiers of any kind.
- No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
- Keep it under 200 files and 256KB packed.
{"case":{"caseId":"case:sha256:ee86c2cb127778160fca66cf16048ac5a9a6f27e376a3c0811fc2281bfc7c4d4","contract":["protojson.Marshal and protojson.Unmarshal roundtrip message fields with camelCase naming for fields, string representation for enums, and string representation for 64-bit integers.","protojson.MarshalOptions.UseProtoNames outputs original protobuf snake_case field names instead of camelCase.","protojson.MarshalOptions.EmitUnpopulated includes unpopulated fields with default zero values in the resulting JSON output.","protojson.MarshalOptions.UseEnumNumbers outputs integer numbers for enum fields instead of string enum names.","protojson.UnmarshalOptions.DiscardUnknown ignores unknown fields in JSON payload when true and returns an error when false.","protojson formats Google well-known types (Timestamp as RFC 3339 string, Duration as second string suffix, and Struct/Value as JSON objects)."],"goal":"verify google.golang.org/protobuf/encoding/protojson in pkg:golang/google.golang.org/protobuf@v1.32.0","kind":"HOW","packages":["pkg:golang/google.golang.org/protobuf@v1.32.0"],"schemaVersion":1,"symbols":["google.golang.org/protobuf/encoding/protojson"]},"contractCommand":["go","test","./..."],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"golang","language":"go","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"go","runtime":"go","schemaVersion":1},"license":"MIT-0","packages":["pkg:golang/google.golang.org/protobuf@v1.32.0"],"schemaVersion":1,"subject":"pkg:golang/google.golang.org/protobuf@v1.32.0","symbols":["google.golang.org/protobuf/encoding/protojson"],"verifierAdapter":"golang@1"}
module example.com/protojson
go 1.22
require google.golang.org/protobuf v1.32.0
github.com/google/go-cmp v0.7.0 h1:wk8382ETsv4JYUZwIsn6YpYiWiBsYLSJiTsyBybVuN8=
github.com/google/go-cmp v0.7.0/go.mod h1:pXiqmnSA92OHEEa9HXL2W4E7lf9JzCmGVUdgjX3N/iU=
google.golang.org/protobuf v1.32.0 h1:pPC6BG5ex8PDFnkbrGU3EixyhKcQ2aDuBS36lqK/C7I=
google.golang.org/protobuf v1.32.0/go.mod h1:c6P6GXX6sHbq/GpV6MGZEdwhWPcYBgnhAHhKbcUYpos=
package main
import (
"encoding/json"
"strings"
"testing"
"time"
"google.golang.org/protobuf/encoding/protojson"
"google.golang.org/protobuf/proto"
"google.golang.org/protobuf/reflect/protodesc"
"google.golang.org/protobuf/reflect/protoreflect"
"google.golang.org/protobuf/types/descriptorpb"
"google.golang.org/protobuf/types/dynamicpb"
"google.golang.org/protobuf/types/known/durationpb"
"google.golang.org/protobuf/types/known/structpb"
"google.golang.org/protobuf/types/known/timestamppb"
)
func buildUserMessageDescriptor(t *testing.T) (protoreflect.MessageDescriptor, protoreflect.EnumDescriptor) {
t.Helper()
fd := &descriptorpb.FileDescriptorProto{
Name: proto.String("sample.proto"),
Syntax: proto.String("proto3"),
Package: proto.String("sample"),
MessageType: []*descriptorpb.DescriptorProto{
{
Name: proto.String("User"),
Field: []*descriptorpb.FieldDescriptorProto{
{
Name: proto.String("user_id"),
Number: proto.Int32(1),
Label: descriptorpb.FieldDescriptorProto_LABEL_OPTIONAL.Enum(),
Type: descriptorpb.FieldDescriptorProto_TYPE_INT64.Enum(),
JsonName: proto.String("userId"),
},
{
Name: proto.String("display_name"),
Number: proto.Int32(2),
Label: descriptorpb.FieldDescriptorProto_LABEL_OPTIONAL.Enum(),
Type: descriptorpb.FieldDescriptorProto_TYPE_STRING.Enum(),
JsonName: proto.String("displayName"),
},
{
Name: proto.String("role"),
Number: proto.Int32(3),
Label: descriptorpb.FieldDescriptorProto_LABEL_OPTIONAL.Enum(),
Type: descriptorpb.FieldDescriptorProto_TYPE_ENUM.Enum(),
TypeName: proto.String(".sample.Role"),
JsonName: proto.String("role"),
},
{
Name: proto.String("tags"),
Number: proto.Int32(4),
Label: descriptorpb.FieldDescriptorProto_LABEL_REPEATED.Enum(),
Type: descriptorpb.FieldDescriptorProto_TYPE_STRING.Enum(),
JsonName: proto.String("tags"),
},
{
Name: proto.String("is_active"),
Number: proto.Int32(5),
Label: descriptorpb.FieldDescriptorProto_LABEL_OPTIONAL.Enum(),
Type: descriptorpb.FieldDescriptorProto_TYPE_BOOL.Enum(),
JsonName: proto.String("isActive"),
},
},
},
},
EnumType: []*descriptorpb.EnumDescriptorProto{
{
Name: proto.String("Role"),
Value: []*descriptorpb.EnumValueDescriptorProto{
{Name: proto.String("ROLE_UNSPECIFIED"), Number: proto.Int32(0)},
{Name: proto.String("ROLE_ADMIN"), Number: proto.Int32(1)},
{Name: proto.String("ROLE_MEMBER"), Number: proto.Int32(2)},
},
},
},
}
files, err := protodesc.NewFiles(&descriptorpb.FileDescriptorSet{File: []*descriptorpb.FileDescriptorProto{fd}})
if err != nil {
t.Fatalf("failed to construct dynamic proto file descriptors: %v", err)
}
desc, err := files.FindDescriptorByName("sample.User")
if err != nil {
t.Fatalf("failed to find User message descriptor: %v", err)
}
msgDesc, ok := desc.(protoreflect.MessageDescriptor)
if !ok {
t.Fatalf("sample.User descriptor is not protoreflect.MessageDescriptor")
}
enumDescRaw, err := files.FindDescriptorByName("sample.Role")
if err != nil {
t.Fatalf("failed to find Role enum descriptor: %v", err)
}
enumDesc, ok := enumDescRaw.(protoreflect.EnumDescriptor)
if !ok {
t.Fatalf("sample.Role descriptor is not protoreflect.EnumDescriptor")
}
return msgDesc, enumDesc
}
func TestProtojsonMarshalUnmarshalRoundtrip(t *testing.T) {
msgDesc, enumDesc := buildUserMessageDescriptor(t)
msg := dynamicpb.NewMessage(msgDesc)
msg.Set(msgDesc.Fields().ByName("user_id"), protoreflect.ValueOfInt64(42))
msg.Set(msgDesc.Fields().ByName("display_name"), protoreflect.ValueOfString("Alice"))
msg.Set(msgDesc.Fields().ByName("role"), protoreflect.ValueOfEnum(enumDesc.Values().ByName("ROLE_ADMIN").Number()))
tagsList := msg.Mutable(msgDesc.Fields().ByName("tags")).List()
tagsList.Append(protoreflect.ValueOfString("admin"))
tagsList.Append(protoreflect.ValueOfString("engineering"))
// Marshal to JSON using default protojson.Marshal
jsonBytes, err := protojson.Marshal(msg)
if err != nil {
t.Fatalf("protojson.Marshal failed: %v", err)
}
// Verify standard camelCase JSON field names and string enum representation
var parsed map[string]any
if err := json.Unmarshal(jsonBytes, &parsed); err != nil {
t.Fatalf("json.Unmarshal failed to parse protojson output: %v", err)
}
if parsed["userId"] != "42" && parsed["userId"] != float64(42) {
// In proto3 JSON specification, 64-bit integers are marshaled as strings
if parsed["userId"] != "42" {
t.Fatalf("expected userId to be string '42' or number 42, got %v", parsed["userId"])
}
}
if parsed["displayName"] != "Alice" {
t.Fatalf("expected displayName to be 'Alice', got %v", parsed["displayName"])
}
if parsed["role"] != "ROLE_ADMIN" {
t.Fatalf("expected role to be 'ROLE_ADMIN', got %v", parsed["role"])
}
// Unmarshal into a new message and verify equality
unmarshaled := dynamicpb.NewMessage(msgDesc)
if err := protojson.Unmarshal(jsonBytes, unmarshaled); err != nil {
t.Fatalf("protojson.Unmarshal failed: %v", err)
}
if !proto.Equal(msg, unmarshaled) {
t.Fatalf("unmarshaled message does not match original: got %v, want %v", unmarshaled, msg)
}
}
func TestProtojsonMarshalOptionsUseProtoNames(t *testing.T) {
msgDesc, _ := buildUserMessageDescriptor(t)
msg := dynamicpb.NewMessage(msgDesc)
msg.Set(msgDesc.Fields().ByName("user_id"), protoreflect.ValueOfInt64(100))
msg.Set(msgDesc.Fields().ByName("display_name"), protoreflect.ValueOfString("Bob"))
// Default opts (UseProtoNames: false) uses camelCase
defaultJson, err := protojson.Marshal(msg)
if err != nil {
t.Fatalf("protojson.Marshal failed: %v", err)
}
if !strings.Contains(string(defaultJson), `"displayName"`) {
t.Fatalf("expected camelCase 'displayName' in default JSON output: %s", string(defaultJson))
}
// With UseProtoNames: true, uses snake_case proto field names
opts := protojson.MarshalOptions{
UseProtoNames: true,
}
protoNameJson, err := opts.Marshal(msg)
if err != nil {
t.Fatalf("opts.Marshal failed: %v", err)
}
if !strings.Contains(string(protoNameJson), `"display_name"`) {
t.Fatalf("expected proto name 'display_name' with UseProtoNames=true: %s", string(protoNameJson))
}
if strings.Contains(string(protoNameJson), `"displayName"`) {
t.Fatalf("unexpected camelCase 'displayName' with UseProtoNames=true: %s", string(protoNameJson))
}
}
func TestProtojsonMarshalOptionsEmitUnpopulated(t *testing.T) {
msgDesc, _ := buildUserMessageDescriptor(t)
// Message with only user_id set; display_name, role, tags, is_active unpopulated
msg := dynamicpb.NewMessage(msgDesc)
msg.Set(msgDesc.Fields().ByName("user_id"), protoreflect.ValueOfInt64(7))
// Default: unpopulated fields omitted
defaultJson, err := protojson.Marshal(msg)
if err != nil {
t.Fatalf("protojson.Marshal failed: %v", err)
}
if strings.Contains(string(defaultJson), `"displayName"`) || strings.Contains(string(defaultJson), `"isActive"`) {
t.Fatalf("default protojson.Marshal should omit unpopulated fields: %s", string(defaultJson))
}
// EmitUnpopulated: true emits zero values for unpopulated fields
opts := protojson.MarshalOptions{
EmitUnpopulated: true,
}
unpopulatedJson, err := opts.Marshal(msg)
if err != nil {
t.Fatalf("opts.Marshal with EmitUnpopulated failed: %v", err)
}
var parsed map[string]any
if err := json.Unmarshal(unpopulatedJson, &parsed); err != nil {
t.Fatalf("failed to parse JSON with EmitUnpopulated: %v", err)
}
if parsed["displayName"] != "" {
t.Fatalf("expected displayName to be empty string, got %v", parsed["displayName"])
}
if parsed["isActive"] != false {
t.Fatalf("expected isActive to be false, got %v", parsed["isActive"])
}
if parsed["role"] != "ROLE_UNSPECIFIED" {
t.Fatalf("expected role to be default enum 'ROLE_UNSPECIFIED', got %v", parsed["role"])
}
}
func TestProtojsonMarshalOptionsUseEnumNumbers(t *testing.T) {
msgDesc, enumDesc := buildUserMessageDescriptor(t)
msg := dynamicpb.NewMessage(msgDesc)
msg.Set(msgDesc.Fields().ByName("role"), protoreflect.ValueOfEnum(enumDesc.Values().ByName("ROLE_ADMIN").Number()))
opts := protojson.MarshalOptions{
UseEnumNumbers: true,
}
enumNumJson, err := opts.Marshal(msg)
if err != nil {
t.Fatalf("opts.Marshal with UseEnumNumbers failed: %v", err)
}
var parsed map[string]any
if err := json.Unmarshal(enumNumJson, &parsed); err != nil {
t.Fatalf("failed to parse enum number JSON: %v", err)
}
// ROLE_ADMIN has number 1
if parsed["role"] != float64(1) {
t.Fatalf("expected role to be integer 1, got %v", parsed["role"])
}
}
func TestProtojsonUnmarshalOptionsDiscardUnknown(t *testing.T) {
msgDesc, _ := buildUserMessageDescriptor(t)
rawJson := `{"userId": "123", "displayName": "Charlie", "unknownField": "should_fail_or_discard"}`
// Default unmarshal fails on unknown field
msgDefault := dynamicpb.NewMessage(msgDesc)
err := protojson.Unmarshal([]byte(rawJson), msgDefault)
if err == nil {
t.Fatalf("expected protojson.Unmarshal to fail on unknown field by default")
}
// DiscardUnknown: true succeeds and ignores unknown field
opts := protojson.UnmarshalOptions{
DiscardUnknown: true,
}
msgDiscard := dynamicpb.NewMessage(msgDesc)
if err := opts.Unmarshal([]byte(rawJson), msgDiscard); err != nil {
t.Fatalf("opts.Unmarshal with DiscardUnknown=true should succeed, got error: %v", err)
}
if msgDiscard.Get(msgDesc.Fields().ByName("display_name")).String() != "Charlie" {
t.Fatalf("expected displayName 'Charlie', got %s", msgDiscard.Get(msgDesc.Fields().ByName("display_name")).String())
}
}
func TestProtojsonWellKnownTypesFormatting(t *testing.T) {
// Timestamp formatting as RFC 3339 string
ts := timestamppb.New(time.Date(2026, 9, 1, 6, 0, 0, 0, time.UTC))
tsJson, err := protojson.Marshal(ts)
if err != nil {
t.Fatalf("protojson.Marshal timestamppb failed: %v", err)
}
expectedTs := `"2026-09-01T06:00:00Z"`
if string(tsJson) != expectedTs {
t.Fatalf("expected timestamp JSON %s, got %s", expectedTs, string(tsJson))
}
// Duration formatting as seconds string with suffix 's'
dur := durationpb.New(90 * time.Second)
durJson, err := protojson.Marshal(dur)
if err != nil {
t.Fatalf("protojson.Marshal durationpb failed: %v", err)
}
if string(durJson) != `"90s"` {
t.Fatalf("expected duration JSON '\"90s\"', got %s", string(durJson))
}
// Structpb / Value dynamic json object representation
st, err := structpb.NewStruct(map[string]any{
"key": "value",
"number": 123.45,
"flag": true,
})
if err != nil {
t.Fatalf("structpb.NewStruct failed: %v", err)
}
stJson, err := protojson.Marshal(st)
if err != nil {
t.Fatalf("protojson.Marshal structpb failed: %v", err)
}
var stMap map[string]any
if err := json.Unmarshal(stJson, &stMap); err != nil {
t.Fatalf("failed to parse structpb JSON: %v", err)
}
if stMap["key"] != "value" || stMap["number"] != 123.45 || stMap["flag"] != true {
t.Fatalf("unexpected structpb JSON content: %v", stMap)
}
}
func TestProtojsonFormatDeterministicOutput(t *testing.T) {
ts := timestamppb.New(time.Date(2026, 9, 1, 6, 0, 0, 0, time.UTC))
formatted := protojson.Format(ts)
if formatted != `"2026-09-01T06:00:00Z"` {
t.Fatalf("protojson.Format returned unexpected string: %s", formatted)
}
// Multiline formatting with Indent
st, _ := structpb.NewStruct(map[string]any{"a": 1})
opts := protojson.MarshalOptions{
Multiline: true,
Indent: " ",
}
multiJson, err := opts.Marshal(st)
if err != nil {
t.Fatalf("opts.Marshal multiline failed: %v", err)
}
if !strings.Contains(string(multiJson), "\n") || !strings.Contains(string(multiJson), " ") {
t.Fatalf("expected multiline indented output: %s", string(multiJson))
}
}
{
"schemaVersion": 1,
"goal": "verify google.golang.org/protobuf/encoding/protojson in pkg:golang/google.golang.org/protobuf@v1.32.0",
"kind": "HOW",
"packages": [
"pkg:golang/google.golang.org/protobuf@v1.32.0"
],
"symbols": [
"google.golang.org/protobuf/encoding/protojson"
]
}
Seeder d'origine
anonyme