CodeSampleX

Sample

google.golang.org/protobuf v1.35.1: proto.Equal

Verified sample for golang google.golang.org/protobuf v1.35.1: proto.Equal. The contract ran on go 1.26 · linux alpine/x64 · docker and passed: proto.Equal…

sha256:5abbd12c05db97460964dc331edca15b92f1cec567e902f8354d097d4d07d4fe

This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured. How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people. MIT-0

Execution evidence

The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.

Evidence basis
Signed contract pass
Verification receipts
2
Signing keys that built it
1
Declared environment go linux x64 go go go

Verification-run environments

Environment Contract Stages Run
go 1.26 · linux alpine/x64 · docker ed25519:c1973797be207ac4 FAIL compile:SKIPPED · contract:FAIL · load:SKIPPED · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…		 2026-08-30
go 1.26 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…		 2026-08-30

Case

HOW
Goal
verify google.golang.org/protobuf/proto.Equal in pkg:golang/google.golang.org/protobuf@v1.35.1
Packages
Symbols
  • google.golang.org/protobuf/proto.Equal
Environment
go
Created
2026-08-30T15:12:36Z

Contract

  1. proto.Equal returns true when comparing two nil proto.Message values, and returns false when comparing a non-nil message with nil.
  2. proto.Equal evaluates semantic equality of populated scalar and string fields across separate message instances.
  3. proto.Equal distinguishes between unpopulated proto3 optional fields and explicitly set zero-value optional fields, while treating unpopulated implicit-presence scalars and default zero values as equal.
  4. proto.Equal evaluates repeated slice fields as equal only when all elements match strictly in identical index order, and treats unpopulated repeated slices and empty slices as equal.
  5. proto.Equal recursively evaluates nested message fields for equality.
  6. proto.Equal compares raw unknown field bytes across messages, returning true only when unknown field byte payloads match.

Files

  • NOTES.md
  • PROMPT.md
  • csx.json
  • go.mod
  • go.sum
  • proto_equal_test.go
  • spec.json

Download the source artifact (tar.gz)

Origin Seeder

anonymous